Contributor
@InfiniteEchoes
repos
4
ecosystems
2
languages
commits
1,406
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Make your zero-knowledge circuits safe with formal verification! 🍀
Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in pause)
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
