Aujourd'hui, @Xi_195 a partagé un post indiquant qu'un prouveur de @boundless_xyz a livré une preuve de 101B de taille de cycle d'un seul coup, et @Nahoc10 a annoncé que ce record avait été battu avec une preuve de 106B de cycle. Mais que signifie exactement 106B cycles dans @RiscZero R0VM ? En regardant la fiche technique de référence fournie par RISC Zero, les opérations typiques montrent des niveaux légèrement supérieurs à 2M cycles. Comme cela montre un écart énorme par rapport au nombre 106B, nous devons trouver un chiffre plus comparable. J'ai pu trouver des chiffres comparables sur le blog de RISC Zero. En mai 2024, ils ont annoncé Zeth, un prouveur de blocs ZK Ethereum open-source. Lors de l'annonce, ils ont divulgué diverses métriques, déclarant qu'ils avaient généré une preuve d'environ 190B de taille de cycle pour prouver 1 541 transactions à travers 40 blocs Ethereum (180 blocs Optimism). Par conséquent, la preuve de 100B de cycles générée cette fois par Boundless est presque de la taille d'une preuve pour 20 blocs Ethereum, ce qui peut être considéré comme une preuve pour un calcul extrêmement large (cela peut ne pas être strictement proportionnel cependant). Dans l'expérience précédente, ils ont déclaré que générer une preuve de 190B de cycles avait pris 1 624 minutes, et cette fois, Boundless a pris 727 minutes pour livrer la preuve de 101B de cycles, montrant une efficacité quelque peu améliorée. * Cependant, bien que le coût de génération d'une preuve aussi grande que 100B de cycles soit estimé à environ 500-600 $, le fait que le prix de la preuve ait été fixé à seulement 0,006 ETH en raison de la concurrence aux enchères montre un certain écart par rapport à la réalité. Néanmoins, je crois que cela suggère que les prouveurs de niveau institutionnel peuvent générer des preuves suffisamment grandes grâce à la concurrence sur le mainnet, ce qui implique que nous pouvons vraiment franchir les limites du calcul on-chain ! Le mainnet de Boundless n'est pas loin, et il sera intéressant de suivre les enchères de preuves et la performance des prouveurs après le lancement du mainnet.