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…