{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:LAURTFAQ4VGBT7IYFMPCN3ETKU","short_pith_number":"pith:LAURTFAQ","schema_version":"1.0","canonical_sha256":"5829199410e54c19fd182b1e26ec935527ae17984e6b9decfd11208bb1c8b593","source":{"kind":"arxiv","id":"2012.04185","version":2},"attestation_state":"computed","paper":{"title":"Formalism-Driven Development of Decentralized Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hiroyuki Sato, Yepeng Ding","submitted_at":"2020-12-08T03:06:49Z","abstract_excerpt":"Decentralized systems have been widely developed and applied to address security and privacy issues in centralized systems, especially since the advancement of distributed ledger technology. However, it is challenging to ensure their correct functioning with respect to their designs and minimize the technical risk before the delivery. Although formal methods have made significant progress over the past decades, a feasible solution based on formal methods from a development process perspective has not been well developed. In this paper, we formulate an iterative and incremental development proc"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2012.04185","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-12-08T03:06:49Z","cross_cats_sorted":[],"title_canon_sha256":"d712c22e278210e491eb595ab9802678006c181dd9fd855046b95f56bc0adc63","abstract_canon_sha256":"fc3a995ad6b1bb2457be719cf484652f67bdca6f1ba72efc8ed8e864d7ddbe66"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:52:25.348195Z","signature_b64":"Ae5y6I4biyvaMo99YuS5EGXL9ZGW9OkgcMftKcrNfIPQA/3fWVGw3ZakNbiQ4D5jYQw4BBO3vHRbzLQ5SyZLDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5829199410e54c19fd182b1e26ec935527ae17984e6b9decfd11208bb1c8b593","last_reissued_at":"2026-07-05T03:52:25.347763Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:52:25.347763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formalism-Driven Development of Decentralized Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hiroyuki Sato, Yepeng Ding","submitted_at":"2020-12-08T03:06:49Z","abstract_excerpt":"Decentralized systems have been widely developed and applied to address security and privacy issues in centralized systems, especially since the advancement of distributed ledger technology. However, it is challenging to ensure their correct functioning with respect to their designs and minimize the technical risk before the delivery. Although formal methods have made significant progress over the past decades, a feasible solution based on formal methods from a development process perspective has not been well developed. In this paper, we formulate an iterative and incremental development proc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.04185","kind":"arxiv","version":2},"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/2012.04185/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2012.04185","created_at":"2026-07-05T03:52:25.347828+00:00"},{"alias_kind":"arxiv_version","alias_value":"2012.04185v2","created_at":"2026-07-05T03:52:25.347828+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.04185","created_at":"2026-07-05T03:52:25.347828+00:00"},{"alias_kind":"pith_short_12","alias_value":"LAURTFAQ4VGB","created_at":"2026-07-05T03:52:25.347828+00:00"},{"alias_kind":"pith_short_16","alias_value":"LAURTFAQ4VGBT7IY","created_at":"2026-07-05T03:52:25.347828+00:00"},{"alias_kind":"pith_short_8","alias_value":"LAURTFAQ","created_at":"2026-07-05T03:52:25.347828+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LAURTFAQ4VGBT7IYFMPCN3ETKU","json":"https://pith.science/pith/LAURTFAQ4VGBT7IYFMPCN3ETKU.json","graph_json":"https://pith.science/api/pith-number/LAURTFAQ4VGBT7IYFMPCN3ETKU/graph.json","events_json":"https://pith.science/api/pith-number/LAURTFAQ4VGBT7IYFMPCN3ETKU/events.json","paper":"https://pith.science/paper/LAURTFAQ"},"agent_actions":{"view_html":"https://pith.science/pith/LAURTFAQ4VGBT7IYFMPCN3ETKU","download_json":"https://pith.science/pith/LAURTFAQ4VGBT7IYFMPCN3ETKU.json","view_paper":"https://pith.science/paper/LAURTFAQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2012.04185&json=true","fetch_graph":"https://pith.science/api/pith-number/LAURTFAQ4VGBT7IYFMPCN3ETKU/graph.json","fetch_events":"https://pith.science/api/pith-number/LAURTFAQ4VGBT7IYFMPCN3ETKU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LAURTFAQ4VGBT7IYFMPCN3ETKU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LAURTFAQ4VGBT7IYFMPCN3ETKU/action/storage_attestation","attest_author":"https://pith.science/pith/LAURTFAQ4VGBT7IYFMPCN3ETKU/action/author_attestation","sign_citation":"https://pith.science/pith/LAURTFAQ4VGBT7IYFMPCN3ETKU/action/citation_signature","submit_replication":"https://pith.science/pith/LAURTFAQ4VGBT7IYFMPCN3ETKU/action/replication_record"}},"created_at":"2026-07-05T03:52:25.347828+00:00","updated_at":"2026-07-05T03:52:25.347828+00:00"}