{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:LOHJ3UHAN4DYKPKZPOIOYNL4RL","short_pith_number":"pith:LOHJ3UHA","canonical_record":{"source":{"id":"1008.1789","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-08-10T20:02:24Z","cross_cats_sorted":[],"title_canon_sha256":"b6c7a2a04a41d7537399378aba67c9e42d90b9a4ec1b2c2f5f389732098af03b","abstract_canon_sha256":"9c99ab38c62436dd529ec26f35ac466b5241b961328a42cbf7b2f04f7a712d36"},"schema_version":"1.0"},"canonical_sha256":"5b8e9dd0e06f07853d597b90ec357c8af34be05e13a0efbfd95c4aa6d0045313","source":{"kind":"arxiv","id":"1008.1789","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.1789","created_at":"2026-05-18T04:42:22Z"},{"alias_kind":"arxiv_version","alias_value":"1008.1789v1","created_at":"2026-05-18T04:42:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.1789","created_at":"2026-05-18T04:42:22Z"},{"alias_kind":"pith_short_12","alias_value":"LOHJ3UHAN4DY","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"LOHJ3UHAN4DYKPKZ","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"LOHJ3UHA","created_at":"2026-05-18T12:26:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:LOHJ3UHAN4DYKPKZPOIOYNL4RL","target":"record","payload":{"canonical_record":{"source":{"id":"1008.1789","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-08-10T20:02:24Z","cross_cats_sorted":[],"title_canon_sha256":"b6c7a2a04a41d7537399378aba67c9e42d90b9a4ec1b2c2f5f389732098af03b","abstract_canon_sha256":"9c99ab38c62436dd529ec26f35ac466b5241b961328a42cbf7b2f04f7a712d36"},"schema_version":"1.0"},"canonical_sha256":"5b8e9dd0e06f07853d597b90ec357c8af34be05e13a0efbfd95c4aa6d0045313","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:42:22.945142Z","signature_b64":"LtRaUJhnthkqlgcYmZIUDUvBNFnWoZO8DODgdXtMQ5pv+RzXSHvR5VEXdSnaY1Ozsbo+Udw61wTyTHCKy5tpAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b8e9dd0e06f07853d597b90ec357c8af34be05e13a0efbfd95c4aa6d0045313","last_reissued_at":"2026-05-18T04:42:22.944507Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:42:22.944507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1008.1789","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:42:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ibDTMRpfKfxVWScyTdLFEakEJfNfUTorsQN+GGiraHqrxPPqrb3hK1NubTWTV0406ad8sqjzU/i5+yYjBvfrDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T09:45:39.764038Z"},"content_sha256":"b237b3a6b590836f73c4b78f8f8fe4f6274f62a3931f9cd8c26bfe38428ec60c","schema_version":"1.0","event_id":"sha256:b237b3a6b590836f73c4b78f8f8fe4f6274f62a3931f9cd8c26bfe38428ec60c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:LOHJ3UHAN4DYKPKZPOIOYNL4RL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Eli Ben-Sasson, Jakob Nordstr\\\"om","submitted_at":"2010-08-10T20:02:24Z","abstract_excerpt":"For current state-of-the-art DPLL SAT-solvers the two main bottlenecks are the amounts of time and memory used. In proof complexity, these resources correspond to the length and space of resolution proofs. There has been a long line of research investigating these proof complexity measures, but while strong results have been established for length, our understanding of space and how it relates to length has remained quite poor. In particular, the question whether resolution proofs can be optimized for length and space simultaneously, or whether there are trade-offs between these two measures, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.1789","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:42:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YKnLJUoUeU873TIS0OoxpUrIvkl7lRTeC6TZhTvOOju/rYUfwLzsSQM+T4ijQB89imq6ae77eGDf/rqxciRyBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T09:45:39.764398Z"},"content_sha256":"0282d86f63f77183d332282997a6a4ba94bee92bf8a193c1fa31443585a8d89b","schema_version":"1.0","event_id":"sha256:0282d86f63f77183d332282997a6a4ba94bee92bf8a193c1fa31443585a8d89b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LOHJ3UHAN4DYKPKZPOIOYNL4RL/bundle.json","state_url":"https://pith.science/pith/LOHJ3UHAN4DYKPKZPOIOYNL4RL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LOHJ3UHAN4DYKPKZPOIOYNL4RL/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-09T09:45:39Z","links":{"resolver":"https://pith.science/pith/LOHJ3UHAN4DYKPKZPOIOYNL4RL","bundle":"https://pith.science/pith/LOHJ3UHAN4DYKPKZPOIOYNL4RL/bundle.json","state":"https://pith.science/pith/LOHJ3UHAN4DYKPKZPOIOYNL4RL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LOHJ3UHAN4DYKPKZPOIOYNL4RL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:LOHJ3UHAN4DYKPKZPOIOYNL4RL","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":"9c99ab38c62436dd529ec26f35ac466b5241b961328a42cbf7b2f04f7a712d36","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-08-10T20:02:24Z","title_canon_sha256":"b6c7a2a04a41d7537399378aba67c9e42d90b9a4ec1b2c2f5f389732098af03b"},"schema_version":"1.0","source":{"id":"1008.1789","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.1789","created_at":"2026-05-18T04:42:22Z"},{"alias_kind":"arxiv_version","alias_value":"1008.1789v1","created_at":"2026-05-18T04:42:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.1789","created_at":"2026-05-18T04:42:22Z"},{"alias_kind":"pith_short_12","alias_value":"LOHJ3UHAN4DY","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"LOHJ3UHAN4DYKPKZ","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"LOHJ3UHA","created_at":"2026-05-18T12:26:10Z"}],"graph_snapshots":[{"event_id":"sha256:0282d86f63f77183d332282997a6a4ba94bee92bf8a193c1fa31443585a8d89b","target":"graph","created_at":"2026-05-18T04:42:22Z","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":"For current state-of-the-art DPLL SAT-solvers the two main bottlenecks are the amounts of time and memory used. In proof complexity, these resources correspond to the length and space of resolution proofs. There has been a long line of research investigating these proof complexity measures, but while strong results have been established for length, our understanding of space and how it relates to length has remained quite poor. In particular, the question whether resolution proofs can be optimized for length and space simultaneously, or whether there are trade-offs between these two measures, ","authors_text":"Eli Ben-Sasson, Jakob Nordstr\\\"om","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-08-10T20:02:24Z","title":"Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.1789","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:b237b3a6b590836f73c4b78f8f8fe4f6274f62a3931f9cd8c26bfe38428ec60c","target":"record","created_at":"2026-05-18T04:42:22Z","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":"9c99ab38c62436dd529ec26f35ac466b5241b961328a42cbf7b2f04f7a712d36","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-08-10T20:02:24Z","title_canon_sha256":"b6c7a2a04a41d7537399378aba67c9e42d90b9a4ec1b2c2f5f389732098af03b"},"schema_version":"1.0","source":{"id":"1008.1789","kind":"arxiv","version":1}},"canonical_sha256":"5b8e9dd0e06f07853d597b90ec357c8af34be05e13a0efbfd95c4aa6d0045313","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5b8e9dd0e06f07853d597b90ec357c8af34be05e13a0efbfd95c4aa6d0045313","first_computed_at":"2026-05-18T04:42:22.944507Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:42:22.944507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LtRaUJhnthkqlgcYmZIUDUvBNFnWoZO8DODgdXtMQ5pv+RzXSHvR5VEXdSnaY1Ozsbo+Udw61wTyTHCKy5tpAw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:42:22.945142Z","signed_message":"canonical_sha256_bytes"},"source_id":"1008.1789","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b237b3a6b590836f73c4b78f8f8fe4f6274f62a3931f9cd8c26bfe38428ec60c","sha256:0282d86f63f77183d332282997a6a4ba94bee92bf8a193c1fa31443585a8d89b"],"state_sha256":"7f11c34a3d8b92791ce3a0d28ef400fe2f4bca446695232f179cbc00c0cbf9e2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"251iG6hud/hsUcsojP+/ZJtbnR6qXNmXRR6sgst55RRm+CWBnYdVXBWgPLhjrWlRGKZAD9TeyLG4qvROm7lPBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T09:45:39.766275Z","bundle_sha256":"80ed3605f545616e0b76e7d9d279f5710b9983e17a3478ac0e144b16814b3d69"}}