Når jeg ser noen av kommentarene, innser jeg at det kan være en viss forvirring eller misforståelse om hva dette betyr. Jeg bekrefter og gjentar at dette er en utrolig prestasjon, og at ingen andre testsystemer i verden i dag kan oppnå slike bragder med dette nivået av kostnadseffektivitet, tillitsløshet og soliditet. Vi flytter grensene for ZK-teknologi for å gjøre Bitcoins historie verifiserbar på måter som var utenkelige før. For det første antydet noen kommentarer sarkasme som: "De fikk det helt 'ned' til 6,5 timer", noe som antyder at det er tregt eller underveldende. Hmm, jeg tror det er en enorm forvirring her! De 6,5 timene er tiden for å generere det FULLE REKURSIVE BEVISET for hele kjeden. Dette gjøres KUN EN gang, med EN maskin (og vi optimaliserer for å få kostnadene ned ytterligere). LA OSS FOKUSERE PÅ DEN VIRKELIGE AVTALEN => Verifisering tar bare 50-100 MILLISEKUNDER, selv på små enheter som telefoner. Det handler ikke om å bevise tid, det er asymmetrien STARK-er gir: å bevise er beregningsintensivt, men engangs; Verifisering er lynrask og skalerer uendelig. Ettersom vi jobber hardt for å kunne bevise full blokkutførelse (skript, txs, etc.), vil verifiseringen fortsatt være ~100ms for hele kjeden. Det er game-changer! Neste element: "Bevis validerer ikke." Faktisk validerer verifisering av beviset! I stedet for å kjøre alt på nytt (den langsomme, tradisjonelle måten), verifiserer du STARK-beviset, som kryptografisk garanterer det samme resultatet, men eksponentielt raskere og med mindre beregning. Det er som å komprimere validering til en liten, effektiv sjekk uten å ofre sikkerheten. For å forklare nærmere, her er en arbeidsflyt på høyt nivå for vårt komprimerte SPV-bevis (ved hjelp av STARK-er via Cairo+Stwo): - Batchkjøring: En utførende behandler grupper med Bitcoin-blokkoverskrifter (f.eks. 1-10k, deretter 10k-20k) med bootloader og antatt gyldige Kairo-programmer, og genererer spor og utførelsesinnganger. - Bevisgenerering: En beviser oppretter et Stark-bevis som bekrefter at blokkvalideringslogikk ble korrekt utført over disse overskriftene. - Verifisering: Det komprimerte beviset + gjeldende kjedetilstand + MMR-roten går til en on-chain/off-chain-verifikator, som tillitsløst bekrefter:Validitet og kobling av alle overskrifter tilbake til genesis. * Inkludering av målblokk (via MMR-bevis). * Tilstrekkelig kumulativ vanskelighetsgrad/arbeid. * Riktige tidsstempler og konsensusregler. * Target tx-inkludering (via Merkle/SPV-bevis). Se flere detaljer her: Og implementering av hovedprogrammet i Kairo her: