Na minha opinião, a transição de estado do Reth no topo de um grande estado de cadeia (por exemplo, Ethereum, Base) é o melhor benchmark para o desempenho de provas de conhecimento zero no mundo real.

Já temos isso demonstrado com múltiplos ZKVMs, hoje, alimentados por um programa executor Reth sem estado MPT, como o RSP da Succinct no SP1.

Não tem Reth no seu ZKVM? Entre em contato comigo, @r_krasiuk ou @kevaundray.