Стоимость газа не является настоящим узким местом. @brevis_zk подчеркивает, что на самом деле ломает системы. Повторяющаяся логика, повторная проверка истории и повторная валидация предположений фрагментируют композируемость. Это не безопасность. Это потраченная координация. ZK меняет модель, позволяя протоколам повторно использовать проверенные истины. Эффективность достигается за счет того, что не выполняется то, что уже доказано.