StateSync-GKR: Machine-Checking the Trust Chain from Sparse-Merkle State Transitions to GKR Verification

arXiv:2610.05335 · cs.CR, cs.LO · Submitted 2026-10-04 · Read on arXiv

cs.CR, cs.LO

Submitted: 2026-10-04

Updated: 2026-10-04

Comments: 17 pages, 3 figures, 3 tables. Software artifact: https://github.com/Oraclizer/statesync-gkr (v1.1.0; archived source DOI: 10.5281/zenodo.23136385)

Code: https://github.com/Oraclizer/statesync-gkr

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Verification — 1× in this paper · explained in 2 episodes

Sources

• Formal verification of the S-two AIR
• Formal Verification of the Sumcheck Protocol

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Estimating the Social Cost of Corporate Data Breaches
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills