Experimental zero-knowledge proof compiler in Rust macros - View it on GitHub