. "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." . "Article" . . . . "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." . "Book" . . . . "true"^^ . "Boolean" . . . . . "Chengru Zhang" . . "true"^^ . . "Defines user defined classes/types in this graph" . "Class" . . . . "true"^^ . . "The most generic kind of creative work, including books, movies, photographs, software programs, etc." . "CreativeWork" . . . . . . "Dan Boneh" . . "true"^^ . "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" . "DataType" . . . . "true"^^ . "Date" . . . . "An electronic file or document." . "DigitalDocument" . . . . "EducationalOrganization" . . . . . "Jens Ernstberger" . . . "A journal entry" . "Journal" . . . . "Least Authority" . . . "Luca Ciprian" . . . . . . . "06-05-2025" . "Towards publishing my notes and research as self-describing, public information." . "May 6th, 2025" . . . . . . "10-05-2025" . "Notes on moonmath manual" . "Moonmath Manual" . . "Non-interactive Zero-knowledge Proof" . . . . . "A note" . "Note" . . . . "An organization such as a school, NGO, corporation, club, etc." . "Organization" . . . . "true"^^ . . "A person (alive, dead, undead, or fictional)." . "Person" . . . . . "Philipp Jovanovic" . . "A file containing slides or used for a presentation." . "PresentationDigitalDocument" . . . . . "PrivateCompany" . . . . "true"^^ . . "Defines user defined properties in this graph" . "Property" . . . . "true"^^ . "Ross Chadwick" . . "A scholarly article." . "ScholarlyArticle" . . . . . "Sebastian Steinhorst" . . . "Software" . . . . "Stanford University" . . . "StarkWare Industries" . . . . . . . . "10-05-2025" . "Notes on STARK 101." . "Starkware STARK 101" . . "true"^^ . . "String" . . . . "true"^^ . "String that can have page references" . "StringWithRefs" . . . . "Technical University of Munich" . . "The University of Hong Kong" . . "true"^^ . "The simplest concept which all classes inherit from." . "Thing" . . . "https://schema.org/CollegeOrUniversity http://dbpedia.org/resource/University" . "A university." . "University" . . . . "University College London" . . "true"^^ . . "Uri" . . . . "ZK Hack" . . . . . . . . "10-05-2025" . "Notes on ZK Whiteboard Sessions." . "ZK Hack Whiteboard Sessions" . . "Zero Knowledge Proof" . . . . . . . . . . "08-05-2025" . "Notes on the paper \"Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs\"" . "Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs" . . "true"^^ . . "abstract" . . . "true"^^ . . . "An organization that the person is an alumni of." . "alumniOf" . . . "true"^^ . . . "author" . . . "true"^^ . . "bookedition" . . . "true"^^ . . . "contributor" . . . "true"^^ . . "datecreated" . . . "true"^^ . . "datepublished" . . . "true"^^ . . "description" . . . "true"^^ . . "true"^^ . "Digital Object Identifier (DOI) URL" . "doi" . . . . "true"^^ . . . "A more useful version of rdfs:domain as it can be one of multiple values" . "domainincludes" . . . "true"^^ . . "file" . . . "true"^^ . . "file-path" . . . "[STARK101-Part1_1746902548323_0.pdf](../assets/STARK101-Part1_1746902548323_0.pdf)" . "../assets/STARK101-Part1_1746902548323_0.pdf" . . "Statement, LDE and Commitment" . "hls__STARK101-Part1_1746902548323_0" . . . . . . "[Zero-Knowledge_Location_Privacy_2404.14983v2_1746711737485_0.pdf](../assets/Zero-Knowledge_Location_Privacy_2404.14983v2_1746711737485_0.pdf)" . "../assets/Zero-Knowledge_Location_Privacy_2404.14983v2_1746711737485_0.pdf" . "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." . . . "23-04-2024" . "hls__Zero-Knowledge_Location_Privacy_2404.14983v2_1746716776817_0" . . "[moonmath-v1.1.5_1746894282402_0.pdf](../assets/moonmath-v1.1.5_1746894282402_0.pdf)" . "../assets/moonmath-v1.1.5_1746894282402_0.pdf" . . "v1.1.5" . "11-06-2024" . "A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts." . "hls__moonmath-v1.1.5_1746894282402_0" . . "[zk_whiteboard_segment1_1746895258465_0.pdf](../assets/zk_whiteboard_segment1_1746895258465_0.pdf)" . "../assets/zk_whiteboard_segment1_1746895258465_0.pdf" . . . "hls__zk_whiteboard_segment1_1746895258465_0" . . . "true"^^ . . "Used to connect a class with its parent class" . "parent" . . . . "true"^^ . . . "List of values a property can have" . "rangeincludes" . . . "true"^^ . . "Indicates that two URIs are equivalent" . "sameAs" . . . "true"^^ . . "topic" . . . "true"^^ . . "type" . . . . "true"^^ . . "unique" . . . "true"^^ . . "true"^^ . "url" . .