A Zero-Knowledge CPU based on RISC-V and zkSNARK
Verkle Tree
An universal memory prover in Zero-Knowledge Proof