{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:72HLXLSTJUA7V6Z4J26DE7GB4S","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":"d9fa0c1553ec1fd466449288d00e8e241f31e6c0f537b3cb47ede6f3e2c18bb1","cross_cats_sorted":["cs.CR","cs.GT","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-15T19:41:24Z","title_canon_sha256":"7301d07ec3b418d998b599981f791e1dacb940a30a04368921b3c6482ac1f997"},"schema_version":"1.0","source":{"id":"1004.2697","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.2697","created_at":"2026-05-18T04:08:24Z"},{"alias_kind":"arxiv_version","alias_value":"1004.2697v4","created_at":"2026-05-18T04:08:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.2697","created_at":"2026-05-18T04:08:24Z"},{"alias_kind":"pith_short_12","alias_value":"72HLXLSTJUA7","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"72HLXLSTJUA7V6Z4","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"72HLXLST","created_at":"2026-05-18T12:26:04Z"}],"graph_snapshots":[{"event_id":"sha256:15ad9d3a4d6bac321b8ba5d72db172cbfd3564479364785aac110bd6a629d1cd","target":"graph","created_at":"2026-05-18T04:08:24Z","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":"We study the automatic synthesis of fair non-repudiation protocols, a class of fair exchange protocols, used for digital contract signing. First, we show how to specify the objectives of the participating agents and the trusted third party (TTP) as path formulas in LTL and prove that the satisfaction of these objectives imply fairness; a property required of fair exchange protocols. We then show that weak (co-operative) co-synthesis and classical (strictly competitive) co-synthesis fail, whereas assume-guarantee synthesis (AGS) succeeds. We demonstrate the success of assume-guarantee synthesis","authors_text":"Krishnendu Chatterjee, Vishwanath Raman","cross_cats":["cs.CR","cs.GT","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-15T19:41:24Z","title":"Assume-Guarantee Synthesis for Digital Contract Signing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.2697","kind":"arxiv","version":4},"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:55a2f36308a89c640eea192edec3cb144ac9604744e2ded2743e1650419f0eef","target":"record","created_at":"2026-05-18T04:08:24Z","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":"d9fa0c1553ec1fd466449288d00e8e241f31e6c0f537b3cb47ede6f3e2c18bb1","cross_cats_sorted":["cs.CR","cs.GT","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-15T19:41:24Z","title_canon_sha256":"7301d07ec3b418d998b599981f791e1dacb940a30a04368921b3c6482ac1f997"},"schema_version":"1.0","source":{"id":"1004.2697","kind":"arxiv","version":4}},"canonical_sha256":"fe8ebbae534d01fafb3c4ebc327cc1e4a7218429118fca05178b047b388caad7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fe8ebbae534d01fafb3c4ebc327cc1e4a7218429118fca05178b047b388caad7","first_computed_at":"2026-05-18T04:08:24.626967Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:08:24.626967Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Snz1lxbW5gm1/nbNW405aPvrlU6mzLgRWvsRSW2bfGgBwiD9W9jd/lj47k7TBpvD4G7BOkD4FIVKMOolIv8FBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:08:24.627479Z","signed_message":"canonical_sha256_bytes"},"source_id":"1004.2697","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55a2f36308a89c640eea192edec3cb144ac9604744e2ded2743e1650419f0eef","sha256:15ad9d3a4d6bac321b8ba5d72db172cbfd3564479364785aac110bd6a629d1cd"],"state_sha256":"2f58025fce36263b196aabf5a633e6a24ab1e0577785d8900ad6771c74448c04"}