succinctlabs Goto Github PK

avail-core

avail_gas_benchmarking

blobstreamx

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

btc-warp

Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs

circom_tester

Don't delete! Necessary for `telepathy`

comet

An efficient money market protocol for Ethereum and compatible chains (aka Compound III, Compound v3).

cosm-wasm-telepathy

curve-merkle-oracle

Trustless oracle for a Curve ETH/stETH pool using MPT proofs

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

demo

eigenlayer-beacon-oracle

eth-proof-of-consensus

ethx-docker

Docker automation for Ethereum nodes

gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

gnark-plonky2-verifier

lidox

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

mudvrf

A secure, fast, and easy-to-use random number generator for on-chain games built using MUD.

multisetups

A simple, IPFS-based multi-party trusted setup utility for snarkjs

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.

nouns-graffiti-oracle

op-stack-remote-static-call

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

optimism-bedrock-contracts

plonky2

plonky2-crypto

Crypto Gadgets for Plonky2

plonky2-ecdsa

ECDSA gadgets for plonky2

plonky2-u32

u32 arithmetic gadgets for plonky2

plonky2x-example

An example of how to build an end-to-end dApp with plonky2x

plonky3

poseidon-rs

Poseidon hash function

rust