Past work
A public archive of completed engagements
Every engagement we can talk about, across formal verification, design review, code review and fuzzing. Filter by service or ecosystem, or search for a project by name.
Refine the archive
Find comparable work
Services
Ecosystems
Showing 20 of 43 projects
Need a similar engagement?
Runtime Verification combines formal methods expertise with practical smart contract security reviews for high-assurance systems.
Request work| Project | Services | Ecosystem | Completed | Report |
|---|---|---|---|---|
code reviewdesign review | Stellar | 2026/07/24 | details | |
code reviewdesign review | Stellar | 2026/06/19 | details | |
formal verificationcode reviewdesign reviewfuzzing | Stellar | 2026/02/27 | details | |
design reviewcode reviewformal verification | Monad | 2026/01/26 | details | |
Mithril Go Based Solana Node fuzzingdesign reviewformal modellingformal verificationcode review details | fuzzingdesign reviewformal modellingformal verificationcode review | Solana | 2025/12/05 | details |
code reviewdesign reviewformal verification | Ethereum | 2025/11/24 | details | |
code review | Stellar | 2025/11/17 | details | |
Kora solana paymaster service design reviewformal verificationformal modellingfuzzingcode review details | design reviewformal verificationformal modellingfuzzingcode review | Solana | 2025/10/22 | details |
Solana Token Wrap Extended Review Creation of "wrapped" versions of existing SPL tokens design reviewcode reviewformal verificationfuzzing details | design reviewcode reviewformal verificationfuzzing | Solana | 2025/10/10 | details |
Trustless Work smart escrow platform design reviewformal modellingformal verificationcode reviewfuzzing details | design reviewformal modellingformal verificationcode reviewfuzzing | Stellar | 2025/09/12 | details |
design reviewcode reviewformal verificationfuzzing | Ethereum | 2025/08/29 | details | |
Solana Token Wrap Initial Review Creation of "wrapped" versions of existing SPL tokens design reviewformal verificationcode review details | design reviewformal verificationcode review | Solana | 2025/05/28 | details |
Soul Protocol Omnichain DeFi Primitive Unifying Fragmented Lending Liquidity formal verificationdesign reviewcode review details | formal verificationdesign reviewcode review | Ethereum | 2025/05/23 | details |
design reviewcode review | Stellar | 2025/04/18 | details | |
design reviewcode reviewformal verification | Ethereum | 2025/03/31 | details | |
code reviewdesign review | Stellar | 2025/03/04 | details | |
design reviewcode reviewformal verification | Ethereum | 2025/02/24 | details | |
Lido (Dual Governance Formal Verification) Ethereum Staking design reviewcode reviewformal verificationfuzzing details | design reviewcode reviewformal verificationfuzzing | Ethereum | 2025/02/13 | details |
design review | Ethereum | 2025/02/03 | details | |
| Rust | 2024/12/20 | details |