NASA-SW-VnV / mesa
Actor-based Runtime Verification Tool
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for mesa
- DRAT proof processor☆13Updated last year
- Shared Lurk source code, including tests and library code.☆18Updated 8 months ago
- A non-invasive disjoint-set-like data structure implementation in Rust☆10Updated 5 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆12Updated this week
- ☆40Updated 2 years ago
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆57Updated last year
- Verify a log is present in a block.☆12Updated 8 months ago
- Python tools for the K Framework☆13Updated 6 months ago
- A Symbolic Execution Tool for Cairo☆15Updated 2 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆30Updated last month
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- A pure-std Rust computation graph library☆15Updated 3 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 …☆43Updated this week
- A library for partitioning 3D data.☆10Updated last month
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆13Updated 2 years ago
- A simple TUI to assist in diffing bodies of text☆14Updated 6 months ago
- No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)☆13Updated last year
- Exercises for the Dafny Tutorial☆10Updated 6 years ago
- Rust encryption library for practical time-lock encryption.☆25Updated 4 months ago
- Bit Twister: A CLI tool for precise network traffic shaping. Simulate latency, bandwith limitation, drop packets, impose jitter with ease…☆15Updated 10 months ago
- This repository is for topologic and geometric data analysis.☆13Updated 2 years ago
- Rust 256-bit unsigned integers.☆9Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆31Updated 7 months ago
- Rust client library for Flashbot's mev-share.☆20Updated last year
- Rust library for Intel TDX☆21Updated 3 months ago
- Supplementary Material to be used with the Certora Prover☆17Updated 2 years ago
- Repository of papers released by Modulus Labs☆12Updated 8 months ago