{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:VH26WGZY5ESMUYAGR32CRFYDX2","short_pith_number":"pith:VH26WGZY","canonical_record":{"source":{"id":"2406.17455","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-06-25T10:49:54Z","cross_cats_sorted":["cs.FL","cs.SE"],"title_canon_sha256":"e057ccb989e5eb50e92dd549daf5198b9f6502b923d88b6ac4ce50b0199b4935","abstract_canon_sha256":"5dc5076ce4c731d8425f390c9057c29dc25321321e09d97cb8d8bdef33ed136d"},"schema_version":"1.0"},"canonical_sha256":"a9f5eb1b38e924ca60068ef4289703be91b83b09a205a7030496964972ea1f8e","source":{"kind":"arxiv","id":"2406.17455","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.17455","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"arxiv_version","alias_value":"2406.17455v2","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.17455","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"pith_short_12","alias_value":"VH26WGZY5ESM","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"pith_short_16","alias_value":"VH26WGZY5ESMUYAG","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"pith_short_8","alias_value":"VH26WGZY","created_at":"2026-07-05T09:21:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:VH26WGZY5ESMUYAGR32CRFYDX2","target":"record","payload":{"canonical_record":{"source":{"id":"2406.17455","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-06-25T10:49:54Z","cross_cats_sorted":["cs.FL","cs.SE"],"title_canon_sha256":"e057ccb989e5eb50e92dd549daf5198b9f6502b923d88b6ac4ce50b0199b4935","abstract_canon_sha256":"5dc5076ce4c731d8425f390c9057c29dc25321321e09d97cb8d8bdef33ed136d"},"schema_version":"1.0"},"canonical_sha256":"a9f5eb1b38e924ca60068ef4289703be91b83b09a205a7030496964972ea1f8e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:21:27.338842Z","signature_b64":"/LDR0TAHo2BDoPMa7ca8dVoBxKc9l3tQtvm5I8QW7TCJ58jGVaavw2b0zCKYL95VwepcF9v2UPnO6JKYmAHBCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a9f5eb1b38e924ca60068ef4289703be91b83b09a205a7030496964972ea1f8e","last_reissued_at":"2026-07-05T09:21:27.338325Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:21:27.338325Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.17455","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-05T09:21:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oxZGEjXox9ynux+jX/guQQqPdYdb8hHU5muCgFHss9+5hPxiCjz7tP5BtsEU3rA5wfPkASlOvWqMcaecZSrZBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T05:44:42.983459Z"},"content_sha256":"556800ed381e1177d9854a1611140d15e9435feb5db1e81ecf64caba3ab50768","schema_version":"1.0","event_id":"sha256:556800ed381e1177d9854a1611140d15e9435feb5db1e81ecf64caba3ab50768"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:VH26WGZY5ESMUYAGR32CRFYDX2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Smart Casual Verification of the Confidential Consortium Framework","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL","cs.SE"],"primary_cat":"cs.DC","authors_text":"Amaury Chamayou, Edward Ashton, Heidi Howard, Markus A. Kuppe, Natacha Crooks","submitted_at":"2024-06-25T10:49:54Z","abstract_excerpt":"The Confidential Consortium Framework (CCF) is an open-source platform for developing trustworthy and reliable cloud applications. CCF powers Microsoft's Azure Confidential Ledger service and as such it is vital to build confidence in the correctness of CCF's design and implementation. This paper reports our experiences applying smart casual verification to validate the correctness of CCF's novel distributed protocols, focusing on its unique distributed consensus protocol and its custom client consistency model. We use the term smart casual verification to describe our hybrid approach, which c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.17455","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/2406.17455/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-05T09:21:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5aDLhIpyd+3cevRGOBmITe+3B8I+arALkOHpQwI80R8zLxISpFaLpieNgIfIjGSG8fus9n7UR3Mx7aZqQxsPCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T05:44:42.984311Z"},"content_sha256":"2af877db0d8feee6c6447149a5b32e54905226cbfd9f55088b477bbbc2678f42","schema_version":"1.0","event_id":"sha256:2af877db0d8feee6c6447149a5b32e54905226cbfd9f55088b477bbbc2678f42"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VH26WGZY5ESMUYAGR32CRFYDX2/bundle.json","state_url":"https://pith.science/pith/VH26WGZY5ESMUYAGR32CRFYDX2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VH26WGZY5ESMUYAGR32CRFYDX2/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-19T05:44:42Z","links":{"resolver":"https://pith.science/pith/VH26WGZY5ESMUYAGR32CRFYDX2","bundle":"https://pith.science/pith/VH26WGZY5ESMUYAGR32CRFYDX2/bundle.json","state":"https://pith.science/pith/VH26WGZY5ESMUYAGR32CRFYDX2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VH26WGZY5ESMUYAGR32CRFYDX2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:VH26WGZY5ESMUYAGR32CRFYDX2","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":"5dc5076ce4c731d8425f390c9057c29dc25321321e09d97cb8d8bdef33ed136d","cross_cats_sorted":["cs.FL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-06-25T10:49:54Z","title_canon_sha256":"e057ccb989e5eb50e92dd549daf5198b9f6502b923d88b6ac4ce50b0199b4935"},"schema_version":"1.0","source":{"id":"2406.17455","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.17455","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"arxiv_version","alias_value":"2406.17455v2","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.17455","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"pith_short_12","alias_value":"VH26WGZY5ESM","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"pith_short_16","alias_value":"VH26WGZY5ESMUYAG","created_at":"2026-07-05T09:21:27Z"},{"alias_kind":"pith_short_8","alias_value":"VH26WGZY","created_at":"2026-07-05T09:21:27Z"}],"graph_snapshots":[{"event_id":"sha256:2af877db0d8feee6c6447149a5b32e54905226cbfd9f55088b477bbbc2678f42","target":"graph","created_at":"2026-07-05T09:21:27Z","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/2406.17455/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Confidential Consortium Framework (CCF) is an open-source platform for developing trustworthy and reliable cloud applications. CCF powers Microsoft's Azure Confidential Ledger service and as such it is vital to build confidence in the correctness of CCF's design and implementation. This paper reports our experiences applying smart casual verification to validate the correctness of CCF's novel distributed protocols, focusing on its unique distributed consensus protocol and its custom client consistency model. We use the term smart casual verification to describe our hybrid approach, which c","authors_text":"Amaury Chamayou, Edward Ashton, Heidi Howard, Markus A. Kuppe, Natacha Crooks","cross_cats":["cs.FL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-06-25T10:49:54Z","title":"Smart Casual Verification of the Confidential Consortium Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.17455","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:556800ed381e1177d9854a1611140d15e9435feb5db1e81ecf64caba3ab50768","target":"record","created_at":"2026-07-05T09:21:27Z","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":"5dc5076ce4c731d8425f390c9057c29dc25321321e09d97cb8d8bdef33ed136d","cross_cats_sorted":["cs.FL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-06-25T10:49:54Z","title_canon_sha256":"e057ccb989e5eb50e92dd549daf5198b9f6502b923d88b6ac4ce50b0199b4935"},"schema_version":"1.0","source":{"id":"2406.17455","kind":"arxiv","version":2}},"canonical_sha256":"a9f5eb1b38e924ca60068ef4289703be91b83b09a205a7030496964972ea1f8e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a9f5eb1b38e924ca60068ef4289703be91b83b09a205a7030496964972ea1f8e","first_computed_at":"2026-07-05T09:21:27.338325Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:21:27.338325Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/LDR0TAHo2BDoPMa7ca8dVoBxKc9l3tQtvm5I8QW7TCJ58jGVaavw2b0zCKYL95VwepcF9v2UPnO6JKYmAHBCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:21:27.338842Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.17455","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:556800ed381e1177d9854a1611140d15e9435feb5db1e81ecf64caba3ab50768","sha256:2af877db0d8feee6c6447149a5b32e54905226cbfd9f55088b477bbbc2678f42"],"state_sha256":"f139874942b7fd7b55dcdbba169b83f519e57120f8ee7d1142dac42ed4c609d4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mBZOpPC4T4VzlzygGvjmm+5X5sbE+Eig0lZ1h46R0Lg1ul/ISCrjCeWLAWwlUMaMIwBFuUlQYHlxRYQH5hBBCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T05:44:42.990977Z","bundle_sha256":"a64ae8bd79e96bcb3241a437eb7613e9ab7b8b32d7cfe809c6c616bb616bd433"}}