Открытое программное обеспечение — это правильный путь.

Certora Prover сыграл ключевую роль в формальной верификации Morpho.