Succint proofs of risc-v transactions using a black-box riscv zkvm

Here’s the actual, complete set of syscalls from a production embedded blockchain VM. We may want a slightly different list but we’ll need to make sure we account for most of these.

1 Like