Succinct

sp1

A performant, 100% open-source, contributor-friendly zkVM.

succinctx

The schelling point for ZK applications.

sp1-reth

A performant, type-1 zkEVM written in Rust & SP1.

gnark-plonky2-verifier

tendermintx

Implementation of zero-knowledge proof circuits for Tendermint.

telepathy-contracts

Smart contracts for the Telepathy protocol

starkyx

blobstreamx

Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.

vectorx

Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.

sp1-project-template

Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

plonky3

demo

telepathyx

eigenlayer-beacon-oracle

lidox

A trustless replacement to the Lido Accounting Oracle, powered by ZK.

op-stack-remote-static-call

A showcase of how to use Op Stack's remote static call precompile

noir-example

Aztec.nr extends Noir with everything developers need to write smart contracts, with Rust-like syntax, seamless state management, and a library of privacy primitives.

sp1-tendermint-example

SP1 Tendermint Example E2E

zkvm-perf

ethx-docker

Docker automation for Ethereum nodes

plonky2-ecdsa

ECDSA gadgets for plonky2

rust

avail-core

circom_tester

Don't delete! Necessary for `telepathy`

cosm-wasm-telepathy

nouns-graffiti-oracle

plonky2

plonky2-crypto

Crypto Gadgets for Plonky2

RustCrypto-hashes-private

rustx-eth-call