A high-level API for interacting with SMT solvers.
☆33Dec 8, 2025Updated 2 months ago
Alternatives and similar repositories for smtlib-rs
Users that are interested in smtlib-rs are comparing it to the libraries listed below
Sorting:
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆68Mar 5, 2024Updated 2 years ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Feb 25, 2026Updated last week
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- ☆16Jan 5, 2022Updated 4 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- Interval Tree In Rust☆20Oct 22, 2022Updated 3 years ago
- ☆43Jun 28, 2025Updated 8 months ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Feb 5, 2026Updated last month
- Proof of concept trade simulation using state overrides☆23Sep 8, 2022Updated 3 years ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- ☆16Mar 29, 2024Updated last year
- The last-write-wins register CRDT☆17Nov 10, 2024Updated last year
- Transaction fuzzer on steroids for the Ethereum Protocol☆14May 9, 2025Updated 9 months ago
- ☆15Jul 2, 2023Updated 2 years ago
- ☆16Feb 9, 2026Updated 3 weeks ago
- wall time exex for reth☆12Aug 5, 2024Updated last year
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- ☆31Oct 27, 2025Updated 4 months ago
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- A helper library to generate complex and nested structures by a simple macro☆14Feb 8, 2026Updated 3 weeks ago
- A simple allocator written in Rust that manages memory in fixed-size chunks.☆12Sep 29, 2024Updated last year
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- Based Ethereum framework for writing tests in Rust☆12Dec 17, 2023Updated 2 years ago
- RAILGUN Circuits V2☆24Sep 26, 2025Updated 5 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated 2 weeks ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Apr 27, 2025Updated 10 months ago
- Rust encryption library for practical time-lock encryption.☆37Jul 19, 2024Updated last year
- ☆13Feb 25, 2026Updated last week
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 8 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- Analyzing the driver and internal module of EasyAntiCheat.☆40May 1, 2023Updated 2 years ago
- ☆17Aug 31, 2023Updated 2 years ago
- A vulkan loader for termux to load android driver with x11 functionalities.☆12Aug 9, 2025Updated 6 months ago