notes/notes.nq at main · chadsr/notes · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
<https://notes.ross.ch/#/page/Article> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Article> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Article> <https://schema.org/description> "An article, such as a news article or piece of investigative report. Newspapers and magazines have articles of many different types and this is intended to cover them all." .
<https://notes.ross.ch/#/page/Article> <https://schema.org/name> "Article" .
<https://notes.ross.ch/#/page/Article> <https://schema.org/url> <https://schema.org/Article> .
<https://notes.ross.ch/#/page/Article> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/CreativeWork> .
<https://notes.ross.ch/#/page/Book> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Book> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Book> <https://schema.org/description> "An article, such as a news article or piece of investigative report. Newspapers and magazines have articles of many different types and this is intended to cover them all." .
<https://notes.ross.ch/#/page/Book> <https://schema.org/name> "Book" .
<https://notes.ross.ch/#/page/Book> <https://schema.org/url> <https://schema.org/Book> .
<https://notes.ross.ch/#/page/Book> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/CreativeWork> .
<https://notes.ross.ch/#/page/Boolean> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Boolean> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Boolean> <https://schema.org/name> "Boolean" .
<https://notes.ross.ch/#/page/Boolean> <https://schema.org/url> <https://schema.org/Boolean> .
<https://notes.ross.ch/#/page/Boolean> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/DataType> .
<https://notes.ross.ch/#/page/Chengru%20Zhang> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Person> .
<https://notes.ross.ch/#/page/Chengru%20Zhang> <https://notes.ross.ch/#/page/alumniof> <https://notes.ross.ch/#/page/The%20University%20of%20Hong%20Kong> .
<https://notes.ross.ch/#/page/Chengru%20Zhang> <https://schema.org/name> "Chengru Zhang" .
<https://notes.ross.ch/#/page/Class> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Class> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Class> <https://notes.ross.ch/#/page/sameas> <https://www.w3.org/2000/01/rdf-schema#Class> .
<https://notes.ross.ch/#/page/Class> <https://schema.org/description> "Defines user defined classes/types in this graph" .
<https://notes.ross.ch/#/page/Class> <https://schema.org/name> "Class" .
<https://notes.ross.ch/#/page/Class> <https://schema.org/url> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Class> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/CreativeWork> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/CreativeWork> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/CreativeWork> <https://notes.ross.ch/#/page/sameas> <http://dbpedia.org/ontology/Work> .
<https://notes.ross.ch/#/page/CreativeWork> <https://schema.org/description> "The most generic kind of creative work, including books, movies, photographs, software programs, etc." .
<https://notes.ross.ch/#/page/CreativeWork> <https://schema.org/name> "CreativeWork" .
<https://notes.ross.ch/#/page/CreativeWork> <https://schema.org/url> <https://schema.org/CreativeWork> .
<https://notes.ross.ch/#/page/CreativeWork> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Thing> .
<https://notes.ross.ch/#/page/Dan%20Boneh> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Person> .
<https://notes.ross.ch/#/page/Dan%20Boneh> <https://notes.ross.ch/#/page/alumniof> <https://notes.ross.ch/#/page/Stanford%20University> .
<https://notes.ross.ch/#/page/Dan%20Boneh> <https://notes.ross.ch/#/page/sameas> <https://dbpedia.org/resource/Dan_Boneh> .
<https://notes.ross.ch/#/page/Dan%20Boneh> <https://schema.org/name> "Dan Boneh" .
<https://notes.ross.ch/#/page/DataType> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/DataType> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/DataType> <https://schema.org/description> "Provides basic data types such as integers, strings, etc. See https://www.w3.org/TR/rdf12-concepts/#section-Datatypes for additional datatypes that could be possible" .
<https://notes.ross.ch/#/page/DataType> <https://schema.org/name> "DataType" .
<https://notes.ross.ch/#/page/DataType> <https://schema.org/url> <https://schema.org/DataType> .
<https://notes.ross.ch/#/page/DataType> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Date> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Date> <https://schema.org/name> "Date" .
<https://notes.ross.ch/#/page/Date> <https://schema.org/url> <https://schema.org/Date> .
<https://notes.ross.ch/#/page/Date> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/DataType> .
<https://notes.ross.ch/#/page/DigitalDocument> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/DigitalDocument> <https://schema.org/description> "An electronic file or document." .
<https://notes.ross.ch/#/page/DigitalDocument> <https://schema.org/name> "DigitalDocument" .
<https://notes.ross.ch/#/page/DigitalDocument> <https://schema.org/url> <https://schema.org/DigitalDocument> .
<https://notes.ross.ch/#/page/DigitalDocument> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/CreativeWork> .
<https://notes.ross.ch/#/page/EducationalOrganization> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/EducationalOrganization> <https://schema.org/name> "EducationalOrganization" .
<https://notes.ross.ch/#/page/EducationalOrganization> <https://schema.org/url> <https://schema.org/EducationalOrganization> .
<https://notes.ross.ch/#/page/EducationalOrganization> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Organization> .
<https://notes.ross.ch/#/page/Jens%20Ernstberger> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Person> .
<https://notes.ross.ch/#/page/Jens%20Ernstberger> <https://notes.ross.ch/#/page/alumniof> <https://notes.ross.ch/#/page/Technical%20University%20of%20Munich> .
<https://notes.ross.ch/#/page/Jens%20Ernstberger> <https://schema.org/name> "Jens Ernstberger" .
<https://notes.ross.ch/#/page/Journal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Journal> <https://notes.ross.ch/#/page/sameas> <https://schema.org/Periodical> .
<https://notes.ross.ch/#/page/Journal> <https://schema.org/description> "A journal entry" .
<https://notes.ross.ch/#/page/Journal> <https://schema.org/name> "Journal" .
<https://notes.ross.ch/#/page/Journal> <https://schema.org/url> <https://notes.ross.ch/#/page/Journal> .
<https://notes.ross.ch/#/page/Journal> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Least%20Authority> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Organization> .
<https://notes.ross.ch/#/page/Least%20Authority> <https://schema.org/name> "Least Authority" .
<https://notes.ross.ch/#/page/Luca%20Ciprian> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Person> .
<https://notes.ross.ch/#/page/Luca%20Ciprian> <https://notes.ross.ch/#/page/alumniof> <https://notes.ross.ch/#/page/Technical%20University%20of%20Munich> .
<https://notes.ross.ch/#/page/Luca%20Ciprian> <https://schema.org/name> "Luca Ciprian" .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Journal> .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <https://notes.ross.ch/#/page/published> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Digital-Garden> .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Linked-Data> .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Logseq> .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Networked-Thought> .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <https://schema.org/author> <https://notes.ross.ch/#/page/Ross%20Chadwick> .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <https://schema.org/dateCreated> "06-05-2025" .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <https://schema.org/description> "Towards publishing my notes and research as self-describing, public information." .
<https://notes.ross.ch/#/page/May%206th%2C%202025> <https://schema.org/name> "May 6th, 2025" .
<https://notes.ross.ch/#/page/Moonmath%20Manual> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Note> .
<https://notes.ross.ch/#/page/Moonmath%20Manual> <https://notes.ross.ch/#/page/published> "false"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Moonmath%20Manual> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Non-interactive%20Zero-knowledge%20Proof> .
<https://notes.ross.ch/#/page/Moonmath%20Manual> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/ZK-SNARK> .
<https://notes.ross.ch/#/page/Moonmath%20Manual> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/learning-resource> .
<https://notes.ross.ch/#/page/Moonmath%20Manual> <https://schema.org/author> <https://notes.ross.ch/#/page/Ross%20Chadwick> .
<https://notes.ross.ch/#/page/Moonmath%20Manual> <https://schema.org/dateCreated> "10-05-2025" .
<https://notes.ross.ch/#/page/Moonmath%20Manual> <https://schema.org/description> "Notes on moonmath manual" .
<https://notes.ross.ch/#/page/Moonmath%20Manual> <https://schema.org/name> "Moonmath Manual" .
<https://notes.ross.ch/#/page/Non-interactive%20Zero-knowledge%20Proof> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Non-interactive%20Zero-knowledge%20Proof> <https://schema.org/name> "Non-interactive Zero-knowledge Proof" .
<https://notes.ross.ch/#/page/Non-interactive%20Zero-knowledge%20Proof> <https://schema.org/url> <http://dbpedia.org/resource/Non-interactive_zero-knowledge_proof> .
<https://notes.ross.ch/#/page/Non-interactive%20Zero-knowledge%20Proof> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Zero%20Knowledge%20Proof> .
<https://notes.ross.ch/#/page/Note> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Note> <https://notes.ross.ch/#/page/sameas> <https://schema.org/NoteDigitalDocument> .
<https://notes.ross.ch/#/page/Note> <https://schema.org/description> "A note" .
<https://notes.ross.ch/#/page/Note> <https://schema.org/name> "Note" .
<https://notes.ross.ch/#/page/Note> <https://schema.org/url> <https://notes.ross.ch/#/page/Note> .
<https://notes.ross.ch/#/page/Note> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/DigitalDocument> .
<https://notes.ross.ch/#/page/Organization> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Organization> <https://schema.org/description> "An organization such as a school, NGO, corporation, club, etc." .
<https://notes.ross.ch/#/page/Organization> <https://schema.org/name> "Organization" .
<https://notes.ross.ch/#/page/Organization> <https://schema.org/url> <https://schema.org/Organization> .
<https://notes.ross.ch/#/page/Organization> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Thing> .
<https://notes.ross.ch/#/page/Person> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Person> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Person> <https://notes.ross.ch/#/page/sameas> <http://dbpedia.org/ontology/Person> .
<https://notes.ross.ch/#/page/Person> <https://schema.org/description> "A person (alive, dead, undead, or fictional)." .
<https://notes.ross.ch/#/page/Person> <https://schema.org/name> "Person" .
<https://notes.ross.ch/#/page/Person> <https://schema.org/url> <https://schema.org/Person> .
<https://notes.ross.ch/#/page/Person> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Thing> .
<https://notes.ross.ch/#/page/Philipp%20Jovanovic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Person> .
<https://notes.ross.ch/#/page/Philipp%20Jovanovic> <https://notes.ross.ch/#/page/alumniof> <https://notes.ross.ch/#/page/University%20College%20London> .
<https://notes.ross.ch/#/page/Philipp%20Jovanovic> <https://schema.org/name> "Philipp Jovanovic" .
<https://notes.ross.ch/#/page/PresentationDigitalDocument> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/PresentationDigitalDocument> <https://schema.org/description> "A file containing slides or used for a presentation." .
<https://notes.ross.ch/#/page/PresentationDigitalDocument> <https://schema.org/name> "PresentationDigitalDocument" .
<https://notes.ross.ch/#/page/PresentationDigitalDocument> <https://schema.org/url> <https://schema.org/PresentationDigitalDocument> .
<https://notes.ross.ch/#/page/PresentationDigitalDocument> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/DigitalDocument> .
<https://notes.ross.ch/#/page/PrivateCompany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/PrivateCompany> <https://notes.ross.ch/#/page/sameas> <http://dbpedia.org/resource/Private_company> .
<https://notes.ross.ch/#/page/PrivateCompany> <https://schema.org/name> "PrivateCompany" .
<https://notes.ross.ch/#/page/PrivateCompany> <https://schema.org/url> <https://notes.ross.ch/#/page/PrivateCompany> .
<https://notes.ross.ch/#/page/PrivateCompany> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Organization> .
<https://notes.ross.ch/#/page/Property> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Property> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Property> <https://notes.ross.ch/#/page/sameas> <https://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<https://notes.ross.ch/#/page/Property> <https://schema.org/description> "Defines user defined properties in this graph" .
<https://notes.ross.ch/#/page/Property> <https://schema.org/name> "Property" .
<https://notes.ross.ch/#/page/Property> <https://schema.org/url> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/Property> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Thing> .
<https://notes.ross.ch/#/page/Ross%20Chadwick> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Person> .
<https://notes.ross.ch/#/page/Ross%20Chadwick> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Ross%20Chadwick> <https://schema.org/name> "Ross Chadwick" .
<https://notes.ross.ch/#/page/ScholarlyArticle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/ScholarlyArticle> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/ScholarlyArticle> <https://schema.org/description> "A scholarly article." .
<https://notes.ross.ch/#/page/ScholarlyArticle> <https://schema.org/name> "ScholarlyArticle" .
<https://notes.ross.ch/#/page/ScholarlyArticle> <https://schema.org/url> <https://schema.org/ScholarlyArticle> .
<https://notes.ross.ch/#/page/ScholarlyArticle> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Article> .
<https://notes.ross.ch/#/page/Sebastian%20Steinhorst> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Person> .
<https://notes.ross.ch/#/page/Sebastian%20Steinhorst> <https://notes.ross.ch/#/page/alumniof> <https://notes.ross.ch/#/page/Technical%20University%20of%20Munich> .
<https://notes.ross.ch/#/page/Sebastian%20Steinhorst> <https://schema.org/name> "Sebastian Steinhorst" .
<https://notes.ross.ch/#/page/Software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Software> <https://notes.ross.ch/#/page/sameas> <http://dbpedia.org/ontology/Software> .
<https://notes.ross.ch/#/page/Software> <https://schema.org/name> "Software" .
<https://notes.ross.ch/#/page/Software> <https://schema.org/url> <https://notes.ross.ch/#/page/Software> .
<https://notes.ross.ch/#/page/Software> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/CreativeWork> .
<https://notes.ross.ch/#/page/Stanford%20University> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/University> .
<https://notes.ross.ch/#/page/Stanford%20University> <https://schema.org/name> "Stanford University" .
<https://notes.ross.ch/#/page/StarkWare%20Industries> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/PrivateCompany> .
<https://notes.ross.ch/#/page/StarkWare%20Industries> <https://notes.ross.ch/#/page/sameas> <https://dbpedia.org/resource/StarkWare_Industries> .
<https://notes.ross.ch/#/page/StarkWare%20Industries> <https://schema.org/name> "StarkWare Industries" .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Note> .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://notes.ross.ch/#/page/published> "false"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Non-interactive%20Zero-knowledge%20Proof> .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/interactive-learning-resource> .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/learning-resource> .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/video-learning-resource> .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/zk-snark> .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://schema.org/author> <https://notes.ross.ch/#/page/Ross%20Chadwick> .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://schema.org/dateCreated> "10-05-2025" .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://schema.org/description> "Notes on STARK 101." .
<https://notes.ross.ch/#/page/Starkware%20STARK%20101> <https://schema.org/name> "Starkware STARK 101" .
<https://notes.ross.ch/#/page/String> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/String> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/String> <https://notes.ross.ch/#/page/sameas> <https://schema.org/Text> .
<https://notes.ross.ch/#/page/String> <https://schema.org/name> "String" .
<https://notes.ross.ch/#/page/String> <https://schema.org/url> <https://notes.ross.ch/#/page/String> .
<https://notes.ross.ch/#/page/String> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/DataType> .
<https://notes.ross.ch/#/page/StringWithRefs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/StringWithRefs> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/StringWithRefs> <https://schema.org/description> "String that can have page references" .
<https://notes.ross.ch/#/page/StringWithRefs> <https://schema.org/name> "StringWithRefs" .
<https://notes.ross.ch/#/page/StringWithRefs> <https://schema.org/url> <https://notes.ross.ch/#/page/StringWithRefs> .
<https://notes.ross.ch/#/page/StringWithRefs> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/DataType> .
<https://notes.ross.ch/#/page/Technical%20University%20of%20Munich> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/University> .
<https://notes.ross.ch/#/page/Technical%20University%20of%20Munich> <https://schema.org/name> "Technical University of Munich" .
<https://notes.ross.ch/#/page/The%20University%20of%20Hong%20Kong> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/University> .
<https://notes.ross.ch/#/page/The%20University%20of%20Hong%20Kong> <https://schema.org/name> "The University of Hong Kong" .
<https://notes.ross.ch/#/page/Thing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Thing> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Thing> <https://schema.org/description> "The simplest concept which all classes inherit from." .
<https://notes.ross.ch/#/page/Thing> <https://schema.org/name> "Thing" .
<https://notes.ross.ch/#/page/Thing> <https://schema.org/url> <https://schema.org/Thing> .
<https://notes.ross.ch/#/page/University> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/University> <https://notes.ross.ch/#/page/sameas> "https://schema.org/CollegeOrUniversity http://dbpedia.org/resource/University" .
<https://notes.ross.ch/#/page/University> <https://schema.org/description> "A university." .
<https://notes.ross.ch/#/page/University> <https://schema.org/name> "University" .
<https://notes.ross.ch/#/page/University> <https://schema.org/url> <https://notes.ross.ch/#/page/University> .
<https://notes.ross.ch/#/page/University> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/EducationalOrganization> .
<https://notes.ross.ch/#/page/University%20College%20London> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/University> .
<https://notes.ross.ch/#/page/University%20College%20London> <https://schema.org/name> "University College London" .
<https://notes.ross.ch/#/page/Uri> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Uri> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Uri> <https://notes.ross.ch/#/page/sameas> <https://schema.org/URL> .
<https://notes.ross.ch/#/page/Uri> <https://schema.org/name> "Uri" .
<https://notes.ross.ch/#/page/Uri> <https://schema.org/url> <https://notes.ross.ch/#/page/Uri> .
<https://notes.ross.ch/#/page/Uri> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/DataType> .
<https://notes.ross.ch/#/page/ZK%20Hack> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Organization> .
<https://notes.ross.ch/#/page/ZK%20Hack> <https://schema.org/name> "ZK Hack" .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Note> .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://notes.ross.ch/#/page/published> "false"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Non-interactive%20Zero-knowledge%20Proof> .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/interactive-learning-resource> .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/learning-resource> .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/video-learning-resource> .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/zk-snark> .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://schema.org/author> <https://notes.ross.ch/#/page/Ross%20Chadwick> .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://schema.org/dateCreated> "10-05-2025" .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://schema.org/description> "Notes on ZK Whiteboard Sessions." .
<https://notes.ross.ch/#/page/ZK%20Hack%20Whiteboard%20Sessions> <https://schema.org/name> "ZK Hack Whiteboard Sessions" .
<https://notes.ross.ch/#/page/Zero%20Knowledge%20Proof> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/Zero%20Knowledge%20Proof> <https://schema.org/name> "Zero Knowledge Proof" .
<https://notes.ross.ch/#/page/Zero%20Knowledge%20Proof> <https://schema.org/url> <http://dbpedia.org/resource/Zero-knowledge_proof> .
<https://notes.ross.ch/#/page/Zero%20Knowledge%20Proof> <https://www.w3.org/2000/01/rdf-schema#subClassOf> <https://notes.ross.ch/#/page/Software> .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Note> .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://notes.ross.ch/#/page/published> "false"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Location-Privacy> .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Non-interactive%20Zero-knowledge%20Proof> .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/Proof-of-Proximity> .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/ZK-SNARK> .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/ZKLP> .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://schema.org/author> <https://notes.ross.ch/#/page/Ross%20Chadwick> .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://schema.org/dateCreated> "08-05-2025" .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://schema.org/description> "Notes on the paper \"Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs\"" .
<https://notes.ross.ch/#/page/Zero-Knowledge%20Location%20Privacy%20via%20Accurate%20Floating-Point%20SNARKs> <https://schema.org/name> "Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs" .
<https://notes.ross.ch/#/page/abstract> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/abstract> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/abstract> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/String> .
<https://notes.ross.ch/#/page/abstract> <https://schema.org/name> "abstract" .
<https://notes.ross.ch/#/page/abstract> <https://schema.org/url> <https://schema.org/abstract> .
<https://notes.ross.ch/#/page/alumniOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/alumniOf> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/alumniOf> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/EducationalOrganization> .
<https://notes.ross.ch/#/page/alumniOf> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Organization> .
<https://notes.ross.ch/#/page/alumniOf> <https://schema.org/description> "An organization that the person is an alumni of." .
<https://notes.ross.ch/#/page/alumniOf> <https://schema.org/name> "alumniOf" .
<https://notes.ross.ch/#/page/alumniOf> <https://schema.org/url> <https://schema.org/alumniOf> .
<https://notes.ross.ch/#/page/author> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/author> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/author> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Organization> .
<https://notes.ross.ch/#/page/author> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Person> .
<https://notes.ross.ch/#/page/author> <https://schema.org/name> "author" .
<https://notes.ross.ch/#/page/author> <https://schema.org/url> <https://schema.org/author> .
<https://notes.ross.ch/#/page/bookedition> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/bookedition> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/bookedition> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/String> .
<https://notes.ross.ch/#/page/bookedition> <https://schema.org/name> "bookedition" .
<https://notes.ross.ch/#/page/bookedition> <https://schema.org/url> <https://schema.org/bookEdition> .
<https://notes.ross.ch/#/page/contributor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/contributor> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/contributor> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Organization> .
<https://notes.ross.ch/#/page/contributor> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Person> .
<https://notes.ross.ch/#/page/contributor> <https://schema.org/name> "contributor" .
<https://notes.ross.ch/#/page/contributor> <https://schema.org/url> <http://schema.org/contributor> .
<https://notes.ross.ch/#/page/datecreated> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/datecreated> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/datecreated> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Date> .
<https://notes.ross.ch/#/page/datecreated> <https://schema.org/name> "datecreated" .
<https://notes.ross.ch/#/page/datecreated> <https://schema.org/url> <https://schema.org/dateCreated> .
<https://notes.ross.ch/#/page/datepublished> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/datepublished> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/datepublished> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Date> .
<https://notes.ross.ch/#/page/datepublished> <https://schema.org/name> "datepublished" .
<https://notes.ross.ch/#/page/datepublished> <https://schema.org/url> <https://schema.org/datePublished> .
<https://notes.ross.ch/#/page/description> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/description> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/description> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/StringWithRefs> .
<https://notes.ross.ch/#/page/description> <https://schema.org/name> "description" .
<https://notes.ross.ch/#/page/description> <https://schema.org/url> <https://schema.org/description> .
<https://notes.ross.ch/#/page/doi> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/doi> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/doi> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/String> .
<https://notes.ross.ch/#/page/doi> <https://notes.ross.ch/#/page/unique> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/doi> <https://schema.org/description> "Digital Object Identifier (DOI) for a resource." .
<https://notes.ross.ch/#/page/doi> <https://schema.org/name> "doi" .
<https://notes.ross.ch/#/page/doi> <https://schema.org/url> <https://notes.ross.ch/#/page/doi> .
<https://notes.ross.ch/#/page/domainincludes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/domainincludes> <https://notes.ross.ch/#/page/domainIncludes> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/domainincludes> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/domainincludes> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/domainincludes> <https://notes.ross.ch/#/page/sameas> <https://schema.org/domainIncludes> .
<https://notes.ross.ch/#/page/domainincludes> <https://schema.org/description> "A more useful version of rdfs:domain as it can be one of multiple values" .
<https://notes.ross.ch/#/page/domainincludes> <https://schema.org/name> "domainincludes" .
<https://notes.ross.ch/#/page/domainincludes> <https://schema.org/url> <https://notes.ross.ch/#/page/domainIncludes> .
<https://notes.ross.ch/#/page/file> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/file> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/file> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/StringWithRefs> .
<https://notes.ross.ch/#/page/file> <https://schema.org/name> "file" .
<https://notes.ross.ch/#/page/file> <https://schema.org/url> <https://notes.ross.ch/#/page/file> .
<https://notes.ross.ch/#/page/file-path> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/file-path> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/file-path> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/String> .
<https://notes.ross.ch/#/page/file-path> <https://schema.org/name> "file-path" .
<https://notes.ross.ch/#/page/file-path> <https://schema.org/url> <https://notes.ross.ch/#/page/file-path> .
<https://notes.ross.ch/#/page/hls__STARK101-Part1_1746902548323_0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/PresentationDigitalDocument> .
<https://notes.ross.ch/#/page/hls__STARK101-Part1_1746902548323_0> <https://notes.ross.ch/#/page/file> "[STARK101-Part1_1746902548323_0.pdf](../assets/STARK101-Part1_1746902548323_0.pdf)" .
<https://notes.ross.ch/#/page/hls__STARK101-Part1_1746902548323_0> <https://notes.ross.ch/#/page/file-path> "../assets/STARK101-Part1_1746902548323_0.pdf" .
<https://notes.ross.ch/#/page/hls__STARK101-Part1_1746902548323_0> <https://schema.org/author> <https://notes.ross.ch/#/page/StarkWare%20Industries> .
<https://notes.ross.ch/#/page/hls__STARK101-Part1_1746902548323_0> <https://schema.org/description> "Statement, LDE and Commitment" .
<https://notes.ross.ch/#/page/hls__STARK101-Part1_1746902548323_0> <https://schema.org/name> "hls__STARK101-Part1_1746902548323_0" .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <http://schema.org/contributor> <https://notes.ross.ch/#/page/Luca%20Ciprian> .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <http://schema.org/contributor> <https://notes.ross.ch/#/page/Philipp%20Jovanovic> .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <http://schema.org/contributor> <https://notes.ross.ch/#/page/Sebastian%20Steinhorst> .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/ScholarlyArticle> .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <https://notes.ross.ch/#/page/doi> "arXiv:2404.14983" .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <https://notes.ross.ch/#/page/file> "[Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0.pdf](../assets/Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0.pdf)" .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <https://notes.ross.ch/#/page/file-path> "../assets/Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0.pdf" .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <https://schema.org/abstract> "We introduce Zero-Knowledge Location Privacy (ZKLP), enabling users to prove to third parties that they are within a specified geographical region while not disclosing their exact location. ZKLP supports varying levels of granularity, allowing for customization depending on the use case. To realize ZKLP, we introduce the first set of Zero-Knowledge Proof (ZKP) circuits that are fully compliant to the IEEE 754 standard for floating-point arithmetic. Our results demonstrate that our floating point circuits amortize efficiently, requiring only 64 constraints per operation for 2 15 single-precision floating-point multiplications. We utilize our floating point implementation to realize the ZKLP paradigm. In comparison to a baseline, we find that our optimized implementation has 15.9× less constraints utilizing single precision floating-point values, and 12.2× less constraints when utilizing double precision floating-point values. We demonstrate the practicability of ZKLP by building a protocol for privacy preserving peer-to-peer proximity testing — Alice can test if she is close to Bob by receiving a single message, without either party revealing any other information about their location. In such a setting, Bob can create a proof of (non-)proximity in 0.26 s, whereas Alice can verify her distance to about 470 peers per second." .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <https://schema.org/author> <https://notes.ross.ch/#/page/Chengru%20Zhang> .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <https://schema.org/author> <https://notes.ross.ch/#/page/Jens%20Ernstberger> .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <https://schema.org/datePublished> "23-04-2024" .
<https://notes.ross.ch/#/page/hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0> <https://schema.org/name> "hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0" .
<https://notes.ross.ch/#/page/hls__moonmath-v1.1.5_1746894282402_0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Book> .
<https://notes.ross.ch/#/page/hls__moonmath-v1.1.5_1746894282402_0> <https://notes.ross.ch/#/page/file> "[moonmath-v1.1.5_1746894282402_0.pdf](../assets/moonmath-v1.1.5_1746894282402_0.pdf)" .
<https://notes.ross.ch/#/page/hls__moonmath-v1.1.5_1746894282402_0> <https://notes.ross.ch/#/page/file-path> "../assets/moonmath-v1.1.5_1746894282402_0.pdf" .
<https://notes.ross.ch/#/page/hls__moonmath-v1.1.5_1746894282402_0> <https://schema.org/author> <https://notes.ross.ch/#/page/Least%20Authority> .
<https://notes.ross.ch/#/page/hls__moonmath-v1.1.5_1746894282402_0> <https://schema.org/bookEdition> "v1.1.5" .
<https://notes.ross.ch/#/page/hls__moonmath-v1.1.5_1746894282402_0> <https://schema.org/datePublished> "11-06-2024" .
<https://notes.ross.ch/#/page/hls__moonmath-v1.1.5_1746894282402_0> <https://schema.org/description> "A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts." .
<https://notes.ross.ch/#/page/hls__moonmath-v1.1.5_1746894282402_0> <https://schema.org/name> "hls__moonmath-v1.1.5_1746894282402_0" .
<https://notes.ross.ch/#/page/hls__zk_whiteboard_segment1_1746895258465_0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/PresentationDigitalDocument> .
<https://notes.ross.ch/#/page/hls__zk_whiteboard_segment1_1746895258465_0> <https://notes.ross.ch/#/page/file> "[zk_whiteboard_segment1_1746895258465_0.pdf](../assets/zk_whiteboard_segment1_1746895258465_0.pdf)" .
<https://notes.ross.ch/#/page/hls__zk_whiteboard_segment1_1746895258465_0> <https://notes.ross.ch/#/page/file-path> "../assets/zk_whiteboard_segment1_1746895258465_0.pdf" .
<https://notes.ross.ch/#/page/hls__zk_whiteboard_segment1_1746895258465_0> <https://schema.org/author> <https://notes.ross.ch/#/page/Dan%20Boneh> .
<https://notes.ross.ch/#/page/hls__zk_whiteboard_segment1_1746895258465_0> <https://schema.org/author> <https://notes.ross.ch/#/page/ZK%20Hack> .
<https://notes.ross.ch/#/page/hls__zk_whiteboard_segment1_1746895258465_0> <https://schema.org/name> "hls__zk_whiteboard_segment1_1746895258465_0" .
<https://notes.ross.ch/#/page/parent> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/parent> <https://notes.ross.ch/#/page/domainIncludes> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/parent> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/parent> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/parent> <https://schema.org/description> "Used to connect a class with its parent class" .
<https://notes.ross.ch/#/page/parent> <https://schema.org/name> "parent" .
<https://notes.ross.ch/#/page/parent> <https://schema.org/url> <https://www.w3.org/2000/01/rdf-schema#subClassOf> .
<https://notes.ross.ch/#/page/published> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/published> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/published> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Boolean> .
<https://notes.ross.ch/#/page/published> <https://schema.org/name> "published" .
<https://notes.ross.ch/#/page/published> <https://schema.org/url> <https://notes.ross.ch/#/page/published> .
<https://notes.ross.ch/#/page/rangeincludes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/rangeincludes> <https://notes.ross.ch/#/page/domainIncludes> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/rangeincludes> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/rangeincludes> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/rangeincludes> <https://notes.ross.ch/#/page/sameas> <https://schema.org/rangeIncludes> .
<https://notes.ross.ch/#/page/rangeincludes> <https://schema.org/description> "List of values a property can have" .
<https://notes.ross.ch/#/page/rangeincludes> <https://schema.org/name> "rangeincludes" .
<https://notes.ross.ch/#/page/rangeincludes> <https://schema.org/url> <https://notes.ross.ch/#/page/rangeIncludes> .
<https://notes.ross.ch/#/page/sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/sameAs> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/sameAs> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Uri> .
<https://notes.ross.ch/#/page/sameAs> <https://schema.org/description> "Indicates that two URIs are equivalent" .
<https://notes.ross.ch/#/page/sameAs> <https://schema.org/name> "sameAs" .
<https://notes.ross.ch/#/page/sameAs> <https://schema.org/url> <https://www.w3.org/2002/07/owl#sameAs> .
<https://notes.ross.ch/#/page/topic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/topic> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/StringWithRefs> .
<https://notes.ross.ch/#/page/topic> <https://schema.org/name> "topic" .
<https://notes.ross.ch/#/page/topic> <https://schema.org/url> <https://notes.ross.ch/#/page/topic> .
<https://notes.ross.ch/#/page/type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/type> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/type> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Class> .
<https://notes.ross.ch/#/page/type> <https://schema.org/name> "type" .
<https://notes.ross.ch/#/page/type> <https://schema.org/url> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> .
<https://notes.ross.ch/#/page/unique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/unique> <https://notes.ross.ch/#/page/domainIncludes> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/unique> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/unique> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Boolean> .
<https://notes.ross.ch/#/page/unique> <https://schema.org/name> "unique" .
<https://notes.ross.ch/#/page/unique> <https://schema.org/url> <https://notes.ross.ch/#/page/unique> .
<https://notes.ross.ch/#/page/url> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://notes.ross.ch/#/page/Property> .
<https://notes.ross.ch/#/page/url> <https://notes.ross.ch/#/page/exclude-from-graph-view> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/url> <https://notes.ross.ch/#/page/rangeIncludes> <https://notes.ross.ch/#/page/Uri> .
<https://notes.ross.ch/#/page/url> <https://notes.ross.ch/#/page/unique> "true"^^<http://www.w3.org/2001/XMLSchema#boolean> .
<https://notes.ross.ch/#/page/url> <https://schema.org/name> "url" .
<https://notes.ross.ch/#/page/url> <https://schema.org/url> <https://schema.org/url> .