Widząc niektóre komentarze, zdaję sobie sprawę, że może być pewne zamieszanie lub nieporozumienie co do tego, co to oznacza. Potwierdzam i powtarzam, że to niesamowity wynik i że żaden inny system dowodzenia na świecie nie może osiągnąć takich wyczynów przy takiej efektywności kosztowej, braku zaufania i solidności. Przesuwamy granice technologii ZK, aby uczynić historię Bitcoina weryfikowalną w sposób, który wcześniej był nie do pomyślenia. Po pierwsze, niektóre komentarze sugerowały sarkazm, jak: "Zredukowali to do 6,5 godziny", co sugeruje, że jest to wolne lub rozczarowujące. Hmm, myślę, że tutaj jest ogromne nieporozumienie! 6,5 godziny to czas potrzebny na wygenerowanie PEŁNEGO DOWODU REKURSYWNEGO dla całego łańcucha. To jest robione TYLKO RAZ, przez JEDNĄ maszynę (i optymalizujemy, aby jeszcze bardziej obniżyć koszty). SKUPMY SIĘ NA PRAWDZIWYM ZAGADNIENIU => Weryfikacja zajmuje tylko 50-100 MILISEKUND, nawet na małych urządzeniach, takich jak telefony. Nie chodzi o czas dowodzenia, to asymetria, jaką zapewniają STARKi: dowodzenie jest intensywne obliczeniowo, ale jednorazowe; weryfikacja jest błyskawiczna i skaluje się w nieskończoność. Gdy ciężko pracujemy, aby móc udowodnić pełne wykonanie bloku (skrypty, transakcje itp.), weryfikacja nadal będzie wynosić ~100ms dla całego łańcucha. To jest zmiana gry! Następny element: "Dowody nie weryfikują." W rzeczywistości, weryfikacja dowodu rzeczywiście weryfikuje! Zamiast ponownie wykonywać wszystko (wolny, tradycyjny sposób), weryfikujesz dowód STARK, który kryptograficznie gwarantuje ten sam wynik, ale eksponencjalnie szybciej i z mniejszymi obliczeniami. To jak kompresowanie weryfikacji w mały, efektywny sprawdzian bez poświęcania bezpieczeństwa. Aby wyjaśnić dalej, oto ogólny przepływ pracy dla naszego Skondensowanego Dowodu SPV (używając STARKów przez Cairo+Stwo): - Wykonanie wsadowe: Wykonawca przetwarza wsady nagłówków bloków Bitcoina (np. 1-10k, następnie 10k-20k) z programami bootloader i assumevalid Cairo, generując ślady i dane wejściowe do wykonania. - Generowanie dowodu: Dowodzący tworzy dowód STARK, potwierdzający, że logika walidacji bloku została poprawnie wykonana na tych nagłówkach. - Weryfikacja: Skondensowany dowód + aktualny stan łańcucha + korzeń MMR trafia do weryfikatora on-chain/off-chain, który bez zaufania potwierdza: Ważność i powiązanie wszystkich nagłówków z genezą. * Włączenie docelowego bloku (poprzez dowód MMR). * Wystarczająca skumulowana trudność/praca. * Poprawne znaczniki czasowe i zasady konsensusu. * Włączenie docelowej transakcji (poprzez dowód Merkle/SPV). Zobacz więcej szczegółów tutaj: I wdrożenie głównego programu Cairo tutaj: