GitHub repository: 0xKanekiKen/winterfell
Primary language: Rust
Description: A STARK prover and verifier for arbitrary computations