RAILGUN Circuits V2
☆24Mar 3, 2026Updated 3 weeks ago
Alternatives and similar repositories for circuits-v2
Users that are interested in circuits-v2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- Superset of Yul☆17Mar 6, 2026Updated 2 weeks ago
- Persistent binary merkle tree☆26Mar 19, 2026Updated last week
- 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
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆18Oct 19, 2025Updated 5 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆17Apr 3, 2025Updated 11 months ago
- ☆19Aug 4, 2022Updated 3 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- Ethereum stateless tools☆45Apr 17, 2025Updated 11 months ago
- Proxy LLVM calls into Rust own shared library in runtime☆34Mar 21, 2024Updated 2 years ago
- Wordle Game Implemented with Optimint☆15Apr 3, 2024Updated last year
- Smart contracts on the Ethereum side for cross-chain bridge☆14Mar 12, 2025Updated last year
- ☆29Aug 17, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆18Jun 30, 2024Updated last year
- ☆32Jun 14, 2024Updated last year
- Soroswap Core's (AMM, Factroy, Router) smart contracts written in rust with soroban-sdk☆18Dec 22, 2025Updated 3 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆38Mar 13, 2026Updated last week
- Proof of concept trade simulation using state overrides☆23Sep 8, 2022Updated 3 years ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Feb 5, 2026Updated last month
- A monorepo of reusable contracts for zero-knowledge technologies.☆20Jun 12, 2025Updated 9 months ago
- Executable formal model of the EVM and Yul in Lean 4.☆68Nov 19, 2025Updated 4 months ago
- Please fork and star this project if you find it useful! ⭐️☆13Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Code for the dapp.tools website☆26Aug 25, 2021Updated 4 years ago
- Proxy requests to different Ethereum RPC servers and optionally alter the request.☆24Nov 25, 2022Updated 3 years ago
- A collection of learning materials on the Beam chain and Ream client.☆52Mar 17, 2026Updated last week
- ☆19Jun 18, 2024Updated last year
- Huff development plugin for Vim☆26Dec 31, 2022Updated 3 years ago
- JSON-RPC, simplified, using tower and axum☆79Feb 15, 2026Updated last month
- ☆12Nov 29, 2023Updated 2 years ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.☆22Jan 24, 2024Updated 2 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆30Apr 19, 2024Updated last year
- Tooling to shim libfuzzer <-> golang native fuzzing