Я не понимаю, откуда у людей возникло это заблуждение, что ZK-доказательства быстрее или могут каким-то образом ускорить систему. Это совершенно неправильно. Они могут снизить некоторые затраты на репликацию, но не могут улучшить производительность, если затраты на репликацию не являются препятствием. Предположим, что zk-доказательства совершенно бесплатны и мгновенны. Если sizeof(tx) < sizeof(state change), то почти всегда быстрее скачать tx и выполнить его локально, потому что пропускная способность и задержка локальной памяти лучше, чем пропускная способность и задержка сети. Загрузить результат состояния из транзакции займет больше времени, чем скачать саму транзакцию и использовать локальную копию состояния для ее выполнения и получения результата. Таким образом, единственное место, где zk-доказательства действительно помогают, это если репликация дорогая. Где репликация безумно дорогая? На Ethereum L1. Дешевле опубликовать корень состояния и zk-доказательство, чтобы L1 мог пропустить выполнение всего состояния.