halo2_backend. Rust
halo2wrong-sha256. Rust
halo2-kzg-cli. Rust
Linear_GKR_Protocol. Rust
defi_cw1. Solidity
