Pinned Loading

1. GKR-rust GKR-rust Public

   Rust implementation of the GKR protocol. Very cool. yeyey

   Rust 2

2. proof-of-bridge proof-of-bridge Public

   A cross-chain bridge using a zkGraph

   TypeScript

3. smoothie smoothie Public

   Using a monte carlo search tree to build adaptive UIs

   Rust

4. Axiom Axiom Public

   a tool for mathematically proving the correctness of AI-generated code through formal verification

   Rust

5. quotient quotient Public

   Experimental DEX aggregator on Solana.

   Rust

6. Zero Zero Public

   An Oracle Network for ZKML

   Rust