Basically, you can run code in the zkVM, which looks like a normal RISC-V machine, but it generates a cryptographic proof/receipt of correct execution, so you can trust the code was run correctly (presuming the receipt…
It is similar, although rather than using a Benes net to implement the permutation, it uses PLONK (https://eprint.iacr.org/2019/953.pdf), which is massively more efficient. And of course it actually implements the…
Basically, you can run code in the zkVM, which looks like a normal RISC-V machine, but it generates a cryptographic proof/receipt of correct execution, so you can trust the code was run correctly (presuming the receipt…
It is similar, although rather than using a Benes net to implement the permutation, it uses PLONK (https://eprint.iacr.org/2019/953.pdf), which is massively more efficient. And of course it actually implements the…