Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.
☆34Oct 20, 2026Updated 2 weeks ago
Alternatives and similar repositories for solidus
Users that are interested in solidus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.☆30Nov 2, 2026Updated last week
- Foundry toolchain manager☆13Nov 2, 2026Updated last week
- Core traits and libraries extracted from Foundry, published as crates so they can be depended on without git references.☆23Updated this week
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- Formally verified Ethereum primitives, written in Lean.☆92Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18Updated this week
- ERC5189 p2p transaction bundler☆14May 16, 2024Updated 2 years ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆60Jan 18, 2026Updated 9 months ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆34May 27, 2024Updated 2 years ago
- Solution for the Optimizoor club's sqrt challenge☆18Nov 2, 2022Updated 4 years ago
- P2P choreography☆17Oct 27, 2026Updated 2 weeks ago
- ☆28Sep 8, 2026Updated 2 months ago
- ☆59Updated this week
- ☆27Oct 26, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆19Sep 12, 2026Updated last month
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆19Dec 18, 2025Updated 10 months ago
- ☆17Oct 31, 2026Updated last week
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆39Jun 24, 2026Updated 4 months ago
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆29Apr 8, 2024Updated 2 years ago
- ☆58Jan 31, 2024Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- ERC-3770☆18Jul 9, 2024Updated 2 years ago
- An implementation of Tor, in Rust.☆13Oct 22, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia☆13Nov 2, 2026Updated last week
- A silent threshold encryption scheme, which does not require any interaction during the setup phase☆39Jun 16, 2025Updated last year
- ☆97Updated this week
- This repository implements a simple fork test on Optimism that proves that the EVM behaviour of the forked chain is not identically repli…☆15Updated this week
- Efficient beacon chain batch deposit contract written in huff☆23Oct 1, 2023Updated 3 years ago
- ☆48Dec 10, 2025Updated 10 months ago
- Modern fork of reth-libmdbx. Faster. Safer. Simpler.☆15Jun 18, 2026Updated 4 months ago
- Efficient, decentralised and MEV resistant mechanism to convert fee assets to a single token.☆35Oct 24, 2026Updated 2 weeks ago
- Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more☆28Oct 29, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14Nov 3, 2026Updated last week
- ☆27May 5, 2026Updated 6 months ago
- ☆16May 21, 2025Updated last year
- ☆19Sep 4, 2026Updated 2 months ago
- Delegate your governance tokens to this contract and never worry about those pesky governance proposals again.☆22Feb 10, 2022Updated 4 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated 2 years ago
- Web Proofs using zk-SXG☆31Nov 16, 2024Updated last year
Are these results useful?