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