{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:KNHZYL4HT52EFDQTMF4PBVHEKP","short_pith_number":"pith:KNHZYL4H","canonical_record":{"source":{"id":"2203.15448","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-03-29T11:35:11Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"c0f675067a4d9d463bc0ac672e95145c852b37dc78e3bab6e45374580b5c7883","abstract_canon_sha256":"e4481bb5c8b4aba4f5b21454477cd0a865d79a55db331830d8af7eee6fe53450"},"schema_version":"1.0"},"canonical_sha256":"534f9c2f879f74428e136178f0d4e453cade4af3673f177ba96639f2c0c68e26","source":{"kind":"arxiv","id":"2203.15448","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.15448","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"arxiv_version","alias_value":"2203.15448v2","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.15448","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"pith_short_12","alias_value":"KNHZYL4HT52E","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"pith_short_16","alias_value":"KNHZYL4HT52EFDQT","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"pith_short_8","alias_value":"KNHZYL4H","created_at":"2026-07-05T04:51:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:KNHZYL4HT52EFDQTMF4PBVHEKP","target":"record","payload":{"canonical_record":{"source":{"id":"2203.15448","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-03-29T11:35:11Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"c0f675067a4d9d463bc0ac672e95145c852b37dc78e3bab6e45374580b5c7883","abstract_canon_sha256":"e4481bb5c8b4aba4f5b21454477cd0a865d79a55db331830d8af7eee6fe53450"},"schema_version":"1.0"},"canonical_sha256":"534f9c2f879f74428e136178f0d4e453cade4af3673f177ba96639f2c0c68e26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:51:40.579332Z","signature_b64":"zznO8a/s18CPcmOChBvRyFapClQN4S2KnP82Rs5S8fTvK62ZVFU/oiuxfB8nJCm+uUhdLtZdTljqgP5k6TsoCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"534f9c2f879f74428e136178f0d4e453cade4af3673f177ba96639f2c0c68e26","last_reissued_at":"2026-07-05T04:51:40.578844Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:51:40.578844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2203.15448","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-05T04:51:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j8wPfBxqhnNo+L0mYccAEJxxUbJ0S7VQkNTbUPXkL/I8/kHk6ObzCi3sWYw9db8vcVmV8bcdipELBWSywVV+Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T13:41:13.855439Z"},"content_sha256":"1026e4e2c382f59792468a3558639f07f9ca3576095cb3391bbb3dceb60fdbff","schema_version":"1.0","event_id":"sha256:1026e4e2c382f59792468a3558639f07f9ca3576095cb3391bbb3dceb60fdbff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:KNHZYL4HT52EFDQTMF4PBVHEKP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Dan Bogdanov (1), H\\\"armel Nestra (1), Jaak Randmets (1), Joosep J\\\"a\\\"ager (1), Kert Tali (1), Martin Pettai (1), Peeter Laud (1), Sandhra-Mirella Valdma (1) ((1) Cybernetica AS), Ville Sokk (1)","submitted_at":"2022-03-29T11:35:11Z","abstract_excerpt":"We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the basis of a number of non-trivial examples. The design features a type system, where each piece of data is assigned both a confidentiality and an integrity type, which are not orthogonal to each other. We perform an empiric evaluation of the statements produced by its compiler in terms of their size. We also show the integration of the compiler with the implementation of a zero-knowledge proof technique, and evaluate"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.15448","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/2203.15448/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-05T04:51:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1YLnqXluoIBBhXdD0wHPowgvPGy4FAjW28xRI5I2KyY2wLrKncsKX5bOB++8Y3xClZpCb3m97bTrUZjHN0sFBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T13:41:13.857120Z"},"content_sha256":"54d0e01b8fe3a16fb42d5cf9372c8a9996aa0f1c70a4c6e1502695fd52de67c7","schema_version":"1.0","event_id":"sha256:54d0e01b8fe3a16fb42d5cf9372c8a9996aa0f1c70a4c6e1502695fd52de67c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KNHZYL4HT52EFDQTMF4PBVHEKP/bundle.json","state_url":"https://pith.science/pith/KNHZYL4HT52EFDQTMF4PBVHEKP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KNHZYL4HT52EFDQTMF4PBVHEKP/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-23T13:41:13Z","links":{"resolver":"https://pith.science/pith/KNHZYL4HT52EFDQTMF4PBVHEKP","bundle":"https://pith.science/pith/KNHZYL4HT52EFDQTMF4PBVHEKP/bundle.json","state":"https://pith.science/pith/KNHZYL4HT52EFDQTMF4PBVHEKP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KNHZYL4HT52EFDQTMF4PBVHEKP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:KNHZYL4HT52EFDQTMF4PBVHEKP","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":"e4481bb5c8b4aba4f5b21454477cd0a865d79a55db331830d8af7eee6fe53450","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-03-29T11:35:11Z","title_canon_sha256":"c0f675067a4d9d463bc0ac672e95145c852b37dc78e3bab6e45374580b5c7883"},"schema_version":"1.0","source":{"id":"2203.15448","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.15448","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"arxiv_version","alias_value":"2203.15448v2","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.15448","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"pith_short_12","alias_value":"KNHZYL4HT52E","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"pith_short_16","alias_value":"KNHZYL4HT52EFDQT","created_at":"2026-07-05T04:51:40Z"},{"alias_kind":"pith_short_8","alias_value":"KNHZYL4H","created_at":"2026-07-05T04:51:40Z"}],"graph_snapshots":[{"event_id":"sha256:54d0e01b8fe3a16fb42d5cf9372c8a9996aa0f1c70a4c6e1502695fd52de67c7","target":"graph","created_at":"2026-07-05T04:51:40Z","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/2203.15448/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the basis of a number of non-trivial examples. The design features a type system, where each piece of data is assigned both a confidentiality and an integrity type, which are not orthogonal to each other. We perform an empiric evaluation of the statements produced by its compiler in terms of their size. We also show the integration of the compiler with the implementation of a zero-knowledge proof technique, and evaluate","authors_text":"Dan Bogdanov (1), H\\\"armel Nestra (1), Jaak Randmets (1), Joosep J\\\"a\\\"ager (1), Kert Tali (1), Martin Pettai (1), Peeter Laud (1), Sandhra-Mirella Valdma (1) ((1) Cybernetica AS), Ville Sokk (1)","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-03-29T11:35:11Z","title":"ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.15448","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:1026e4e2c382f59792468a3558639f07f9ca3576095cb3391bbb3dceb60fdbff","target":"record","created_at":"2026-07-05T04:51:40Z","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":"e4481bb5c8b4aba4f5b21454477cd0a865d79a55db331830d8af7eee6fe53450","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-03-29T11:35:11Z","title_canon_sha256":"c0f675067a4d9d463bc0ac672e95145c852b37dc78e3bab6e45374580b5c7883"},"schema_version":"1.0","source":{"id":"2203.15448","kind":"arxiv","version":2}},"canonical_sha256":"534f9c2f879f74428e136178f0d4e453cade4af3673f177ba96639f2c0c68e26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"534f9c2f879f74428e136178f0d4e453cade4af3673f177ba96639f2c0c68e26","first_computed_at":"2026-07-05T04:51:40.578844Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:51:40.578844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zznO8a/s18CPcmOChBvRyFapClQN4S2KnP82Rs5S8fTvK62ZVFU/oiuxfB8nJCm+uUhdLtZdTljqgP5k6TsoCw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:51:40.579332Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.15448","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1026e4e2c382f59792468a3558639f07f9ca3576095cb3391bbb3dceb60fdbff","sha256:54d0e01b8fe3a16fb42d5cf9372c8a9996aa0f1c70a4c6e1502695fd52de67c7"],"state_sha256":"8abc6c199b130a1430164bcbb8e96ffcb7795ce3b772117434e8ac76dc9fe46a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y05XC2M2nY0GUGffM1OGUgz5WQ5lw+qNWDXsXEsEwTqmXypVtZ9BR1p8FvPccEEqn03WVU1DTkoFPxVEZgeDCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T13:41:13.865327Z","bundle_sha256":"7aec19ab0054b74282660f2ceb967ffca7dc5d8d12cb9e771c74f459206eb4c5"}}