microbecode / stark-from-zeroLinks
Create a Stark prover & verifier from zero
β33Updated this week
Alternatives and similar repositories for stark-from-zero
Users that are interested in stark-from-zero are comparing it to the libraries listed below
Sorting:
- A curated list of awesome resources related to SP1 - Succinct's zkVM.β112Updated 6 months ago
- π¦ UniswapV3 fork that computes swaps off-chain via a zkVMβ84Updated last year
- PoC of Revm execution in SGXβ80Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0β78Updated 11 months ago
- Resources for learning Noir from ZKCamp's Aztec Courseβ56Updated 2 years ago
- spam EVM execution nodes over JSON-RPC & run benchmarksβ93Updated this week
- Solidity contracts for a next-gen rollup system.β68Updated this week
- A repo of example Noir projects.β67Updated 3 weeks ago
- β102Updated 2 years ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.β84Updated 9 months ago
- Sidecar to Enable Rollup Extensionsβ142Updated this week
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.β92Updated 2 years ago
- β59Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β138Updated 2 weeks ago
- Walkthroughs to leverage Odyssey's features from the future.β105Updated 3 months ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.β127Updated 3 years ago
- β70Updated last year
- β30Updated last year
- ream: an Ethereum Lean client written in Rustβ111Updated last week
- A monorepo of reusable Noir circuits.β45Updated 3 weeks ago
- Cross-chain interop research, funded by Optimism Governance.β60Updated 5 months ago
- This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof teβ¦β37Updated last year
- Bolt: permissionless proposer commitments on Ethereumβ95Updated 4 months ago
- A Noir circuit that mimics Solidity's ecrecoverβ60Updated 3 months ago
- Basic Noir private proof of membershipβ90Updated 6 months ago
- Smart contracts for on-chain anonymous settlement.β116Updated 3 weeks ago
- π Preconfirmations protocol for sub-second transaction confirmations on Ethereum.β59Updated last year
- Serverless function on Rethβ72Updated last year
- EigenLayer Rust Developer Toolingβ90Updated last month
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjsβ47Updated 2 years ago