NASA-SW-VnV / mesa
Actor-based Runtime Verification Tool
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for mesa
- DRAT proof processor☆13Updated last year
- A non-invasive disjoint-set-like data structure implementation in Rust☆10Updated 4 months ago
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated last year
- ☆40Updated last year
- Shared Lurk source code, including tests and library code.☆18Updated 8 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆12Updated this week
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆57Updated last year
- ☆12Updated 3 weeks ago
- A library for partitioning 3D data.☆10Updated last month
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆30Updated last month
- Rust client library for Flashbot's mev-share.☆20Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated last year
- Reversing Ewasm (Ethereum WebAssembly) contract 101 - Workshop☆18Updated 4 years ago
- Verify a log is present in a block.☆12Updated 8 months ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- Repository of papers released by Modulus Labs☆12Updated 7 months ago
- Rust 256-bit unsigned integers.☆9Updated last year
- A simple TUI to assist in diffing bodies of text☆14Updated 6 months ago
- CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal☆20Updated last year
- ☆18Updated last year
- Generate high-volume state contention on EVM-like networks.☆18Updated this week
- Supplementary Material to be used with the Certora Prover☆17Updated 2 years ago
- Python tools for the K Framework☆13Updated 6 months ago
- A Symbolic Execution Tool for Cairo☆15Updated 2 years ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆40Updated this week
- A pure-std Rust computation graph library☆15Updated 3 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- A ziglang implementation of the SSZ serialization protocol☆21Updated 3 months ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆25Updated 5 months ago