{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:ZTO26W4VVAMCH34J5QUFCVNAMY","short_pith_number":"pith:ZTO26W4V","canonical_record":{"source":{"id":"2305.00039","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-03-22T11:15:27Z","cross_cats_sorted":[],"title_canon_sha256":"3129d9d77b13abd3a34319f6b21bc948aa8f217d6161d19f77e4e7ec08cfa3c0","abstract_canon_sha256":"424165288dc972433f8022d35b213168066202192f25da17aabdf985d9d06287"},"schema_version":"1.0"},"canonical_sha256":"ccddaf5b95a81823ef89ec285155a0660e19ff86736a8557de419335ddbf5f81","source":{"kind":"arxiv","id":"2305.00039","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.00039","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"arxiv_version","alias_value":"2305.00039v1","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.00039","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"pith_short_12","alias_value":"ZTO26W4VVAMC","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"pith_short_16","alias_value":"ZTO26W4VVAMCH34J","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"pith_short_8","alias_value":"ZTO26W4V","created_at":"2026-07-05T06:05:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:ZTO26W4VVAMCH34J5QUFCVNAMY","target":"record","payload":{"canonical_record":{"source":{"id":"2305.00039","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-03-22T11:15:27Z","cross_cats_sorted":[],"title_canon_sha256":"3129d9d77b13abd3a34319f6b21bc948aa8f217d6161d19f77e4e7ec08cfa3c0","abstract_canon_sha256":"424165288dc972433f8022d35b213168066202192f25da17aabdf985d9d06287"},"schema_version":"1.0"},"canonical_sha256":"ccddaf5b95a81823ef89ec285155a0660e19ff86736a8557de419335ddbf5f81","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:05:36.756195Z","signature_b64":"pMYynxcu7PNPsBYxb0sC77KHGygM+bF/XZwJfHwF68YEEnJhN70zaeQ+ksxihFHfydRUq9/cxKtcgvkM7k3DCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ccddaf5b95a81823ef89ec285155a0660e19ff86736a8557de419335ddbf5f81","last_reissued_at":"2026-07-05T06:05:36.755745Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:05:36.755745Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.00039","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-05T06:05:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J9OHc3FcP17Pze3nOJN568NlmwRA/F4YRZSL5GHbc5aprdkwjSWdS8HRamtE3gGnUVTsTbPSdLt5HLxUpwVaBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T19:52:55.491639Z"},"content_sha256":"d623396ac07d16a507bc3bedf25e4532ad75b2360e88b6306937e7fe401fb6cc","schema_version":"1.0","event_id":"sha256:d623396ac07d16a507bc3bedf25e4532ad75b2360e88b6306937e7fe401fb6cc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:ZTO26W4VVAMCH34J5QUFCVNAMY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Franco Fummi, Luca Geretti, Luigi Capogrosso, Marco Cristani, Tiziano Villa","submitted_at":"2023-03-22T11:15:27Z","abstract_excerpt":"BDDs are representations of a Boolean expression in the form of a directed acyclic graph. BDDs are widely used in several fields, particularly in model checking and hardware verification. There are several implementations for BDD manipulation, where each package differs depending on the application. This paper presents HermesBDD: a novel multi-core and multi-platform binary decision diagram package focused on high performance and usability. HermesBDD supports a static and dynamic memory management mechanism, the possibility to exploit lock-free hash tables, and a simple parallel implementation"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.00039","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/2305.00039/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-05T06:05:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b3U6JC0C1byfooOl9zswpFlal8ZpPi4tQe/oEbMFI/oPvbczfkZsyzS8YdXbxyMQwzDBYapJTwP6GJYmSyMmAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T19:52:55.492104Z"},"content_sha256":"caacc4e5b7f50c52bc46b7bb3598eb06a96382cd6ba58891cd42a2063401dd4b","schema_version":"1.0","event_id":"sha256:caacc4e5b7f50c52bc46b7bb3598eb06a96382cd6ba58891cd42a2063401dd4b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZTO26W4VVAMCH34J5QUFCVNAMY/bundle.json","state_url":"https://pith.science/pith/ZTO26W4VVAMCH34J5QUFCVNAMY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZTO26W4VVAMCH34J5QUFCVNAMY/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-07T19:52:55Z","links":{"resolver":"https://pith.science/pith/ZTO26W4VVAMCH34J5QUFCVNAMY","bundle":"https://pith.science/pith/ZTO26W4VVAMCH34J5QUFCVNAMY/bundle.json","state":"https://pith.science/pith/ZTO26W4VVAMCH34J5QUFCVNAMY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZTO26W4VVAMCH34J5QUFCVNAMY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ZTO26W4VVAMCH34J5QUFCVNAMY","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":"424165288dc972433f8022d35b213168066202192f25da17aabdf985d9d06287","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-03-22T11:15:27Z","title_canon_sha256":"3129d9d77b13abd3a34319f6b21bc948aa8f217d6161d19f77e4e7ec08cfa3c0"},"schema_version":"1.0","source":{"id":"2305.00039","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.00039","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"arxiv_version","alias_value":"2305.00039v1","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.00039","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"pith_short_12","alias_value":"ZTO26W4VVAMC","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"pith_short_16","alias_value":"ZTO26W4VVAMCH34J","created_at":"2026-07-05T06:05:36Z"},{"alias_kind":"pith_short_8","alias_value":"ZTO26W4V","created_at":"2026-07-05T06:05:36Z"}],"graph_snapshots":[{"event_id":"sha256:caacc4e5b7f50c52bc46b7bb3598eb06a96382cd6ba58891cd42a2063401dd4b","target":"graph","created_at":"2026-07-05T06:05:36Z","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/2305.00039/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"BDDs are representations of a Boolean expression in the form of a directed acyclic graph. BDDs are widely used in several fields, particularly in model checking and hardware verification. There are several implementations for BDD manipulation, where each package differs depending on the application. This paper presents HermesBDD: a novel multi-core and multi-platform binary decision diagram package focused on high performance and usability. HermesBDD supports a static and dynamic memory management mechanism, the possibility to exploit lock-free hash tables, and a simple parallel implementation","authors_text":"Franco Fummi, Luca Geretti, Luigi Capogrosso, Marco Cristani, Tiziano Villa","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-03-22T11:15:27Z","title":"HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.00039","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:d623396ac07d16a507bc3bedf25e4532ad75b2360e88b6306937e7fe401fb6cc","target":"record","created_at":"2026-07-05T06:05:36Z","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":"424165288dc972433f8022d35b213168066202192f25da17aabdf985d9d06287","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-03-22T11:15:27Z","title_canon_sha256":"3129d9d77b13abd3a34319f6b21bc948aa8f217d6161d19f77e4e7ec08cfa3c0"},"schema_version":"1.0","source":{"id":"2305.00039","kind":"arxiv","version":1}},"canonical_sha256":"ccddaf5b95a81823ef89ec285155a0660e19ff86736a8557de419335ddbf5f81","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ccddaf5b95a81823ef89ec285155a0660e19ff86736a8557de419335ddbf5f81","first_computed_at":"2026-07-05T06:05:36.755745Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:05:36.755745Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pMYynxcu7PNPsBYxb0sC77KHGygM+bF/XZwJfHwF68YEEnJhN70zaeQ+ksxihFHfydRUq9/cxKtcgvkM7k3DCA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:05:36.756195Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.00039","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d623396ac07d16a507bc3bedf25e4532ad75b2360e88b6306937e7fe401fb6cc","sha256:caacc4e5b7f50c52bc46b7bb3598eb06a96382cd6ba58891cd42a2063401dd4b"],"state_sha256":"34ad422c04e1b25d4c236745cc1745b1b401760c39b8e08fa6b4960c6bf4867d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/ZeOpMPtCO7Okb2+XHuQ/g1jEa+ov+XF7znOlrcJ4pMSuKEYjpboLe0H8z0cg6uwgJJwu6hPn5rbo6j3s77rCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T19:52:55.496295Z","bundle_sha256":"57b95ef03fd7a8301c42af347f7068c72ed17b110f44b66020556b2619915b59"}}