Я не розумію, звідки у людей ця помилка, що докази ZK швидші або можуть якось зробити систему швидшою. Це абсолютно неправильно. Вони можуть знизити деякі витрати на реплікацію, але вони не можуть покращити продуктивність, якщо вартість реплікації не є перешкодою. Припустимо, що докази zk абсолютно безкоштовні і миттєві. Якщо sizeof(tx) < sizeof(зміна стану), то майже завжди швидше завантажити tx і виконати його локально, оскільки пропускна здатність і затримка локальної пам'яті кращі, ніж пропускна здатність мережі та затримка. Завантаження результату стану з транзакції займе більше часу, ніж завантаження самої транзакції та використання локальної копії стану для її виконання та отримання результату. Тому єдине місце, де докази zk дійсно допомагають, це якщо реплікація коштує дорого. Де реплікація шалено дорога? На ethereum L1. Дешевше опублікувати root стану та доказ zk, щоб L1 міг пропустити виконання всього стану.