Continuous Formal Verification

Certora Continuous Formal Verification Grant Plan

Hi everyone, we’re glad to announce our grant plan to the community

Time Frame

Up to 1st of October 2022

Evaluation

Grants will be given to participants who meet the following criteria:

  1. Each participant that contributes at least 3 good rules will receive 2k$. Rules will be counted only if they are verified or uncover an issue in the code.

  2. For every additional rule/invariant or issue found in the process, an additional 0.5k will be rewarded.

  3. Each participant will be limited to a max reward of 10k per project.

How To Participate

If you’re not registered yet, you can fill your details in the following form:

2 Likes