GitHub repository: Bitcoin-Wildlife-Sanctuary/stwo
Primary language: Rust
Description: A fork of stwo for Bitcoin-friendly proof systems