{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:XJW4SN5DTHOMDG4WLIICRNR3S6","short_pith_number":"pith:XJW4SN5D","canonical_record":{"source":{"id":"2309.04274","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2023-09-08T11:52:11Z","cross_cats_sorted":["cs.CR","cs.PL","cs.SE"],"title_canon_sha256":"7755074bd6d713f6c71bdb2929c8118cdf0a2076ea5c8b29779d37c9729bc4f8","abstract_canon_sha256":"71f24fa8141ca185f8ba8c224b54c8e83223b5426972a5d575ff4cea2a7ebb86"},"schema_version":"1.0"},"canonical_sha256":"ba6dc937a399dcc19b965a1028b63b97a47ef4c1517bc669a34f6a003804ee27","source":{"kind":"arxiv","id":"2309.04274","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.04274","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"arxiv_version","alias_value":"2309.04274v2","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.04274","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"pith_short_12","alias_value":"XJW4SN5DTHOM","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"pith_short_16","alias_value":"XJW4SN5DTHOMDG4W","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"pith_short_8","alias_value":"XJW4SN5D","created_at":"2026-07-05T07:59:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:XJW4SN5DTHOMDG4WLIICRNR3S6","target":"record","payload":{"canonical_record":{"source":{"id":"2309.04274","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2023-09-08T11:52:11Z","cross_cats_sorted":["cs.CR","cs.PL","cs.SE"],"title_canon_sha256":"7755074bd6d713f6c71bdb2929c8118cdf0a2076ea5c8b29779d37c9729bc4f8","abstract_canon_sha256":"71f24fa8141ca185f8ba8c224b54c8e83223b5426972a5d575ff4cea2a7ebb86"},"schema_version":"1.0"},"canonical_sha256":"ba6dc937a399dcc19b965a1028b63b97a47ef4c1517bc669a34f6a003804ee27","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:59:35.050046Z","signature_b64":"Ka5412e8BDtMA2QkFUpDw+u/b2R/pSf31oC1QiWCTP+8H/UrJuG7yKfIC5LQxp5zbzcdUffJ1u+v5Nt2ovyECw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba6dc937a399dcc19b965a1028b63b97a47ef4c1517bc669a34f6a003804ee27","last_reissued_at":"2026-07-05T07:59:35.049607Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:59:35.049607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.04274","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-05T07:59:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hlvGRYqMUtrtRz21mgX9NxoVFW6kxix9dAo6E5CZydO7DCt3Tz0n/gg3ckOtmHkRkTRTFAL0rm0k0WBXn61gDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T16:08:41.685927Z"},"content_sha256":"fc248f98af415cdf3151deb70e053e55736187579d1002dad2d65148dbe3697b","schema_version":"1.0","event_id":"sha256:fc248f98af415cdf3151deb70e053e55736187579d1002dad2d65148dbe3697b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:XJW4SN5DTHOMDG4WLIICRNR3S6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR","cs.PL","cs.SE"],"primary_cat":"cs.FL","authors_text":"Chenhao Shi, Guoqiang Li, Hao Chen, Ruibang Liu","submitted_at":"2023-09-08T11:52:11Z","abstract_excerpt":"The communities of blockchains and distributed ledgers have been stirred up by the introduction of zero-knowledge proofs (ZKPs). Originally designed to solve privacy issues, ZKPs have now evolved into an effective remedy for scalability concerns and are applied in Zcash (internet money like Bitcoin). To enable ZKPs, Rank-1 Constraint Systems (R1CS) offer a verifier for bi-linear equations. To accurately and efficiently represent R1CS, several language tools like Circom, Noir, and Snarky have been proposed to automate the compilation of advanced programs into R1CS. However, due to the flexible "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.04274","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/2309.04274/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-05T07:59:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jtr9Rd+PlxyPeBRgkwmr7k8gV66x5GUojVoDh8lktwkuZ7vQFvgYAzzPvTsIDuMDfB3pdOmsplgharoexh+IDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T16:08:41.707378Z"},"content_sha256":"c7d113de7e3aea27a1fed8bab889fa6fdf20440e2c48282be9c6266995c7114a","schema_version":"1.0","event_id":"sha256:c7d113de7e3aea27a1fed8bab889fa6fdf20440e2c48282be9c6266995c7114a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XJW4SN5DTHOMDG4WLIICRNR3S6/bundle.json","state_url":"https://pith.science/pith/XJW4SN5DTHOMDG4WLIICRNR3S6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XJW4SN5DTHOMDG4WLIICRNR3S6/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-06T16:08:41Z","links":{"resolver":"https://pith.science/pith/XJW4SN5DTHOMDG4WLIICRNR3S6","bundle":"https://pith.science/pith/XJW4SN5DTHOMDG4WLIICRNR3S6/bundle.json","state":"https://pith.science/pith/XJW4SN5DTHOMDG4WLIICRNR3S6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XJW4SN5DTHOMDG4WLIICRNR3S6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:XJW4SN5DTHOMDG4WLIICRNR3S6","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":"71f24fa8141ca185f8ba8c224b54c8e83223b5426972a5d575ff4cea2a7ebb86","cross_cats_sorted":["cs.CR","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2023-09-08T11:52:11Z","title_canon_sha256":"7755074bd6d713f6c71bdb2929c8118cdf0a2076ea5c8b29779d37c9729bc4f8"},"schema_version":"1.0","source":{"id":"2309.04274","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.04274","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"arxiv_version","alias_value":"2309.04274v2","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.04274","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"pith_short_12","alias_value":"XJW4SN5DTHOM","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"pith_short_16","alias_value":"XJW4SN5DTHOMDG4W","created_at":"2026-07-05T07:59:35Z"},{"alias_kind":"pith_short_8","alias_value":"XJW4SN5D","created_at":"2026-07-05T07:59:35Z"}],"graph_snapshots":[{"event_id":"sha256:c7d113de7e3aea27a1fed8bab889fa6fdf20440e2c48282be9c6266995c7114a","target":"graph","created_at":"2026-07-05T07:59:35Z","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/2309.04274/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The communities of blockchains and distributed ledgers have been stirred up by the introduction of zero-knowledge proofs (ZKPs). Originally designed to solve privacy issues, ZKPs have now evolved into an effective remedy for scalability concerns and are applied in Zcash (internet money like Bitcoin). To enable ZKPs, Rank-1 Constraint Systems (R1CS) offer a verifier for bi-linear equations. To accurately and efficiently represent R1CS, several language tools like Circom, Noir, and Snarky have been proposed to automate the compilation of advanced programs into R1CS. However, due to the flexible ","authors_text":"Chenhao Shi, Guoqiang Li, Hao Chen, Ruibang Liu","cross_cats":["cs.CR","cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2023-09-08T11:52:11Z","title":"Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.04274","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:fc248f98af415cdf3151deb70e053e55736187579d1002dad2d65148dbe3697b","target":"record","created_at":"2026-07-05T07:59:35Z","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":"71f24fa8141ca185f8ba8c224b54c8e83223b5426972a5d575ff4cea2a7ebb86","cross_cats_sorted":["cs.CR","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2023-09-08T11:52:11Z","title_canon_sha256":"7755074bd6d713f6c71bdb2929c8118cdf0a2076ea5c8b29779d37c9729bc4f8"},"schema_version":"1.0","source":{"id":"2309.04274","kind":"arxiv","version":2}},"canonical_sha256":"ba6dc937a399dcc19b965a1028b63b97a47ef4c1517bc669a34f6a003804ee27","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba6dc937a399dcc19b965a1028b63b97a47ef4c1517bc669a34f6a003804ee27","first_computed_at":"2026-07-05T07:59:35.049607Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:59:35.049607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ka5412e8BDtMA2QkFUpDw+u/b2R/pSf31oC1QiWCTP+8H/UrJuG7yKfIC5LQxp5zbzcdUffJ1u+v5Nt2ovyECw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:59:35.050046Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.04274","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc248f98af415cdf3151deb70e053e55736187579d1002dad2d65148dbe3697b","sha256:c7d113de7e3aea27a1fed8bab889fa6fdf20440e2c48282be9c6266995c7114a"],"state_sha256":"b90f6da290e855d072e3fc04a1bf4281dc79145671c4fa1dffdfb108f377cf82"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Aju5YCsPY8dsXuuhCIXqfQMSrL00LafTsWI0g1L7DZ4TqWMeLwurQ7dpJfkD+yrpcyCEG6TCOIJnV1xaSHUPBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T16:08:41.713298Z","bundle_sha256":"16da1f4fdd693bfe921c29e5487647bdc61c8d8ff6e9b51375a748e5c8f5f63a"}}