GitHub repository: maxgillett/giza
Primary language: Rust
Description: A Cairo VM prover implemented using Winterfell