GitHub repository: puzzlehq/snarkVM
Primary language: Rust
Description: A Virtual Machine for Zero-Knowledge Executions