Vitalik Buterin apelou a um limite máximo para os custos de prova do Ethereum por unidade de gás do bloco, acrescentando um requisito de contabilidade de recursos à corrida por provas de conhecimento zero mais rápidas. Numa publicação de 15 de outubro, congratulou-se com a equipa Airbender da ZKsync e definiu três prioridades: alinhar a representação matemática da execução com a especificação do Ethereum, limitar o custo do provador em relação ao gás do bloco e assegurar o próprio sistema de provas.
O lado da prova está a evoluir depressa. A ZKsync reportou no dia 13 de outubro que uma única GPU NVIDIA RTX PRO 6000 Blackwell provou 99% de 7.200 blocos consecutivos da mainnet do Ethereum em menos de 10 segundos cada, com todos os blocos amostrados a concluir em menos de 12 segundos. Mas o desempenho amostral não é uma garantia: um limite de custos tem de cobrir blocos deliberadamente caros, e não apenas os típicos.
Por que é importante
O gás existe para limitar o consumo de recursos de um bloco, e o argumento de Buterin é que essa dotação deveria traduzir-se também num limite fiável para os recursos de prova. O EIP-7904, atualmente Informational em Last Call com prazo de 1 de novembro, não recomenda repricing de computação, mas a sua análise cobre apenas a execução em CPU puro a 100 milhões de gás por segundo e não aborda expressamente a geração de provas ZK-SNARK.
As medições de janeiro da Nethermind Research constataram que as precompiles criptográficas e as operações de aritmética modular ou divisão custam desproporcionalmente mais para provar por gás, com resultados variáveis consoante o provador. Para um operador que orçamente hardware, é a workload legal mais exigente, e não o bloco médio, que determina a capacidade de reserva necessária.
Impacto no mercado
As respostas prováveis incluem uma medição ponderada de ZK-gás com teto por bloco, como delineado pela Nethermind, ou o repricing de opcodes através da dotação de gás existente, o que encareceria as aplicações que usam operações intensivas em provas. O mercado de taxas multidimensional do EIP-7999 permanece em Draft, e a proposta de provas de execução opcionais do EIP-8025 não oferece incentivos aos provers. Até que chegue um limite atrelado a workloads explícitas, hardware e pressupostos de segurança, uma maior capacidade de execução acarreta uma fatura de prova imprevisível para os provers independentes.
Perguntas frequentes
-
O que propôs Vitalik Buterin para os custos de prova do Ethereum?
Numa publicação de 15 de outubro, apelou a um limite máximo para o custo de prova por unidade de gás do bloco, junto com prioridades de verificação formal que abrangem o alinhamento com a especificação e a segurança do sistema de provas.
-
Quão rápidas são as provas atuais da ZKsync para o Ethereum?
A ZKsync reportou que uma única GPU NVIDIA RTX PRO 6000 Blackwell provou 99% de 7.200 blocos consecutivos da mainnet em menos de 10 segundos cada, com todos os blocos amostrados abaixo dos 12 segundos.
-
Por que o EIP-7904 não cobre a geração de provas?
O EIP-7904 não recomenda repricing de computação com base numa análise de execução em CPU puro a 100 milhões de gás por segundo, e afirma expressamente que não aborda a geração de provas ZK-SNARK, que impõe workloads diferentes.
-
Quais operações são mais caras de provar no Ethereum?
As medições da Nethermind Research constataram que as precompiles criptográficas e várias operações de aritmética modular ou divisão custam relativamente mais para provar por gás, com custos variáveis entre provers como SP1 e RISC0.
-
Como poderia o Ethereum impor um limite aos custos de prova?
As opções incluem uma medição ponderada de ZK-gás com teto por bloco, como delineado pela Nethermind, ou o repricing de opcodes através da dotação de gás existente, de modo que as operações intensivas em provas consumam mais capacidade do bloco.
WuBlockchain
CoinTelegraph
CZ Binance
Crypto News
TheBlock
Glassnode