The fastest, most feature-complete zkVM for developers.

⚡ Building applications with LLMs through composability ⚡

node of the decentralized oracle network, bridging on and off-chain computation

CIRCL: Cloudflare Interoperable Reusable Cryptographic Library

Official Go implementation of the Ethereum protocol

🦄 Gasless ERC20 swap settlement protocol 🦄

🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

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

Library of basic circuits for circom

libp2p implementation in Go

This repository contains the core smart contracts of the Aave V3 protocol.

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

Main repository of SageMath. Now open for Issues and Pull Requests.

basic circom project using hardhat-circom (upgrade to circom2 is WIP)

Big integer arithmetic and secp256k1 ECC operations in circom

Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

Web3.py plugin for using Flashbots' bundle APIs

Applied ZKP Workshop for building zkDApp on Ethereum

Collection of pure Rust elliptic curve implementations: NIST P-256, P-384, secp256k1

Libraries for finite field, elliptic curve, and polynomial arithmetic

A Coordination repo for all things Rust Cryptography oriented

Exploration about how to verify a P256 signature in Solidity

So you've landed in a strange finite field. Only thing to do now is setup basecamp.

Collection of APIs provided by Ethereum execution layer clients