Hoje, @Xi_195 compartilhou uma postagem de que um provador @boundless_xyz entregou uma prova de 101B de tamanho de ciclo de uma só vez, e @Nahoc10 anunciou que esse recorde foi quebrado com uma prova de 106B de ciclo. Mas o que exatamente significa 106B ciclos no @RiscZero R0VM? Olhando para a ficha técnica de benchmark fornecida pela RISC Zero, as operações típicas mostram níveis ligeiramente superiores a 2M ciclos. Como isso mostra uma enorme diferença em comparação com o número 106B, precisamos encontrar um número mais comparável. Consegui encontrar números comparáveis no blog da RISC Zero. Em maio de 2024, eles anunciaram o Zeth, um provador de bloco ZK Ethereum de código aberto. Junto com o anúncio, divulgaram várias métricas, afirmando que geraram uma prova de aproximadamente 190B de tamanho de ciclo para provar 1.541 transações em 40 blocos Ethereum (180 blocos Optimism). Portanto, a prova de 100B de ciclos gerada através da Boundless desta vez é quase do tamanho de uma prova para 20 blocos Ethereum, o que pode ser considerado uma prova para um cálculo enormemente grande (pode não ser estritamente proporcional, no entanto). No experimento anterior, eles afirmaram que gerar uma prova de 190B de ciclos levou 1.624 minutos, e desta vez a Boundless levou 727 minutos para entregar a prova de 101B de ciclos, mostrando uma eficiência um pouco melhorada. * No entanto, enquanto o custo de gerar uma prova tão grande quanto 100B ciclos é estimado em cerca de $500-600, o fato de que o preço da prova foi definido em apenas 0,006 ETH devido à competição de leilão mostra uma certa distância da realidade. No entanto, acredito que isso sugere que provadores de nível institucional podem gerar provas suficientemente grandes através da competição na mainnet, o que implica que podemos realmente ultrapassar os limites da computação on-chain! A mainnet da Boundless não está longe, e será interessante observar os leilões de provas e o desempenho dos provadores após o lançamento da mainnet.