Viewing profile — jeremy_bruestle

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 wa…

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 o…