Pinned Loading

1. any-zkvm any-zkvm Public

   A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use

   Rust 54 3

2. a16z/jolt a16z/jolt Public

   The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

   Rust 820 250

3. hyli-org/hyli hyli-org/hyli Public

   The new proof-powered L1 to build the next generation of apps.

   Rust 94 49

4. provable-email-game-engine provable-email-game-engine Public

   A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.

   Rust 11 2

5. rust-sumcheck rust-sumcheck Public

   rust implementation of the sumcheck protocol, interactive or non-interactive (using merlin)

   Rust 5

6. groupchat-market groupchat-market Public

   polymarket for your groupchat, made at frontiers 2025; using hyli

   Rust 5