RISC Zero

RISC Zero is a general-purpose zero-knowledge proof system that supports programs written in various modern programming languages.