Команда формальной верификации в Nethermind уже некоторое время разрабатывает экспертизу в верификации zkVM. Миссия заключается в том, чтобы сделать zk надежным и корректным способом масштабирования Ethereum. Мы доказываем, что новый уровень безопасности в инфраструктуре Ethereum достижим. Безопасность на триллионы долларов 🫡