Refinement proofs in Lean for EVM bytecode
☆29Oct 26, 2026Updated 2 weeks ago
Alternatives and similar repositories for EquiVM
Users that are interested in EquiVM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆54Updated this week
- Security advisories for issues found by Asymmetric Research.☆11Dec 9, 2024Updated last year
- Course Material for "Programming Languages II"☆14Oct 24, 2026Updated 2 weeks ago
- ☆11Feb 18, 2024Updated 2 years ago
- ☆17Feb 19, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Signet Orders examples in solidity☆13May 28, 2026Updated 5 months ago
- Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.☆30Jan 27, 2026Updated 9 months ago
- Smart contract specification language☆283Nov 1, 2026Updated last week
- smart contracts for opclave☆10Mar 26, 2023Updated 3 years ago
- Executable formal model of the EVM and Yul in Lean 4.☆102Nov 19, 2025Updated 11 months ago
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 6 months ago
- A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia☆13Nov 2, 2026Updated last week
- ☆14Oct 13, 2026Updated 3 weeks ago
- An open benchmark for evaluating smart contracts verification tools.☆17Oct 5, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tama is a developer tool for building formally verified Ethereum smart contracts in Verity☆26Sep 15, 2026Updated last month
- K semantics for Solana☆16Jun 23, 2026Updated 4 months ago
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 4 years ago
- zkVMs vulnerabilities☆16May 4, 2026Updated 6 months ago
- Simple module to control a Safe via crosschain calls with Hashi☆27Dec 20, 2024Updated last year
- ☆19Sep 4, 2026Updated 2 months ago
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- AI prompts for web3 security researchers — bug bounties, private audits, and contests☆23Mar 9, 2026Updated 8 months ago
- Library for structural temporal logic proofs over coinductive, free monads with effects and choice.☆12Updated this week
- 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.
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆19Oct 29, 2026Updated 2 weeks ago
- Elliptic Curves Cryptography for OCaml☆12Oct 26, 2019Updated 7 years ago
- ☆13Oct 3, 2023Updated 3 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- ERC-3770☆18Jul 9, 2024Updated 2 years ago
- Solidity Reentrancy Guard implementation using Transient Storage Opcodes (EIP-1153)☆13Oct 11, 2024Updated 2 years ago
- Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)☆14Oct 17, 2021Updated 5 years ago
- Claude skill for cloning onchain smart contracts with etherscan.☆25Apr 23, 2026Updated 6 months ago
- Fastest EVM bytecode decompiler in the Roman Empire☆12Oct 15, 2026Updated 3 weeks ago
- AI Agents on 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.
- A universal soundness calculator across hash-based zkEVMs and security regimes☆57Oct 30, 2026Updated last week
- A fast Solidity language server powered by solc and foundry.☆27Nov 3, 2026Updated last week
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆137Feb 25, 2024Updated 2 years ago
- Haskell implementation of open games☆39Oct 3, 2024Updated 2 years ago
- Keybase.io library for Node.js☆11Mar 25, 2015Updated 11 years ago
- A TypeScript library for tracing, and visualizing EVM state changes with detailed human-readable labeling.☆34Jul 24, 2025Updated last year
- ☆12Feb 16, 2024Updated 2 years ago
Are these results useful?