o1-labs / o1js
TypeScript framework for zk-SNARKs and zkApps
☆496Updated this week
Related projects: ⓘ
- A zero-knowledge protocol for anonymous interactions.☆887Updated 2 weeks ago
- Minimal Anti-Collusion Infrastructure (MACI)☆512Updated this week
- A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.☆483Updated last month
- zkSnark circuit compiler☆1,290Updated 3 weeks ago
- ☆287Updated last week
- Library of basic circuits for circom☆602Updated last month
- Noir is a domain specific language for zero knowledge proofs☆862Updated this week
- A monorepo of reusable libraries for zero-knowledge technologies.☆281Updated this week
- Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.☆348Updated this week
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆383Updated this week
- ☆757Updated this week
- A protocol for private on-chain voting, implemented in Solidity.☆316Updated 3 months ago
- A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain☆361Updated last week
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆635Updated this week
- STARK-based virtual machine☆618Updated this week
- ☆475Updated this week
- A curated list of ZK/FHE resources and links. 👇 Click below for the website version.☆695Updated 2 weeks ago
- A JavaScript library to generate merkle trees and merkle proofs.☆447Updated 2 months ago
- CLI to create a zkApp (zero-knowledge app) for Mina Protocol☆114Updated this week
- OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup☆812Updated last week
- A toolkit for polynomial IOPs (PIOPs)☆438Updated this week
- zkSNARK implementation in JavaScript & WASM☆1,754Updated last week
- ☆320Updated this week
- Private airdrops for Ethereum.☆748Updated last year
- Big integer arithmetic and secp256k1 ECC operations in circom☆301Updated 10 months ago
- The Zinc language public repository☆308Updated 2 years ago
- The Halo2 zero-knowledge proving system☆718Updated last month
- ☆221Updated last year
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆356Updated 2 weeks ago
- A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.☆587Updated 4 months ago