Justin Thaler

Results 1 comments of Justin Thaler

Doing anything on-chain will mean working over BN254. Turning Jolt verifier into RISC-V gives one baseline way to do recursion/composition to decrease proof size. Another would be to directly turn...