Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.
Your Foundry fuzz test fails. You copy the counter-example into a new unit test, sprinkle console.logs through the call stack, and squint at the trace. Simbolik kills that loop. You hit ▷ Debug on any fuzz test, enter the parameters, and you get the full debugger. You can set…
1/ An update on Skribe: a fuzz-testing framework for Arbitrum One and Stylus smart contracts. This will be the foundation of super-fast fuzzing for humans and agents on Stylus! We just finished milestone 3, which was focused on hooking up libAFL to our Rust KFramework library,…
Couldn't agree more! Formal Specification, Modelling, and Verification is really the only way to systematically understand a systems boundaries and behaviors. All other approaches basically amount to "statistical security" (eg. "X% of protocols that implement monitoring don't…
An increasing number of our audit findings now can be directly attributed to our proprietary AI Auditor. We’re grateful we get to work on securing the largest protocols, because exposure to that level of design & code complexity for our engineers benefits both the client and…
