Cairo-VM STARK Verifier Rust implementation - View it on GitHub