zigz is a zkVM (zero-knowledge virtual machine) that allows you to generate succinct cryptographic proofs of RISC-V program execution. It's designed with simplicity and clarity as first principles, ...