{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:B4W6JAGXAKLXSLAHCOKZ4JO5A7","short_pith_number":"pith:B4W6JAGX","canonical_record":{"source":{"id":"1105.1424","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2011-05-07T08:21:31Z","cross_cats_sorted":["q-bio.OT"],"title_canon_sha256":"89847a6ebda44332a416c21b584b00095225be7c3d6b4fc4c25ae62138265bd8","abstract_canon_sha256":"5a5dc00529fc71165ffca0e7b55e7f45a1a326cbc6c8ad697a3101448d72604c"},"schema_version":"1.0"},"canonical_sha256":"0f2de480d70297792c0713959e25dd07f7231b87669db001be56cadddb7d99f8","source":{"kind":"arxiv","id":"1105.1424","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.1424","created_at":"2026-05-18T04:22:39Z"},{"alias_kind":"arxiv_version","alias_value":"1105.1424v1","created_at":"2026-05-18T04:22:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.1424","created_at":"2026-05-18T04:22:39Z"},{"alias_kind":"pith_short_12","alias_value":"B4W6JAGXAKLX","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"B4W6JAGXAKLXSLAH","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"B4W6JAGX","created_at":"2026-05-18T12:26:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:B4W6JAGXAKLXSLAHCOKZ4JO5A7","target":"record","payload":{"canonical_record":{"source":{"id":"1105.1424","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2011-05-07T08:21:31Z","cross_cats_sorted":["q-bio.OT"],"title_canon_sha256":"89847a6ebda44332a416c21b584b00095225be7c3d6b4fc4c25ae62138265bd8","abstract_canon_sha256":"5a5dc00529fc71165ffca0e7b55e7f45a1a326cbc6c8ad697a3101448d72604c"},"schema_version":"1.0"},"canonical_sha256":"0f2de480d70297792c0713959e25dd07f7231b87669db001be56cadddb7d99f8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:22:39.462766Z","signature_b64":"HYRsxTLzuBLlayitenMzQY1nGUmUKeQnQ1OJpHUGAbn0f4qyZNs46mgUMZ8uQKQfOoNWHGG2lcvJGJcKyADfDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0f2de480d70297792c0713959e25dd07f7231b87669db001be56cadddb7d99f8","last_reissued_at":"2026-05-18T04:22:39.462216Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:22:39.462216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1105.1424","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-05-18T04:22:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NHgMX+G9q6rtGJhAVKQI/iKd6x8UYP4TS0t7uU1up2TgmnBk5CBsxcoJUf1Ejt46lFFO41qO/Vxcux6tg4dVCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T01:25:56.483725Z"},"content_sha256":"1fd0eb121fdc70d0028a74ee3ee09289336c81d12597bfc1e0a0b303df9ee0ae","schema_version":"1.0","event_id":"sha256:1fd0eb121fdc70d0028a74ee3ee09289336c81d12597bfc1e0a0b303df9ee0ae"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:B4W6JAGXAKLXSLAHCOKZ4JO5A7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.OT"],"primary_cat":"cs.ET","authors_text":"Maurice Margenstern, Pascal Mayer, Sergey Verlan","submitted_at":"2011-05-07T08:21:31Z","abstract_excerpt":"In this paper, we first describe the isothermal constrained loop extension DNA amplification (ICLEDA), which is a new variant of amplification combining the advantages of rolling circle amplification (RCA) and of strand displacement amplification (SDA). Then, we formalize this process in terms of the theory of formal languages and show, on the basis of this formulation, how to manage OR and AND gates. We then explain how to introduce negation, which allows us to prove that, in principle, it is possible to implement the computation of any boolean function on DNA strands using ICLEDA."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.1424","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":""},"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-18T04:22:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5tpF+bJLzbvJfgVwPq/mnq27c5NDLmtcfnsTxbxCAJOD2zIxrHTMTjuiJj6rdH5zQze0h8X4B5+IR3inkNS1Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T01:25:56.484341Z"},"content_sha256":"f5f10ea4ef60cc2dcc2f2fed574fe9cbf1e8dee490861dd3a177254f76e6db31","schema_version":"1.0","event_id":"sha256:f5f10ea4ef60cc2dcc2f2fed574fe9cbf1e8dee490861dd3a177254f76e6db31"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B4W6JAGXAKLXSLAHCOKZ4JO5A7/bundle.json","state_url":"https://pith.science/pith/B4W6JAGXAKLXSLAHCOKZ4JO5A7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B4W6JAGXAKLXSLAHCOKZ4JO5A7/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-06-08T01:25:56Z","links":{"resolver":"https://pith.science/pith/B4W6JAGXAKLXSLAHCOKZ4JO5A7","bundle":"https://pith.science/pith/B4W6JAGXAKLXSLAHCOKZ4JO5A7/bundle.json","state":"https://pith.science/pith/B4W6JAGXAKLXSLAHCOKZ4JO5A7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B4W6JAGXAKLXSLAHCOKZ4JO5A7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:B4W6JAGXAKLXSLAHCOKZ4JO5A7","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":"5a5dc00529fc71165ffca0e7b55e7f45a1a326cbc6c8ad697a3101448d72604c","cross_cats_sorted":["q-bio.OT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2011-05-07T08:21:31Z","title_canon_sha256":"89847a6ebda44332a416c21b584b00095225be7c3d6b4fc4c25ae62138265bd8"},"schema_version":"1.0","source":{"id":"1105.1424","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.1424","created_at":"2026-05-18T04:22:39Z"},{"alias_kind":"arxiv_version","alias_value":"1105.1424v1","created_at":"2026-05-18T04:22:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.1424","created_at":"2026-05-18T04:22:39Z"},{"alias_kind":"pith_short_12","alias_value":"B4W6JAGXAKLX","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"B4W6JAGXAKLXSLAH","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"B4W6JAGX","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:f5f10ea4ef60cc2dcc2f2fed574fe9cbf1e8dee490861dd3a177254f76e6db31","target":"graph","created_at":"2026-05-18T04:22:39Z","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":"In this paper, we first describe the isothermal constrained loop extension DNA amplification (ICLEDA), which is a new variant of amplification combining the advantages of rolling circle amplification (RCA) and of strand displacement amplification (SDA). Then, we formalize this process in terms of the theory of formal languages and show, on the basis of this formulation, how to manage OR and AND gates. We then explain how to introduce negation, which allows us to prove that, in principle, it is possible to implement the computation of any boolean function on DNA strands using ICLEDA.","authors_text":"Maurice Margenstern, Pascal Mayer, Sergey Verlan","cross_cats":["q-bio.OT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2011-05-07T08:21:31Z","title":"DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.1424","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:1fd0eb121fdc70d0028a74ee3ee09289336c81d12597bfc1e0a0b303df9ee0ae","target":"record","created_at":"2026-05-18T04:22:39Z","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":"5a5dc00529fc71165ffca0e7b55e7f45a1a326cbc6c8ad697a3101448d72604c","cross_cats_sorted":["q-bio.OT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2011-05-07T08:21:31Z","title_canon_sha256":"89847a6ebda44332a416c21b584b00095225be7c3d6b4fc4c25ae62138265bd8"},"schema_version":"1.0","source":{"id":"1105.1424","kind":"arxiv","version":1}},"canonical_sha256":"0f2de480d70297792c0713959e25dd07f7231b87669db001be56cadddb7d99f8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0f2de480d70297792c0713959e25dd07f7231b87669db001be56cadddb7d99f8","first_computed_at":"2026-05-18T04:22:39.462216Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:22:39.462216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HYRsxTLzuBLlayitenMzQY1nGUmUKeQnQ1OJpHUGAbn0f4qyZNs46mgUMZ8uQKQfOoNWHGG2lcvJGJcKyADfDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:22:39.462766Z","signed_message":"canonical_sha256_bytes"},"source_id":"1105.1424","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1fd0eb121fdc70d0028a74ee3ee09289336c81d12597bfc1e0a0b303df9ee0ae","sha256:f5f10ea4ef60cc2dcc2f2fed574fe9cbf1e8dee490861dd3a177254f76e6db31"],"state_sha256":"263f1b90bc17a2b54dc9398102b1cabe6991dddc9cc3c58feb9f3e61eefa73f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xYL3xKEyIRimIGY3ZAW3W3sGDZx3f41Jt1w9pZFRhk7o302RHXIBL4gQvdY4cNnqwmFuVMJRM2q0dugpJBBaCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T01:25:56.487724Z","bundle_sha256":"66b70c5c750f0d0a4ad86967b4c2ba2415700999392b4101a46ffc536de551cb"}}