{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:Z2RD5IYGOFU7XU4QMZDLZXH3Y5","short_pith_number":"pith:Z2RD5IYG","canonical_record":{"source":{"id":"2312.15035","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-12-22T20:02:56Z","cross_cats_sorted":[],"title_canon_sha256":"8b67ddf299ced95843426fb90d4e8ed3f106189fcb4f4729f6d5a382ea3920a9","abstract_canon_sha256":"a3b3dd917a6d73b5a0be971f49e00f85ce2149dcabae7695735dcd857894f792"},"schema_version":"1.0"},"canonical_sha256":"cea23ea3067169fbd3906646bcdcfbc765bb5ce239dc50ce577cdbdbefe8afe4","source":{"kind":"arxiv","id":"2312.15035","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.15035","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"arxiv_version","alias_value":"2312.15035v1","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.15035","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"pith_short_12","alias_value":"Z2RD5IYGOFU7","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"Z2RD5IYGOFU7XU4Q","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"Z2RD5IYG","created_at":"2026-07-05T07:27:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:Z2RD5IYGOFU7XU4QMZDLZXH3Y5","target":"record","payload":{"canonical_record":{"source":{"id":"2312.15035","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-12-22T20:02:56Z","cross_cats_sorted":[],"title_canon_sha256":"8b67ddf299ced95843426fb90d4e8ed3f106189fcb4f4729f6d5a382ea3920a9","abstract_canon_sha256":"a3b3dd917a6d73b5a0be971f49e00f85ce2149dcabae7695735dcd857894f792"},"schema_version":"1.0"},"canonical_sha256":"cea23ea3067169fbd3906646bcdcfbc765bb5ce239dc50ce577cdbdbefe8afe4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:27:30.108748Z","signature_b64":"dtBMCsMp6jGUAmD+essk1XsQyYFFmAK0OmBZlv1G24HrIfHbpFzuyprRVtIPZVRUvP4ezqZKYJQQzihS5/M/Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cea23ea3067169fbd3906646bcdcfbc765bb5ce239dc50ce577cdbdbefe8afe4","last_reissued_at":"2026-07-05T07:27:30.108227Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:27:30.108227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.15035","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-05T07:27:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VzGSYXiIIPfUupouK/xueFeTfngVjU4fm5E8DVzf//TINQN295TeIZeOLykr+KzXU81HZeIKw1yogXzNw1M8Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:47:44.262738Z"},"content_sha256":"1c9bf51cc9751c423e4133a092c0369f5c5f37218ffe433e7589287911594c98","schema_version":"1.0","event_id":"sha256:1c9bf51cc9751c423e4133a092c0369f5c5f37218ffe433e7589287911594c98"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:Z2RD5IYGOFU7XU4QMZDLZXH3Y5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Andy Ray, Benjamin Devlin, Fu Yong Quah, Rahul Yesantharao","submitted_at":"2023-12-22T20:02:56Z","abstract_excerpt":"This paper introduces Hardcaml, an embedded hardware design domain specific language (DSL) implemented in the OCaml programming language. Unlike high level synthesis (HLS), Hardcaml allows for low level control of the underlying hardware for maximum productivity, while abstracting away many of the tedious aspects of traditional hardware definition languages (HDLs) such as Verilog or VHDL. The richness of OCaml's type system combined with Hardcaml's fast circuit elaboration checks reduces the chance of user-introduced bugs and erroneous connections with features like custom type defining, type-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.15035","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/2312.15035/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-05T07:27:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xqByYK93iW6PBmWXR9NOauIJMtwfLg6BfmouPd6I90ntK4pL+bbNHYrEKMJSQr5y2X5rSVURzfXUVUyZowXdAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:47:44.263257Z"},"content_sha256":"5b8a6ef5c5eaa0a6916dfc4c431c0a05fb356496a45e0171fcf0e0c1c0696689","schema_version":"1.0","event_id":"sha256:5b8a6ef5c5eaa0a6916dfc4c431c0a05fb356496a45e0171fcf0e0c1c0696689"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z2RD5IYGOFU7XU4QMZDLZXH3Y5/bundle.json","state_url":"https://pith.science/pith/Z2RD5IYGOFU7XU4QMZDLZXH3Y5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z2RD5IYGOFU7XU4QMZDLZXH3Y5/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-10T08:47:44Z","links":{"resolver":"https://pith.science/pith/Z2RD5IYGOFU7XU4QMZDLZXH3Y5","bundle":"https://pith.science/pith/Z2RD5IYGOFU7XU4QMZDLZXH3Y5/bundle.json","state":"https://pith.science/pith/Z2RD5IYGOFU7XU4QMZDLZXH3Y5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z2RD5IYGOFU7XU4QMZDLZXH3Y5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:Z2RD5IYGOFU7XU4QMZDLZXH3Y5","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":"a3b3dd917a6d73b5a0be971f49e00f85ce2149dcabae7695735dcd857894f792","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-12-22T20:02:56Z","title_canon_sha256":"8b67ddf299ced95843426fb90d4e8ed3f106189fcb4f4729f6d5a382ea3920a9"},"schema_version":"1.0","source":{"id":"2312.15035","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.15035","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"arxiv_version","alias_value":"2312.15035v1","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.15035","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"pith_short_12","alias_value":"Z2RD5IYGOFU7","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"Z2RD5IYGOFU7XU4Q","created_at":"2026-07-05T07:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"Z2RD5IYG","created_at":"2026-07-05T07:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:5b8a6ef5c5eaa0a6916dfc4c431c0a05fb356496a45e0171fcf0e0c1c0696689","target":"graph","created_at":"2026-07-05T07:27:30Z","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/2312.15035/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces Hardcaml, an embedded hardware design domain specific language (DSL) implemented in the OCaml programming language. Unlike high level synthesis (HLS), Hardcaml allows for low level control of the underlying hardware for maximum productivity, while abstracting away many of the tedious aspects of traditional hardware definition languages (HDLs) such as Verilog or VHDL. The richness of OCaml's type system combined with Hardcaml's fast circuit elaboration checks reduces the chance of user-introduced bugs and erroneous connections with features like custom type defining, type-","authors_text":"Andy Ray, Benjamin Devlin, Fu Yong Quah, Rahul Yesantharao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-12-22T20:02:56Z","title":"Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.15035","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:1c9bf51cc9751c423e4133a092c0369f5c5f37218ffe433e7589287911594c98","target":"record","created_at":"2026-07-05T07:27:30Z","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":"a3b3dd917a6d73b5a0be971f49e00f85ce2149dcabae7695735dcd857894f792","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-12-22T20:02:56Z","title_canon_sha256":"8b67ddf299ced95843426fb90d4e8ed3f106189fcb4f4729f6d5a382ea3920a9"},"schema_version":"1.0","source":{"id":"2312.15035","kind":"arxiv","version":1}},"canonical_sha256":"cea23ea3067169fbd3906646bcdcfbc765bb5ce239dc50ce577cdbdbefe8afe4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cea23ea3067169fbd3906646bcdcfbc765bb5ce239dc50ce577cdbdbefe8afe4","first_computed_at":"2026-07-05T07:27:30.108227Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:27:30.108227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dtBMCsMp6jGUAmD+essk1XsQyYFFmAK0OmBZlv1G24HrIfHbpFzuyprRVtIPZVRUvP4ezqZKYJQQzihS5/M/Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:27:30.108748Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.15035","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1c9bf51cc9751c423e4133a092c0369f5c5f37218ffe433e7589287911594c98","sha256:5b8a6ef5c5eaa0a6916dfc4c431c0a05fb356496a45e0171fcf0e0c1c0696689"],"state_sha256":"369360dc8c71208f3039fd03f5c0238c4a5f2faf2b65fd28a630f0b1a45503b7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jyx97BIYCfdZup2p9gXIBkN1y9VDMLWWE1f17iMhENk2asQ5HUK69BwV21A4g8od8r3nsN8kVr9/PNKtkQCMDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T08:47:44.269053Z","bundle_sha256":"3f9aa3bca4dbb2a04825406f5e41e0ae3f4113dae986ccc8de8e230b57073fb5"}}