Formal Verification for Ethereum
☆10Jan 27, 2026Updated 9 months ago
Alternatives and similar repositories for formal-eth
Users that are interested in formal-eth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.☆17Oct 18, 2026Updated last week
- forge development env for SUAVE key management☆20Aug 8, 2024Updated 2 years ago
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Aug 14, 2023Updated 3 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated 2 years ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆17Oct 3, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated 2 years ago
- ☆16Nov 19, 2025Updated 11 months ago
- BFV implementation in Python☆27Jul 16, 2024Updated 2 years ago
- A BrainFuck zkVM based on a customised version of PlonkUp☆11May 4, 2023Updated 3 years ago
- ☆26Feb 25, 2024Updated 2 years ago
- Formally verified Ethereum primitives, written in Lean.☆23Updated this week
- ☆11Sep 10, 2024Updated 2 years ago
- ☆13Nov 10, 2023Updated 2 years ago
- We're living in Obfustopia☆28Jan 2, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Oct 27, 2023Updated 3 years ago
- (Unofficial) Japanese translation of Dfinity documentation : (非公式) Dfinity ドキュメントの日本語翻訳☆13Oct 6, 2022Updated 4 years ago
- ☆12Dec 12, 2025Updated 10 months ago
- ☆12Sep 11, 2024Updated 2 years ago
- ☆14Dec 26, 2024Updated last year
- ☆16Nov 17, 2024Updated last year
- A minimal example of recursion in Noir.☆11Oct 21, 2023Updated 3 years ago
- Lime is an active hook manager which allows fillers or market makers to set price and fill Intent / RFQ based swap requests.☆12Sep 24, 2023Updated 3 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated 2 years 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.
- distributed sequencer with zk consensus☆31Apr 13, 2025Updated last year
- bottom text☆16Jan 26, 2024Updated 2 years ago
- ☆12Aug 14, 2024Updated 2 years ago
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated 2 years ago
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 9 months ago
- Proof of concept for a Frequent Batch Auction on Suave.☆16Jul 4, 2024Updated 2 years ago
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 3 years ago
- A ZK-VM for the Brainfuck language, based on Stwo☆35Apr 3, 2025Updated last year
- ☆41Jan 7, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A proof-of-concept implementation of KiloNova☆12Jun 15, 2026Updated 4 months ago
- This rollup will only let you click the cookie☆21Aug 7, 2023Updated 3 years ago
- A collection of ZK light client libraries for various blockchains☆71Dec 4, 2024Updated last year
- ☆69Apr 1, 2026Updated 6 months ago
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 10 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆99Jun 1, 2026Updated 4 months ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago