Radix Announces Formal Verification Challenge with $100K Prize Pool
Radix, a UK-based technology startup focused on building non-custodial protocols on Ethereum and other blockchains, has announced a formal verification challenge as part of their ongoing $1.25 million competition in collaboration with Cantina XYZ. The challenge, managed by Certora Inc., allocates $100,000 for participants to write robust rules that can identify bugs in the present and prevent future occurrences. This initiative aims to leverage the power of formal verification to enhance the security and reliability of Radix's protocols.