Команда формальной верификации Nethermind представляет CertiPlonk, фреймворк для извлечения ограничений Plonky3 и проверки их корректности в @leanprover.
CertiPlonk проверяет корректность схемы без изменений в коде.
Поддерживается грантом от @ethereumfndn.
Дополнительная информация ⬇️
Многие люди присоединились к нам сегодня утром на Security Connect, совместно организованном с @HypernativeLabs и поддержанном @zksync.
Сильные обсуждения, хорошие вопросы и реальный интерес к тому, как системы на блокчейне могут быть защищены в реальном времени.
