2 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
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…