{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:ZF4HJGYVVHWGAWNK5GPDPHY34G","short_pith_number":"pith:ZF4HJGYV","canonical_record":{"source":{"id":"2404.14983","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-23T12:38:51Z","cross_cats_sorted":[],"title_canon_sha256":"e33385800b3a9a3735f378e356c5ca90eddd98c6a1588e9a594a870a57d5f16a","abstract_canon_sha256":"4626ef381ee5c905424d929e90784643595092107e639a7bcb7fb727a29dcee7"},"schema_version":"1.0"},"canonical_sha256":"c978749b15a9ec6059aae99e379f1be1b5a4b92ee6a1e943ae72b14fbc4840b3","source":{"kind":"arxiv","id":"2404.14983","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.14983","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"arxiv_version","alias_value":"2404.14983v2","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.14983","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"pith_short_12","alias_value":"ZF4HJGYVVHWG","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"pith_short_16","alias_value":"ZF4HJGYVVHWGAWNK","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"pith_short_8","alias_value":"ZF4HJGYV","created_at":"2026-07-05T09:33:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:ZF4HJGYVVHWGAWNK5GPDPHY34G","target":"record","payload":{"canonical_record":{"source":{"id":"2404.14983","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-23T12:38:51Z","cross_cats_sorted":[],"title_canon_sha256":"e33385800b3a9a3735f378e356c5ca90eddd98c6a1588e9a594a870a57d5f16a","abstract_canon_sha256":"4626ef381ee5c905424d929e90784643595092107e639a7bcb7fb727a29dcee7"},"schema_version":"1.0"},"canonical_sha256":"c978749b15a9ec6059aae99e379f1be1b5a4b92ee6a1e943ae72b14fbc4840b3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:33:31.255333Z","signature_b64":"m2O2APS5v61dlE6zd0WyZtqKbBonE6woWRevjkDHIMfrYJPoRv4KGPHnIqFPxgFLlkpJyQcs/jW3XI3Tpn6gCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c978749b15a9ec6059aae99e379f1be1b5a4b92ee6a1e943ae72b14fbc4840b3","last_reissued_at":"2026-07-05T09:33:31.254804Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:33:31.254804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.14983","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:33:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6fJuEwU0W7Q9y7j/cpGDaNgZK7YAp9r9KYAy9DSQ/tE5iI2zwTvm4DS00sfnL8bE99FtQwqbgUfa1QUung8nAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T04:24:33.835080Z"},"content_sha256":"19ed92c38b65455f47598b801b77c480e970d378f6eabf8ff96b1e020e64a9b6","schema_version":"1.0","event_id":"sha256:19ed92c38b65455f47598b801b77c480e970d378f6eabf8ff96b1e020e64a9b6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:ZF4HJGYVVHWGAWNK5GPDPHY34G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Chengru Zhang, Jens Ernstberger, Luca Ciprian, Philipp Jovanovic, Sebastian Steinhorst","submitted_at":"2024-04-23T12:38:51Z","abstract_excerpt":"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.\n  Our results demonstrate that our floating point circuits amortize efficiently, requiring only $64$ constraints per multiplication for $2^{15}$ si"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.14983","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2404.14983/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:33:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MRmxdjAeh3LFkJ2ppJoNXmp+45p707GBoH6aEh1A90MefhDb6CpyaRyGG9G113pcYZMX2qJ2FP0XI+NcjT94Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T04:24:33.835577Z"},"content_sha256":"6da1e0338740e3acc8ec7eb7ab543120bb4903703dd371938bff89456f811fa9","schema_version":"1.0","event_id":"sha256:6da1e0338740e3acc8ec7eb7ab543120bb4903703dd371938bff89456f811fa9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZF4HJGYVVHWGAWNK5GPDPHY34G/bundle.json","state_url":"https://pith.science/pith/ZF4HJGYVVHWGAWNK5GPDPHY34G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZF4HJGYVVHWGAWNK5GPDPHY34G/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-21T04:24:33Z","links":{"resolver":"https://pith.science/pith/ZF4HJGYVVHWGAWNK5GPDPHY34G","bundle":"https://pith.science/pith/ZF4HJGYVVHWGAWNK5GPDPHY34G/bundle.json","state":"https://pith.science/pith/ZF4HJGYVVHWGAWNK5GPDPHY34G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZF4HJGYVVHWGAWNK5GPDPHY34G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZF4HJGYVVHWGAWNK5GPDPHY34G","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4626ef381ee5c905424d929e90784643595092107e639a7bcb7fb727a29dcee7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-23T12:38:51Z","title_canon_sha256":"e33385800b3a9a3735f378e356c5ca90eddd98c6a1588e9a594a870a57d5f16a"},"schema_version":"1.0","source":{"id":"2404.14983","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.14983","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"arxiv_version","alias_value":"2404.14983v2","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.14983","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"pith_short_12","alias_value":"ZF4HJGYVVHWG","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"pith_short_16","alias_value":"ZF4HJGYVVHWGAWNK","created_at":"2026-07-05T09:33:31Z"},{"alias_kind":"pith_short_8","alias_value":"ZF4HJGYV","created_at":"2026-07-05T09:33:31Z"}],"graph_snapshots":[{"event_id":"sha256:6da1e0338740e3acc8ec7eb7ab543120bb4903703dd371938bff89456f811fa9","target":"graph","created_at":"2026-07-05T09:33:31Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2404.14983/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"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.\n  Our results demonstrate that our floating point circuits amortize efficiently, requiring only $64$ constraints per multiplication for $2^{15}$ si","authors_text":"Chengru Zhang, Jens Ernstberger, Luca Ciprian, Philipp Jovanovic, Sebastian Steinhorst","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-23T12:38:51Z","title":"Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.14983","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:19ed92c38b65455f47598b801b77c480e970d378f6eabf8ff96b1e020e64a9b6","target":"record","created_at":"2026-07-05T09:33:31Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"4626ef381ee5c905424d929e90784643595092107e639a7bcb7fb727a29dcee7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-23T12:38:51Z","title_canon_sha256":"e33385800b3a9a3735f378e356c5ca90eddd98c6a1588e9a594a870a57d5f16a"},"schema_version":"1.0","source":{"id":"2404.14983","kind":"arxiv","version":2}},"canonical_sha256":"c978749b15a9ec6059aae99e379f1be1b5a4b92ee6a1e943ae72b14fbc4840b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c978749b15a9ec6059aae99e379f1be1b5a4b92ee6a1e943ae72b14fbc4840b3","first_computed_at":"2026-07-05T09:33:31.254804Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:33:31.254804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m2O2APS5v61dlE6zd0WyZtqKbBonE6woWRevjkDHIMfrYJPoRv4KGPHnIqFPxgFLlkpJyQcs/jW3XI3Tpn6gCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:33:31.255333Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.14983","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19ed92c38b65455f47598b801b77c480e970d378f6eabf8ff96b1e020e64a9b6","sha256:6da1e0338740e3acc8ec7eb7ab543120bb4903703dd371938bff89456f811fa9"],"state_sha256":"c928fc586005a808ea7a3280f0d555a1a219e55cb4edf38ab69646148c4b4679"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z7g+sCwJJcRN7YLiAtCFMzATznrC2HmiYaEaIqLPyy/THlOVPnBsM2Ne7G5H/ItjvkNbkWkv1gVPbfbNtKKwAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T04:24:33.839183Z","bundle_sha256":"ffd0575adf510436c774b1b412e50e24f3588785489e79a5f4d2f13400ba441e"}}