{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:4EXTAZSOAE6HRKG6R2RWBPOHE3","short_pith_number":"pith:4EXTAZSO","canonical_record":{"source":{"id":"1906.07221","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-17T18:55:12Z","cross_cats_sorted":["cs.DM","math.AG"],"title_canon_sha256":"59b9206b94efbc8df7407bead3ba31d2fa0663196038e65b9ce4e2d6634aa4df","abstract_canon_sha256":"748315276a0d798d1e04cbb6a9d990812036e65e53462e594d1e62f7e855cbe1"},"schema_version":"1.0"},"canonical_sha256":"e12f30664e013c78a8de8ea360bdc726f6d37f8965e039c6c80cb4b470adf05c","source":{"kind":"arxiv","id":"1906.07221","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.07221","created_at":"2026-05-17T23:43:08Z"},{"alias_kind":"arxiv_version","alias_value":"1906.07221v1","created_at":"2026-05-17T23:43:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.07221","created_at":"2026-05-17T23:43:08Z"},{"alias_kind":"pith_short_12","alias_value":"4EXTAZSOAE6H","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"4EXTAZSOAE6HRKG6","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"4EXTAZSO","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:4EXTAZSOAE6HRKG6R2RWBPOHE3","target":"record","payload":{"canonical_record":{"source":{"id":"1906.07221","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-17T18:55:12Z","cross_cats_sorted":["cs.DM","math.AG"],"title_canon_sha256":"59b9206b94efbc8df7407bead3ba31d2fa0663196038e65b9ce4e2d6634aa4df","abstract_canon_sha256":"748315276a0d798d1e04cbb6a9d990812036e65e53462e594d1e62f7e855cbe1"},"schema_version":"1.0"},"canonical_sha256":"e12f30664e013c78a8de8ea360bdc726f6d37f8965e039c6c80cb4b470adf05c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:43:08.514925Z","signature_b64":"lxrmjoAbAwvWhNyYgbiO7gt+D5NPaRpTSdG7Cvm1hM1r8WgLiojL1E4ZHawBHC5fEbggib6PHKraQBLn/qZkBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e12f30664e013c78a8de8ea360bdc726f6d37f8965e039c6c80cb4b470adf05c","last_reissued_at":"2026-05-17T23:43:08.514446Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:43:08.514446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.07221","source_version":1,"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-05-17T23:43:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0FCxqAbmAZ+UXNGH+Hv2LeL5U6iTA+ZBkREDRsGL9JPTCUsDpUUUsiAydA6mnz0XOyDNVYjh16N1pnWkvu+eAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T15:02:49.469898Z"},"content_sha256":"00307139e5aa7b15b1dae5f96da773651a591b0b7e8d565891ba88217ff33ca0","schema_version":"1.0","event_id":"sha256:00307139e5aa7b15b1dae5f96da773651a591b0b7e8d565891ba88217ff33ca0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:4EXTAZSOAE6HRKG6R2RWBPOHE3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Why and How zk-SNARK Works","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.AG"],"primary_cat":"cs.CR","authors_text":"Maksym Petkus","submitted_at":"2019-06-17T18:55:12Z","abstract_excerpt":"Despite the existence of multiple great resources on zk-SNARK construction, from original papers to explainers, due to the sheer number of moving parts the subject remains a black box for many. While some pieces of the puzzle are given one can not see the full picture without the missing ones. Hence the focus of this work is to shed light onto the topic with a straightforward and clean approach based on examples and answering many whys along the way so that more individuals can appreciate the state of the art technology, its innovators and ultimately the beauty of math. Paper's contribution is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.07221","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-17T23:43:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u+gUQicKui2bmQUf4OYIBvekmG1heY40aDrELort8JQh3Pr5ljZMni81EDT3eiKbNEopVGV75MhYx4sc/6pdCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T15:02:49.470280Z"},"content_sha256":"3f8db6866aa401b3d5d4c1ce42a44a5651dd63a224b2845b322b1607f02c7970","schema_version":"1.0","event_id":"sha256:3f8db6866aa401b3d5d4c1ce42a44a5651dd63a224b2845b322b1607f02c7970"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4EXTAZSOAE6HRKG6R2RWBPOHE3/bundle.json","state_url":"https://pith.science/pith/4EXTAZSOAE6HRKG6R2RWBPOHE3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4EXTAZSOAE6HRKG6R2RWBPOHE3/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-05-28T15:02:49Z","links":{"resolver":"https://pith.science/pith/4EXTAZSOAE6HRKG6R2RWBPOHE3","bundle":"https://pith.science/pith/4EXTAZSOAE6HRKG6R2RWBPOHE3/bundle.json","state":"https://pith.science/pith/4EXTAZSOAE6HRKG6R2RWBPOHE3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4EXTAZSOAE6HRKG6R2RWBPOHE3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:4EXTAZSOAE6HRKG6R2RWBPOHE3","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":"748315276a0d798d1e04cbb6a9d990812036e65e53462e594d1e62f7e855cbe1","cross_cats_sorted":["cs.DM","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-17T18:55:12Z","title_canon_sha256":"59b9206b94efbc8df7407bead3ba31d2fa0663196038e65b9ce4e2d6634aa4df"},"schema_version":"1.0","source":{"id":"1906.07221","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.07221","created_at":"2026-05-17T23:43:08Z"},{"alias_kind":"arxiv_version","alias_value":"1906.07221v1","created_at":"2026-05-17T23:43:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.07221","created_at":"2026-05-17T23:43:08Z"},{"alias_kind":"pith_short_12","alias_value":"4EXTAZSOAE6H","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"4EXTAZSOAE6HRKG6","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"4EXTAZSO","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:3f8db6866aa401b3d5d4c1ce42a44a5651dd63a224b2845b322b1607f02c7970","target":"graph","created_at":"2026-05-17T23:43:08Z","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"},"paper":{"abstract_excerpt":"Despite the existence of multiple great resources on zk-SNARK construction, from original papers to explainers, due to the sheer number of moving parts the subject remains a black box for many. While some pieces of the puzzle are given one can not see the full picture without the missing ones. Hence the focus of this work is to shed light onto the topic with a straightforward and clean approach based on examples and answering many whys along the way so that more individuals can appreciate the state of the art technology, its innovators and ultimately the beauty of math. Paper's contribution is","authors_text":"Maksym Petkus","cross_cats":["cs.DM","math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-17T18:55:12Z","title":"Why and How zk-SNARK Works"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.07221","kind":"arxiv","version":1},"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:00307139e5aa7b15b1dae5f96da773651a591b0b7e8d565891ba88217ff33ca0","target":"record","created_at":"2026-05-17T23:43:08Z","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":"748315276a0d798d1e04cbb6a9d990812036e65e53462e594d1e62f7e855cbe1","cross_cats_sorted":["cs.DM","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-17T18:55:12Z","title_canon_sha256":"59b9206b94efbc8df7407bead3ba31d2fa0663196038e65b9ce4e2d6634aa4df"},"schema_version":"1.0","source":{"id":"1906.07221","kind":"arxiv","version":1}},"canonical_sha256":"e12f30664e013c78a8de8ea360bdc726f6d37f8965e039c6c80cb4b470adf05c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e12f30664e013c78a8de8ea360bdc726f6d37f8965e039c6c80cb4b470adf05c","first_computed_at":"2026-05-17T23:43:08.514446Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:43:08.514446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lxrmjoAbAwvWhNyYgbiO7gt+D5NPaRpTSdG7Cvm1hM1r8WgLiojL1E4ZHawBHC5fEbggib6PHKraQBLn/qZkBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:43:08.514925Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.07221","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:00307139e5aa7b15b1dae5f96da773651a591b0b7e8d565891ba88217ff33ca0","sha256:3f8db6866aa401b3d5d4c1ce42a44a5651dd63a224b2845b322b1607f02c7970"],"state_sha256":"5405023328e0728d956ba48f09cbd34bbc0dea76c354a90c5adc2b8f438b26e8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z747eu9/eHZac1Ms3L7Y4vitWLUNsruWv/wWPmWkrZ0KTrJ/YxdtUq3rTMMp54Hz44KkLOx1FQwxkn9mvKr6Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T15:02:49.472223Z","bundle_sha256":"d3c99803334d7cf3f3981151f381588c40d37e71aab8f13354766c12ab83d866"}}