An open benchmark for evaluating smart contracts verification tools.
☆16Oct 5, 2025Updated 5 months ago
Alternatives and similar repositories for contracts-verification-benchmark
Users that are interested in contracts-verification-benchmark are comparing it to the libraries listed below
Sorting:
- ☆17Jan 13, 2022Updated 4 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆22Aug 22, 2024Updated last year
- Executable formal model of the EVM and Yul in Lean 4.☆65Nov 19, 2025Updated 3 months ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆34Updated this week
- ☆41Nov 21, 2022Updated 3 years ago
- ☆42Nov 14, 2024Updated last year
- Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.☆48Jan 5, 2026Updated 2 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Roboadvisors claim they are democratizing the access to advanced advisory services of wealth management. Well, we think that if it is not…☆11Jun 10, 2021Updated 4 years ago
- ☆10May 24, 2023Updated 2 years ago
- Lydia: Who's Your Enemy in the Dark Forrest☆13Aug 24, 2025Updated 6 months ago
- ☆20Mar 20, 2025Updated 11 months ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Repository of papers released by Modulus Labs☆14Mar 13, 2024Updated last year
- ☆12Nov 19, 2024Updated last year
- The official Go SDK for SPIKE, enabling secure secrets management through SPIFFE-authenticated mTLS. Simplifies secrets operations for Go…☆14Jan 20, 2026Updated last month
- This repository contains a tutorial on how to build roll_up with☆10Mar 9, 2019Updated 6 years ago
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Oct 22, 2025Updated 4 months ago
- Nmap results are a semigroup☆13Jul 8, 2021Updated 4 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- 🎩🪄 Easily deal any amount of any ERC20 tokens to any account on the hardhat network☆11Jan 21, 2025Updated last year
- My playgrounderino for starkneterino☆13Nov 24, 2021Updated 4 years ago
- system to run repls in background, useful for ai automation☆20Jul 6, 2025Updated 7 months ago
- On-Chain Experiment Hub☆14Mar 31, 2022Updated 3 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated last year
- Ethereum stateless book☆16Feb 12, 2026Updated 3 weeks ago
- Maturin Starter Project w/PyO3 & Poetry☆13Aug 28, 2022Updated 3 years ago
- Feature Store for Machine Learning, published by Packt☆13Feb 5, 2026Updated last month
- ☆15Mar 29, 2023Updated 2 years ago
- Redirect and clean URLs in qutebrowser.☆17Updated this week
- ☆15Dec 15, 2021Updated 4 years ago
- A place for dash docsets. Includes scipy, numpy, pandas, scikit-learn, scikit-image,...☆34May 9, 2014Updated 11 years ago
- [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper☆12Feb 16, 2025Updated last year
- A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models☆11Sep 18, 2025Updated 5 months ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- ♨️ Highest Throughput EVM L2 PoC, ThreadSafe Execution ♨️☆16Mar 18, 2024Updated last year