{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:NESODCQC4VV2CF3Q3G6AWCQRPO","short_pith_number":"pith:NESODCQC","canonical_record":{"source":{"id":"2103.08805","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-03-16T02:11:43Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"07c08df4c0d5c6852fe4f0914bf182522c55ec66ba5106ea96e4a343fdf100d7","abstract_canon_sha256":"22d1f6b11fe394351c75cf2df2b778ce40c8acc07fe52bd1c92803fcf7be6b18"},"schema_version":"1.0"},"canonical_sha256":"6924e18a02e56ba11770d9bc0b0a117bbaf3e8497c4e3b7e8f5fb7fbae00e8c7","source":{"kind":"arxiv","id":"2103.08805","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.08805","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"arxiv_version","alias_value":"2103.08805v1","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.08805","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"pith_short_12","alias_value":"NESODCQC4VV2","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"pith_short_16","alias_value":"NESODCQC4VV2CF3Q","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"pith_short_8","alias_value":"NESODCQC","created_at":"2026-07-05T02:23:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:NESODCQC4VV2CF3Q3G6AWCQRPO","target":"record","payload":{"canonical_record":{"source":{"id":"2103.08805","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-03-16T02:11:43Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"07c08df4c0d5c6852fe4f0914bf182522c55ec66ba5106ea96e4a343fdf100d7","abstract_canon_sha256":"22d1f6b11fe394351c75cf2df2b778ce40c8acc07fe52bd1c92803fcf7be6b18"},"schema_version":"1.0"},"canonical_sha256":"6924e18a02e56ba11770d9bc0b0a117bbaf3e8497c4e3b7e8f5fb7fbae00e8c7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:23:31.721037Z","signature_b64":"D01FapvPVHjFzGuAa8+lB3IOBTIORdIhyy6ZiGSXvoIEd7zQjOBtEsoZ5m8Ywt97WB06P+635aqTZJvCkZU8AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6924e18a02e56ba11770d9bc0b0a117bbaf3e8497c4e3b7e8f5fb7fbae00e8c7","last_reissued_at":"2026-07-05T02:23:31.720684Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:23:31.720684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.08805","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-07-05T02:23:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4EGZHu9N2ancm7nRG+LHalaqkFnrRmTdDdWVokYA5b1Ugb3gF7rnlK9nmxrqZk6QZoxgf0HYPySf/PRkHFkRAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T21:16:40.074032Z"},"content_sha256":"d60f5484ad81d11233f79c4f8e2580b2d4f1c975cc6d11dba5695b2ed2e18017","schema_version":"1.0","event_id":"sha256:d60f5484ad81d11233f79c4f8e2580b2d4f1c975cc6d11dba5695b2ed2e18017"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:NESODCQC4VV2CF3Q3G6AWCQRPO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DDUO: General-Purpose Dynamic Analysis for Differential Privacy","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Alex Silence, Chike Abuah, David Darais, Joe Near","submitted_at":"2021-03-16T02:11:43Z","abstract_excerpt":"Differential privacy enables general statistical analysis of data with formal guarantees of privacy protection at the individual level. Tools that assist data analysts with utilizing differential privacy have frequently taken the form of programming languages and libraries. However, many existing programming languages designed for compositional verification of differential privacy impose significant burden on the programmer (in the form of complex type annotations). Supplementary library support for privacy analysis built on top of existing general-purpose languages has been more usable, but i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.08805","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2103.08805/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-05T02:23:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lpvVWxfY/zS2mjBtHRAMsRE8MuESUSNOB3vPmhdUKkoRJipLOFbWoIXgdJ4I3GXmddJD3psWEXZjuaqJpmD6AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T21:16:40.074560Z"},"content_sha256":"98242b731f87db346ccc0f094fb8ad63631e05959efcb8da48fb142293adbafb","schema_version":"1.0","event_id":"sha256:98242b731f87db346ccc0f094fb8ad63631e05959efcb8da48fb142293adbafb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NESODCQC4VV2CF3Q3G6AWCQRPO/bundle.json","state_url":"https://pith.science/pith/NESODCQC4VV2CF3Q3G6AWCQRPO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NESODCQC4VV2CF3Q3G6AWCQRPO/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-23T21:16:40Z","links":{"resolver":"https://pith.science/pith/NESODCQC4VV2CF3Q3G6AWCQRPO","bundle":"https://pith.science/pith/NESODCQC4VV2CF3Q3G6AWCQRPO/bundle.json","state":"https://pith.science/pith/NESODCQC4VV2CF3Q3G6AWCQRPO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NESODCQC4VV2CF3Q3G6AWCQRPO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:NESODCQC4VV2CF3Q3G6AWCQRPO","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":"22d1f6b11fe394351c75cf2df2b778ce40c8acc07fe52bd1c92803fcf7be6b18","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-03-16T02:11:43Z","title_canon_sha256":"07c08df4c0d5c6852fe4f0914bf182522c55ec66ba5106ea96e4a343fdf100d7"},"schema_version":"1.0","source":{"id":"2103.08805","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.08805","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"arxiv_version","alias_value":"2103.08805v1","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.08805","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"pith_short_12","alias_value":"NESODCQC4VV2","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"pith_short_16","alias_value":"NESODCQC4VV2CF3Q","created_at":"2026-07-05T02:23:31Z"},{"alias_kind":"pith_short_8","alias_value":"NESODCQC","created_at":"2026-07-05T02:23:31Z"}],"graph_snapshots":[{"event_id":"sha256:98242b731f87db346ccc0f094fb8ad63631e05959efcb8da48fb142293adbafb","target":"graph","created_at":"2026-07-05T02:23: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/2103.08805/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Differential privacy enables general statistical analysis of data with formal guarantees of privacy protection at the individual level. Tools that assist data analysts with utilizing differential privacy have frequently taken the form of programming languages and libraries. However, many existing programming languages designed for compositional verification of differential privacy impose significant burden on the programmer (in the form of complex type annotations). Supplementary library support for privacy analysis built on top of existing general-purpose languages has been more usable, but i","authors_text":"Alex Silence, Chike Abuah, David Darais, Joe Near","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-03-16T02:11:43Z","title":"DDUO: General-Purpose Dynamic Analysis for Differential Privacy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.08805","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:d60f5484ad81d11233f79c4f8e2580b2d4f1c975cc6d11dba5695b2ed2e18017","target":"record","created_at":"2026-07-05T02:23: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":"22d1f6b11fe394351c75cf2df2b778ce40c8acc07fe52bd1c92803fcf7be6b18","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-03-16T02:11:43Z","title_canon_sha256":"07c08df4c0d5c6852fe4f0914bf182522c55ec66ba5106ea96e4a343fdf100d7"},"schema_version":"1.0","source":{"id":"2103.08805","kind":"arxiv","version":1}},"canonical_sha256":"6924e18a02e56ba11770d9bc0b0a117bbaf3e8497c4e3b7e8f5fb7fbae00e8c7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6924e18a02e56ba11770d9bc0b0a117bbaf3e8497c4e3b7e8f5fb7fbae00e8c7","first_computed_at":"2026-07-05T02:23:31.720684Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:23:31.720684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D01FapvPVHjFzGuAa8+lB3IOBTIORdIhyy6ZiGSXvoIEd7zQjOBtEsoZ5m8Ywt97WB06P+635aqTZJvCkZU8AA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:23:31.721037Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.08805","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d60f5484ad81d11233f79c4f8e2580b2d4f1c975cc6d11dba5695b2ed2e18017","sha256:98242b731f87db346ccc0f094fb8ad63631e05959efcb8da48fb142293adbafb"],"state_sha256":"6b6296986348a3adb7f29627fa06d57bd64914d0d1bd963a6254cd8fde72dc0f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LUG96GdZfzXTP2L41CnZdWTzUOX+FvsEQC0JujSLTmA45KT0eXKG2GszOpbSMFwOiY0ne44sjxaPqRw3UjQlAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T21:16:40.079551Z","bundle_sha256":"9e76345e6e60700f7ab5b157d6acf52969eaea5ed767de3ae972f0cf70f727a3"}}