Команда Nethermind Formal Verification представляє CertiPlonk — фреймворк для вилучення обмежень Plonky3 та перевірки їх коректності у @leanprover. CertiPlonk перевіряє коректність схем без змін у коді. Підтримується грантом від @ethereumfndn. Детальніше ⬇️