{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:R5LVWCMKPVRG6YLELSKPXPC6K6","short_pith_number":"pith:R5LVWCMK","schema_version":"1.0","canonical_sha256":"8f575b098a7d626f61645c94fbbc5e57929cb16b2b3387c6fa956de75c05d132","source":{"kind":"arxiv","id":"2010.07031","version":2},"attestation_state":"computed","paper":{"title":"A Tendermint Light Client","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Ethan Buchman, Igor Konnov, Ismail Khoffi, Josef Widder, Romain Ruetschi, Sean Braithwaite, Zarko Milosevic","submitted_at":"2020-10-14T12:42:28Z","abstract_excerpt":"In Tendermint blockchains, the proof-of-stake mechanism and the underlying consensus algorithm entail a dynamic fault model that implies that the active validators (nodes that sign blocks) may change over time, and a quorum of these validators is assumed to be correct only for a limited period of time (called trusting period). The changes of the validator set are under control of the blockchain application, and are committed in every block. In order to check what is the state of the blockchain application at some height h, one needs to know the validator set at that height so that one can veri"},"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":"2010.07031","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2020-10-14T12:42:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"99089b5f63779d7c9b9f30fce14634ba64bfffe6eb450c7b291831aeb99c8049","abstract_canon_sha256":"010fe60176e7065583db35457694305b474bc61cda57351f4816814f839f4a2e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:43:17.047629Z","signature_b64":"pPZhQlX06YCEaOUaAsVpH1bekC97EEcE2QOGzKBUw09GDnijBhU19SOXKLqdWZONFJn3j/dmXWJSE9F6ACoPCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8f575b098a7d626f61645c94fbbc5e57929cb16b2b3387c6fa956de75c05d132","last_reissued_at":"2026-07-05T01:43:17.047282Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:43:17.047282Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Tendermint Light Client","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Ethan Buchman, Igor Konnov, Ismail Khoffi, Josef Widder, Romain Ruetschi, Sean Braithwaite, Zarko Milosevic","submitted_at":"2020-10-14T12:42:28Z","abstract_excerpt":"In Tendermint blockchains, the proof-of-stake mechanism and the underlying consensus algorithm entail a dynamic fault model that implies that the active validators (nodes that sign blocks) may change over time, and a quorum of these validators is assumed to be correct only for a limited period of time (called trusting period). The changes of the validator set are under control of the blockchain application, and are committed in every block. In order to check what is the state of the blockchain application at some height h, one needs to know the validator set at that height so that one can veri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2010.07031","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/2010.07031/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":"2010.07031","created_at":"2026-07-05T01:43:17.047344+00:00"},{"alias_kind":"arxiv_version","alias_value":"2010.07031v2","created_at":"2026-07-05T01:43:17.047344+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2010.07031","created_at":"2026-07-05T01:43:17.047344+00:00"},{"alias_kind":"pith_short_12","alias_value":"R5LVWCMKPVRG","created_at":"2026-07-05T01:43:17.047344+00:00"},{"alias_kind":"pith_short_16","alias_value":"R5LVWCMKPVRG6YLE","created_at":"2026-07-05T01:43:17.047344+00:00"},{"alias_kind":"pith_short_8","alias_value":"R5LVWCMK","created_at":"2026-07-05T01:43:17.047344+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2411.13722","citing_title":"A Systematic Literature Review on a Decade of Industrial TLA+ Practice","ref_index":1,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/R5LVWCMKPVRG6YLELSKPXPC6K6","json":"https://pith.science/pith/R5LVWCMKPVRG6YLELSKPXPC6K6.json","graph_json":"https://pith.science/api/pith-number/R5LVWCMKPVRG6YLELSKPXPC6K6/graph.json","events_json":"https://pith.science/api/pith-number/R5LVWCMKPVRG6YLELSKPXPC6K6/events.json","paper":"https://pith.science/paper/R5LVWCMK"},"agent_actions":{"view_html":"https://pith.science/pith/R5LVWCMKPVRG6YLELSKPXPC6K6","download_json":"https://pith.science/pith/R5LVWCMKPVRG6YLELSKPXPC6K6.json","view_paper":"https://pith.science/paper/R5LVWCMK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2010.07031&json=true","fetch_graph":"https://pith.science/api/pith-number/R5LVWCMKPVRG6YLELSKPXPC6K6/graph.json","fetch_events":"https://pith.science/api/pith-number/R5LVWCMKPVRG6YLELSKPXPC6K6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/R5LVWCMKPVRG6YLELSKPXPC6K6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/R5LVWCMKPVRG6YLELSKPXPC6K6/action/storage_attestation","attest_author":"https://pith.science/pith/R5LVWCMKPVRG6YLELSKPXPC6K6/action/author_attestation","sign_citation":"https://pith.science/pith/R5LVWCMKPVRG6YLELSKPXPC6K6/action/citation_signature","submit_replication":"https://pith.science/pith/R5LVWCMKPVRG6YLELSKPXPC6K6/action/replication_record"}},"created_at":"2026-07-05T01:43:17.047344+00:00","updated_at":"2026-07-05T01:43:17.047344+00:00"}