Hoje, @Xi_195 compartilhou uma postagem que um provador de @boundless_xyz entregou uma prova do tamanho do ciclo 101B de uma só vez, e @Nahoc10 anunciou que esse recorde foi quebrado com uma prova do ciclo 106B. Mas o que exatamente significam os ciclos de 106B em @RiscZero R0VM? Olhando para a folha de dados de benchmark fornecida pelo RISC Zero, as operações típicas mostram níveis ligeiramente superiores a 2M ciclos. Como isso mostra uma enorme lacuna em comparação com o número 106B, precisamos encontrar um número mais comparável. Consegui encontrar números comparáveis no blog do RISC Zero. Em maio de 2024, eles anunciaram o Zeth, um provador de bloco Ethereum ZK de código aberto. Ao longo do anúncio, eles divulgaram várias métricas, afirmando que geraram uma prova de aproximadamente 190 bilhões de tamanho de ciclo para comprovar 1.541 transações em 40 blocos Ethereum (180 blocos Optimism). Portanto, a prova de ciclo 100B gerada através do Boundless desta vez é quase o 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 experimento anterior, eles afirmaram que a geração de uma prova de ciclo 190B levou 1.624 minutos e, desta vez, a Boundless levou 727 minutos para entregar a prova do ciclo 101B, 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 US$ 500-600, o fato de o preço da prova ter sido fixado em apenas 0,006 ETH devido à concorrência do leilão mostra alguma distância da realidade. No entanto, acredito que isso sugere que os provadores de nível institucional podem gerar provas suficientemente grandes por meio da competição na rede principal, o que implica que podemos realmente romper os limites da computação on-chain! A rede principal da Boundless não está longe, e será interessante assistir aos leilões de prova e ao desempenho da prova após o lançamento da rede principal.
9,34K