{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ANUE2NHMTR3L7TJ4SFYMKKMPUJ","short_pith_number":"pith:ANUE2NHM","canonical_record":{"source":{"id":"1603.01635","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-03-04T21:17:33Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"cb47fd7820f47f47fe1c127fef626afc8d6af62f9dd6a4ce052feac566737b7e","abstract_canon_sha256":"aebb5663c6144231b4e9c847e7c4fa891427ca987d35d664d91544b5a57238ce"},"schema_version":"1.0"},"canonical_sha256":"03684d34ec9c76bfcd3c9170c5298fa273832b9f9b13afcaba631bce55f65d7b","source":{"kind":"arxiv","id":"1603.01635","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.01635","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"arxiv_version","alias_value":"1603.01635v2","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.01635","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"pith_short_12","alias_value":"ANUE2NHMTR3L","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"ANUE2NHMTR3L7TJ4","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"ANUE2NHM","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ANUE2NHMTR3L7TJ4SFYMKKMPUJ","target":"record","payload":{"canonical_record":{"source":{"id":"1603.01635","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-03-04T21:17:33Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"cb47fd7820f47f47fe1c127fef626afc8d6af62f9dd6a4ce052feac566737b7e","abstract_canon_sha256":"aebb5663c6144231b4e9c847e7c4fa891427ca987d35d664d91544b5a57238ce"},"schema_version":"1.0"},"canonical_sha256":"03684d34ec9c76bfcd3c9170c5298fa273832b9f9b13afcaba631bce55f65d7b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:55.425645Z","signature_b64":"nZAt+ybVg5TkBk8G2ur4AOSewFWcnYq88KTJLUfdNP+bZiCiKKIglB/Fk9HhQLV+ep+2F/VeGj3kCCbF0OH6Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"03684d34ec9c76bfcd3c9170c5298fa273832b9f9b13afcaba631bce55f65d7b","last_reissued_at":"2026-05-18T00:17:55.424988Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:55.424988Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.01635","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-05-18T00:17:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MrkFYABI87CQwrkJwzVhKsBKjU/2nGBWvlmxrWBio4HDe5IbBDTTj5rzpOX3lvvHtHqv8H9HuWNNfeoeT5KcAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:53:08.740471Z"},"content_sha256":"e13f4de1a751f54ad87c2882a6e49ca0f1ad858824a350a22d702ecb87c3efe9","schema_version":"1.0","event_id":"sha256:e13f4de1a751f54ad87c2882a6e49ca0f1ad858824a350a22d702ecb87c3efe9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ANUE2NHMTR3L7TJ4SFYMKKMPUJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verified compilation of space-efficient reversible circuits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.ET"],"primary_cat":"quant-ph","authors_text":"Krysta Svore, Martin Roetteler, Matthew Amy","submitted_at":"2016-03-04T21:17:33Z","abstract_excerpt":"The generation of reversible circuits from high-level code is an important problem in several application domains, including low-power electronics and quantum computing. Existing tools compile and optimize reversible circuits for various metrics, such as the overall circuit size or the total amount of space required to implement a given function reversibly. However, little effort has been spent on verifying the correctness of the results, an issue of particular importance in quantum computing. There, compilation allows not only mapping to hardware, but also the estimation of resources required"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.01635","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":""},"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-18T00:17:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kkGGh4y5cH7sQO863UrvAGfZVyflEwlIR3tob21IDVHswEJLhSANd4fA0fEYtSkE1HvtGD+ODnhKRGS3SPvNCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:53:08.741144Z"},"content_sha256":"dd4a2f831c930f125ba911784b02212417645d49f779bb8e05cb18509fc9ce12","schema_version":"1.0","event_id":"sha256:dd4a2f831c930f125ba911784b02212417645d49f779bb8e05cb18509fc9ce12"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ANUE2NHMTR3L7TJ4SFYMKKMPUJ/bundle.json","state_url":"https://pith.science/pith/ANUE2NHMTR3L7TJ4SFYMKKMPUJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ANUE2NHMTR3L7TJ4SFYMKKMPUJ/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-25T21:53:08Z","links":{"resolver":"https://pith.science/pith/ANUE2NHMTR3L7TJ4SFYMKKMPUJ","bundle":"https://pith.science/pith/ANUE2NHMTR3L7TJ4SFYMKKMPUJ/bundle.json","state":"https://pith.science/pith/ANUE2NHMTR3L7TJ4SFYMKKMPUJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ANUE2NHMTR3L7TJ4SFYMKKMPUJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ANUE2NHMTR3L7TJ4SFYMKKMPUJ","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":"aebb5663c6144231b4e9c847e7c4fa891427ca987d35d664d91544b5a57238ce","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-03-04T21:17:33Z","title_canon_sha256":"cb47fd7820f47f47fe1c127fef626afc8d6af62f9dd6a4ce052feac566737b7e"},"schema_version":"1.0","source":{"id":"1603.01635","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.01635","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"arxiv_version","alias_value":"1603.01635v2","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.01635","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"pith_short_12","alias_value":"ANUE2NHMTR3L","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"ANUE2NHMTR3L7TJ4","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"ANUE2NHM","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:dd4a2f831c930f125ba911784b02212417645d49f779bb8e05cb18509fc9ce12","target":"graph","created_at":"2026-05-18T00:17:55Z","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":"The generation of reversible circuits from high-level code is an important problem in several application domains, including low-power electronics and quantum computing. Existing tools compile and optimize reversible circuits for various metrics, such as the overall circuit size or the total amount of space required to implement a given function reversibly. However, little effort has been spent on verifying the correctness of the results, an issue of particular importance in quantum computing. There, compilation allows not only mapping to hardware, but also the estimation of resources required","authors_text":"Krysta Svore, Martin Roetteler, Matthew Amy","cross_cats":["cs.ET"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-03-04T21:17:33Z","title":"Verified compilation of space-efficient reversible circuits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.01635","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:e13f4de1a751f54ad87c2882a6e49ca0f1ad858824a350a22d702ecb87c3efe9","target":"record","created_at":"2026-05-18T00:17:55Z","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":"aebb5663c6144231b4e9c847e7c4fa891427ca987d35d664d91544b5a57238ce","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-03-04T21:17:33Z","title_canon_sha256":"cb47fd7820f47f47fe1c127fef626afc8d6af62f9dd6a4ce052feac566737b7e"},"schema_version":"1.0","source":{"id":"1603.01635","kind":"arxiv","version":2}},"canonical_sha256":"03684d34ec9c76bfcd3c9170c5298fa273832b9f9b13afcaba631bce55f65d7b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"03684d34ec9c76bfcd3c9170c5298fa273832b9f9b13afcaba631bce55f65d7b","first_computed_at":"2026-05-18T00:17:55.424988Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:55.424988Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nZAt+ybVg5TkBk8G2ur4AOSewFWcnYq88KTJLUfdNP+bZiCiKKIglB/Fk9HhQLV+ep+2F/VeGj3kCCbF0OH6Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:55.425645Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.01635","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e13f4de1a751f54ad87c2882a6e49ca0f1ad858824a350a22d702ecb87c3efe9","sha256:dd4a2f831c930f125ba911784b02212417645d49f779bb8e05cb18509fc9ce12"],"state_sha256":"c6ad613b38b57f43b3a4b71e45366c697b63e2c39eb28f6aa686f20087946ce2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7PYd/nXH+Ufi3OMz6NsCZeddjuQWtFjheu9Ot7p3yW2u+b8Xe8aI+gLVZYRuUrKyDffwfhyCIzVFbbfJAvPfAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T21:53:08.744631Z","bundle_sha256":"ee00ed17b75429f04876751f5696bc54883b16a269951134be5e584b1e027e18"}}