RAILGUN Circuits V2
☆24Sep 26, 2025Updated 5 months ago
Alternatives and similar repositories for circuits-v2
Users that are interested in circuits-v2 are comparing it to the libraries listed below
Sorting:
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- Superset of Yul☆17Aug 11, 2025Updated 6 months ago
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆17Oct 19, 2025Updated 4 months ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- ☆18Jun 30, 2024Updated last year
- Persistent binary merkle tree☆26Feb 17, 2026Updated 2 weeks ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- ☆19Aug 4, 2022Updated 3 years ago
- ☆19Jun 18, 2024Updated last year
- SSZ-compatible tree hash implementation optimised for speed and security☆23Feb 5, 2026Updated last month
- Proof of concept trade simulation using state overrides☆23Sep 8, 2022Updated 3 years ago
- Ethereum stateless tools☆45Apr 17, 2025Updated 10 months ago
- You Need A Transaction Manager (for Ethereum)☆22Jan 24, 2023Updated 3 years ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- A collection of learning materials on the Beam chain and Ream client.☆52Feb 24, 2026Updated last week
- Huff development plugin for Vim☆26Dec 31, 2022Updated 3 years ago
- ☆23Sep 13, 2024Updated last year
- Proxy LLVM calls into Rust own shared library in runtime☆34Mar 21, 2024Updated last year
- ☆26Feb 7, 2024Updated 2 years ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆33May 27, 2024Updated last year
- Post-quantum cryptography in Rust☆57Feb 22, 2026Updated last week
- ☆31Jun 17, 2024Updated last year
- Executable formal model of the EVM and Yul in Lean 4.☆66Nov 19, 2025Updated 3 months ago
- Winner of Grand Prize in Sustainability & Meta Best Innovation Award. We mitigate overfishing through AI-augmented satellite imagery and …☆28Feb 20, 2023Updated 3 years ago
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.☆31Jan 20, 2026Updated last month
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- Code for the dapp.tools website☆26Aug 25, 2021Updated 4 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆38Nov 19, 2025Updated 3 months ago
- mevETH LST Protocol - Repo has migrated see link☆26Mar 12, 2024Updated last year
- JSON-RPC, simplified, using tower and axum☆79Feb 15, 2026Updated 2 weeks ago
- A EVM block proving backend in Cairo☆88Updated this week
- ☆68Nov 24, 2025Updated 3 months ago
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 2 months ago
- A simple programming language for researching different ways of program execution and compilation☆34Oct 1, 2024Updated last year
- Beginner Friendly Rust Security Workshop☆35Feb 26, 2024Updated 2 years ago
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated 2 weeks ago
- ☆29Aug 17, 2022Updated 3 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆31Apr 19, 2024Updated last year