noir-lang / book
☆15Updated 2 years ago
Alternatives and similar repositories for book:
Users that are interested in book are comparing it to the libraries listed below
- Installation tooling for Noir☆25Updated last month
- ☆12Updated 3 years ago
- Single owner authorization with zk-based two-factor-authorization.☆18Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆30Updated 2 years ago
- Go library to access the blockchain state of Go-ethereum☆16Updated 2 years ago
- ☆15Updated last year
- ☆39Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- ☆40Updated 3 years ago
- ☆21Updated last year
- WETH Implementation in Vyper + gas comparisons to WETH9 and WETH10☆16Updated last year
- ☆23Updated 2 years ago
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Updated last month
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 8 months ago
- Gather blocks and headers from an ethers provider☆17Updated 2 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆18Updated 2 years ago
- Partial Block Building with TEEs☆17Updated last year
- ☆16Updated 2 years ago
- ☆23Updated 2 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated 9 months ago
- ☆14Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- ☆18Updated 2 years ago
- Proof of concept trade simulation using state overrides☆22Updated 2 years ago
- foundry + ethers☆22Updated 3 years ago
- Token for accruing protocol revenues☆16Updated 2 years ago
- ☆19Updated 2 years ago
- Groth16 verifier in EVM☆20Updated last year