sambarnes / noir-by-exampleLinks
an introduction to noir, with simple examples
☆44Updated last year
Alternatives and similar repositories for noir-by-example
Users that are interested in noir-by-example are comparing it to the libraries listed below
Sorting:
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- ☆30Updated last year
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated 2 years ago
- ☆40Updated 3 years ago
- Axiom smart contracts☆26Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- A Brainfuck zkVM with Circom.☆60Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- A robust, extensible OP Stack challenge agent written in pure Rust.☆57Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated 11 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated last week
- Rust bindings for Solidity's AST and visitors☆50Updated 2 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆64Updated last year
- Blocktime estimator in Rust☆35Updated 2 years ago
- Solidity contracts for a next-gen rollup system.☆70Updated last month
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Ethereum stateless tools☆45Updated 8 months ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆24Updated 3 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- A monorepo of reusable Noir circuits.☆47Updated 3 months ago
- Noir implementation of BattleZips circuits☆28Updated 2 years ago
- Rust implementation of KZG point evaluation☆35Updated 4 months ago
- ☆42Updated last year
- Noir implementation of RSA-verify☆43Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆39Updated last year
- Submodules Kill Solidity☆38Updated 2 years ago
- Introduction to core development via CTF challenges☆41Updated 3 years ago