#68 Certik Formal Verification

Proposal for MetFi smart contracts to undergo Certik Formal Verification.

Motivation

Give the MetFi and broader blockchain community even greater confidence in the veracity of our smart contracts. Importantly, this process includes Certik verifying that the smart contracts that have been audited by Certik have not been changed. At the end of this process, the Certik MetFi page will have a new Formal Verification badge.

About

Formal verification is a method of mathematically proving that a computer program functions as intended. It involves expressing the program's properties and expected behavior as mathematical formulas, and then using automated tools to check that these formulas hold true. This process helps ensure that the program meets its desired specifications.

You can read about Certik Formal Verification here:

• https://www.certik.com/products/formal-verification
• https://www.certik.com/resources/blog/3UDUMVAMia8ZibM7EmPf9f-what-is-formal-verification

Budget

3,000 USDT value one-time.

Vote Discussion

Join the discussion on this proposal in the MetFi DAO Discord and head to the #vote-discussion channel.

Proposal

If the community approves this proposal with a FOR vote – the DAO will ask Certik to formally verify our smart contracts.

Please vote FOR to approve this proposal or AGAINST to block this proposal.