Dziś @Xi_195 podzielił się postem, że prover @boundless_xyz dostarczył dowód o rozmiarze cyklu 101B za jednym razem, a @Nahoc10 ogłosił, że ten rekord został pobity dowodem o rozmiarze cyklu 106B. Ale co dokładnie oznacza 106B cykli w @RiscZero R0VM? Patrząc na arkusz danych benchmarkowych dostarczony przez RISC Zero, typowe operacje pokazują poziomy nieco przekraczające 2M cykli. Ponieważ pokazuje to ogromną różnicę w porównaniu do liczby 106B, musimy znaleźć bardziej porównywalną wartość. Udało mi się znaleźć porównywalne dane na blogu RISC Zero. W maju 2024 roku ogłosili Zeth, open-source'owy prover ZK Ethereum. Wraz z ogłoszeniem ujawnili różne metryki, stwierdzając, że wygenerowali dowód o rozmiarze cyklu wynoszącym około 190B dla udowodnienia 1,541 transakcji w 40 blokach Ethereum (180 bloków Optimism). Dlatego dowód o rozmiarze cyklu 100B wygenerowany przez Boundless tym razem jest niemal równy dowodowi dla 20 bloków Ethereum, co można uznać za dowód dla ogromnej obliczeniowej mocy (może nie być to ściśle proporcjonalne). W poprzednim eksperymencie stwierdzili, że wygenerowanie dowodu o rozmiarze cyklu 190B zajęło 1,624 minuty, a tym razem Boundless zajęło 727 minut na dostarczenie dowodu o rozmiarze cyklu 101B, co pokazuje nieco poprawioną efektywność. * Jednakże, podczas gdy koszt wygenerowania dowodu o rozmiarze 100B cykli szacuje się na około 500-600 dolarów, fakt, że cena dowodu została ustalona na zaledwie 0.006 ETH z powodu konkurencji w aukcji, pokazuje pewną odległość od rzeczywistości. Niemniej jednak, uważam, że sugeruje to, że proverzy na poziomie instytucjonalnym mogą generować wystarczająco duże dowody poprzez konkurencję na mainnecie, co implikuje, że naprawdę możemy przełamać granice obliczeń on-chain! Mainnet Boundless nie jest daleko, a będzie interesujące obserwować aukcje dowodów i wydajność proverów po uruchomieniu mainnetu.