☆31Oct 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for verified-consensus
Users that are interested in verified-consensus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C implementation of Lean consensus for post-quantum Ethereum.☆15Oct 8, 2026Updated last month
- ☆12Jun 5, 2025Updated last year
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 11 months ago
- Rust implementation of KZG point evaluation☆36Oct 23, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.☆17Oct 29, 2026Updated last week
- ☆15Aug 6, 2026Updated 3 months ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆18Jul 13, 2025Updated last year
- Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI☆15Apr 6, 2026Updated 7 months ago
- Verification of Rust code in Lean 4☆12Apr 18, 2026Updated 6 months ago
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆24Updated this week
- ☆19Sep 12, 2026Updated last month
- Simulate transactions locally before submitting.☆24Aug 25, 2025Updated last year
- A C# implementation of the Altair Minimal specification, also known as a consensus layer light client.☆15Jun 20, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lean Ethereum protocol specifications and test vector generation framework.☆146Sep 2, 2026Updated 2 months ago
- ☆19May 14, 2024Updated 2 years ago
- ☆28Apr 7, 2026Updated 7 months ago
- ☆69Apr 1, 2026Updated 7 months ago
- a lib☆11Oct 16, 2025Updated last year
- Formally verified Ethereum primitives, written in Lean.☆96Updated this week
- A fast, modular, optimized ZKEVM core written in C++☆15Oct 30, 2026Updated last week
- Safe multisig watcher☆36Dec 15, 2025Updated 10 months ago
- Agentic RAG system grounded in Ethereum specs, discussions, papers, and codebases☆29Feb 16, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆24May 3, 2026Updated 6 months ago
- ☆14Nov 3, 2026Updated last week
- Explorations on mobile-first GPU acceleration, currently support MSM.☆29Aug 6, 2026Updated 3 months ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆13Aug 11, 2024Updated 2 years ago
- Militereum is a firewall for your crypto wallets☆19Oct 29, 2026Updated last week
- [DEPRECATED]: now part of the https://github.com/libp2p/js-libp2p repo☆14Aug 23, 2019Updated 7 years ago
- Unified zkVM Interface & Toolkit☆87Nov 1, 2026Updated last week
- Pi-calculus in Coq☆12Oct 18, 2020Updated 6 years ago
- a utility to quickly spin up a localnet of lean (multi-client) nodes☆15Jul 21, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Poseidon hash implementation in Rust☆26Oct 27, 2026Updated 2 weeks ago
- A light weight abstraction of the Ethereum JSON RPC API☆11Jan 25, 2016Updated 10 years ago
- ☆17Jun 25, 2026Updated 4 months ago
- Experiments in visualizing Ethereum network upgrades☆65Updated this week
- A Lean library for machine-checked cryptographic proofs.☆175Updated this week
- Client side zero-knowledge proving.☆148Updated this week
- fork of https://github.com/arnaucube/poseidon-rs ported to ark_ff☆13Nov 15, 2023Updated 2 years ago
Are these results useful?