Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
Formal verification of the S-two AIR
Jeremy Avigad, Anat Ganor, Lior Goldberg +4
StarkWare's S-two prover provides an efficient means for establishing, on blockchain, that a program written in the Cairo virtual machine language runs to completion. The latter cl…
cs.CR2025
A Proof-Producing Compiler for Blockchain Applications
Jeremy Avigad, Lior Goldberg, David Levit +2
CairoZero is a programming language for running decentralized applications (dApps) at scale. Programs written in the CairoZero language are compiled to machine code for the Cairo C…
cs.CR2021
A verified algebraic representation of Cairo program execution
Jeremy Avigad, Lior Goldberg, David Levit +2
Cryptographic interactive proof systems provide an efficient and scalable means of verifying the results of computation on blockchain. A prover constructs a proof, off-chain, that…