halo2

Language
Rust
Proving Systems
Team
ZCash