Interested in Solana and Formal Verification? Read this article :)
First, we’ll quickly talk about Ethereum, then about the Solana Squad multisig program, and in the end about my tool Seaverify. First, the EVM On Ethereum, plenty of tools around formal verification exists.
Lot of them were morever created recently (that’s somewhat the current…