Heute hat @Xi_195 einen Beitrag geteilt, dass ein @boundless_xyz Prover einen Beweis von 101B Zyklusgröße in einem Rutsch geliefert hat, und @Nahoc10 hat angekündigt, dass dieser Rekord mit einem Beweis von 106B Zyklen gebrochen wurde. Aber was genau bedeutet 106B Zyklen im @RiscZero R0VM? Wenn man sich das Benchmark-Datenblatt von RISC Zero ansieht, zeigen typische Operationen Werte, die leicht über 2M Zyklen liegen. Da dies eine enorme Lücke im Vergleich zur Zahl 106B zeigt, müssen wir eine vergleichbarere Zahl finden. Ich konnte vergleichbare Zahlen im Blog von RISC Zero finden. Im Mai 2024 haben sie Zeth angekündigt, einen Open-Source Ethereum ZK Block Prover. Mit der Ankündigung haben sie verschiedene Metriken offengelegt und erklärt, dass sie einen Beweis von ungefähr 190B Zyklusgröße für die Prüfung von 1.541 Transaktionen über 40 Ethereum-Blöcke (180 Optimismus-Blöcke) generiert haben. Daher ist der 100B Zyklusbeweis, der diesmal durch Boundless generiert wurde, nahezu die Größe eines Beweises für 20 Ethereum-Blöcke, was als Beweis für eine enorm große Berechnung angesehen werden kann (es mag jedoch nicht strikt proportional sein). Im vorherigen Experiment gaben sie an, dass die Generierung eines 190B Zyklusbeweises 1.624 Minuten dauerte, und diesmal benötigte Boundless 727 Minuten, um den 101B Zyklusbeweis zu liefern, was eine etwas verbesserte Effizienz zeigt. * Allerdings wird geschätzt, dass die Kosten für die Generierung eines Beweises in der Größenordnung von 100B Zyklen bei etwa 500-600 $ liegen, die Tatsache, dass der Preis für den Beweis aufgrund des Auktionswettbewerbs auf nur 0,006 ETH festgelegt wurde, zeigt eine gewisse Distanz zur Realität. Dennoch glaube ich, dass dies darauf hindeutet, dass institutionelle Prover in der Lage sind, ausreichend große Beweise durch Wettbewerb im Mainnet zu generieren, was impliziert, dass wir tatsächlich die Grenzen der On-Chain-Berechnung durchbrechen können! Das Mainnet von Boundless ist nicht mehr weit entfernt, und es wird interessant sein, die Beweisauktionen und die Leistung der Prover nach dem Start des Mainnets zu beobachten.