PeerDAS добавляет еще один уровень оптимизации. Вместо того чтобы каждому узлу загружать данные целого блока, узлы должны проверять только небольшую, случайную часть. Математика гарантирует, что если данные отсутствуют или изменены, вероятность обнаружения очень высока. Это похоже на то, как класс читает по несколько страниц из книги, но при этом все равно уверены, что книга полная и не была изменена.

Трилемма блокчейна может быть просто понята как проблема, с которой сталкивается каждый блокчейн, подобно строительству города. Каждый хочет, чтобы этот город был открыт для всех, достаточно безопасным, чтобы предотвратить мошенничество, и быстрым и большим, чтобы вместить миллионы пользователей одновременно. Проблема в том, что за годы было понято, что достичь всех трех одновременно трудно, почти невозможно. Приоритизация безопасности и децентрализации приводит к медленной системе, в то время как скорость и доступность часто обходятся за счет децентрализации.

Биткойн является самым ясным примером этой компромисса. Сеть высоко децентрализована и чрезвычайно безопасна, но обработка транзакций медленная, потому что каждая точка должна выполнять весь процесс верификации. Напротив, многие другие быстрые и недорогие блокчейны могут обрабатывать большое количество транзакций, но только несколько узлов контролируют систему, снижая децентрализацию. Таким образом, долгое время сообщество считало, что трилемма блокчейна была непреодолимым ограничением.

Когда Виталик сказал, что Эфириум "решил" трилемму, он не имел в виду, что Эфириум нарушил фундаментальные правила или полностью устранил компромиссы. Что Виталик имел в виду, так это то, что Эфириум изменил способ проектирования системы. Вместо того чтобы требовать, чтобы каждая нода делала всё, Эфириум разбивает работу и использует математику, чтобы убедиться, что конечный результат остается точным. Это огромная разница по сравнению с традиционным строительством блокчейна.

С ZKEVM вы можете представить, что некоторые узлы обрабатывают тяжелые вычисления, а затем создают математическое доказательство, демонстрирующее, что всё было обработано правильно. Оставшиеся узлы не нуждаются в повторной проверке всего процесса; им нужно только проверить это доказательство. Это похоже на то, чтобы не проверять каждую отдельную счёт-фактуру самостоятельно, а просто доверять математически проверенному отчету, где мошенничество практически невозможно.