jtriley2p / bigbrainchad-ethView external linksLinks
☆23Sep 13, 2024Updated last year
Alternatives and similar repositories for bigbrainchad-eth
Users that are interested in bigbrainchad-eth are comparing it to the libraries listed below
Sorting:
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 9 months ago
- ☆31May 21, 2025Updated 8 months ago
- WITNESS Protocol - Core Contracts☆19Sep 10, 2024Updated last year
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated 9 months ago
- EVM Execution Hooks.☆240Feb 3, 2026Updated last week
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- I like to learn new things☆10Dec 10, 2022Updated 3 years ago
- Lightweight throttle layer for alloy providers☆16Mar 10, 2025Updated 11 months ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 6 months ago
- Validation code for the EOF specification☆57Apr 28, 2025Updated 9 months ago
- RAILGUN Circuits V2☆24Sep 26, 2025Updated 4 months ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- Based Ethereum framework for writing tests in Rust☆12Dec 17, 2023Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Apr 27, 2025Updated 9 months ago
- Personal dotfiles☆30Jan 14, 2026Updated last month
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- the EVM, simplified☆99Updated this week
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- A Swiss knife for Noir☆16Feb 5, 2026Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 7 months ago
- CLI tool for managing EVM chain configurations☆13Feb 4, 2025Updated last year
- Pint, the constraint-based programming language for declarative blockchains☆21Updated this week
- The Good Ethereum Assembler☆138Feb 2, 2026Updated last week
- An onchain tournament for bots, inspired by Pac-Man and Agar.io.☆44Jun 2, 2025Updated 8 months ago
- A hyper gas optimized and formally verified smart contract, written in huff. 🐎☆46Mar 3, 2025Updated 11 months ago
- A two-day event focused on high-performance, bleeding edge crypto infrastructure. By open source engineers, for open source engineers.☆38Aug 13, 2025Updated 6 months ago
- A mostly mostly reasonable approach to inline Yul styling.☆31Apr 19, 2024Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Jan 9, 2026Updated last month
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 2 weeks ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated last year
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆17Aug 29, 2022Updated 3 years ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 8 months ago
- A literary magazine in the form of a dynamic universe.☆13Dec 8, 2024Updated last year
- Aztecscan - the Aztec block explorer, running locally against sandbox. Or our publicly deployed version with Testnet indexed.☆16Updated this week