De GOAT-netwerk heeft zijn testnet gelanceerd op basis van de BitVM2-technologie, met een implementatie die de aandacht waard is: realtime bewijs van Bitcoin ZK Rollup. Het realiseren van snelle ZK Rollup-bewijzen is een belangrijke ontwikkeling voor de infrastructuur van BTC L2. Wat betreft de gebruikerservaring zal de efficiëntie bij het opnemen aanzienlijk verbeteren in vergelijking met eerder, wat meer ontwikkelaars en gebruikers zal aantrekken. Hoe kunnen we dit technisch eenvoudig begrijpen? Laten we eerst kijken naar het implementatieproces van Bitcoin L2 door het GOAT-netwerk. Het GOAT-netwerk is een oplossing gebaseerd op Bitcoin L2, die gebruikmaakt van BitVM2 en zkMIPS-technologie, en ondersteunt het genereren van native BTC-inkomsten (wat betekent dat deelnemers de kans hebben om meer BTC te verdienen). Het proces omvat voornamelijk bruggen (Bridge in), uitgangen (Bridge out), sequencer-setverbintenissen (Sequencer Set Commitment) en terugbetalingsverwerking (Reimbursement). Bruggen houdt in dat BTC wordt gestaked in een taproot-script (zonder gecontroleerde privésleutel), en de tussenpersoon dient dit in bij het contract van Goat. De commissie bouwt een BitVM2-transactiestroom, de operator ondertekent vooraf en slaat deze op in IPFS, na verificatie door de gebruiker, geeft de tussenpersoon PegBTC uit op L2; de bruguitgang is het opnemen, waarbij de gebruiker een atomische transactie met de operator uitvoert (de gebruiker kan ook zelf de operator zijn, als hij dat niet wil, kan hij het opnemen via de operator), waarbij PegBTC op L2 wordt vernietigd, en de operator start de terugbetalingsverwerking, zonder dat er een Peg-OUT-transactie op de BTC-hoofdketen nodig is. De sequencer-verbintenis verwijst voornamelijk naar de commissie die regelmatig een Merkle-boom gebruikt om toekomstige sequencer-sets te beloven, ter ondersteuning van de verificatie van het Bitcoin-lightclientmechanisme. Door het Bitcoin-lightclientmechanisme te gebruiken, wordt de beloofde set van validators op BTC als publieke invoer voor de latere verificatie van nulkennisbewijzen gebruikt, om de verificatie van de consensus van L2-blokken te realiseren. De terugbetalingsverwerking houdt in dat de operator BTC stake en de transactie-ID van de opname en de laatste blokhash indient. Uitdagers voeren off-chain en on-chain verificatie uit; als er geen uitdaging is, ontvangt de operator de fondsen. Uitdagers kunnen ook een uitdaging indienen, en na de uitdaging wordt er willekeurig een validator gegenereerd, die interactief kan verifiëren via Bitcoin-scripts. De uitdagingstijd is verkort tot ongeveer 1 dag (ongeveer 144 BTC-blokken), wat de tijd die nodig is voor finaliteit verkort. Bovendien maakt het gebruik van een gedecentraliseerde sequencer, waarbij de operator BTC stake om deel te nemen, en het economische model genereert native BTC-inkomsten, zoals L2-gasvergoedingen. Laten we nu de realtime bewijs van ZK Rollup bespreken, te beginnen met de Rollup-technologie. Het GOAT-netwerk verpakt meerdere L2-transacties in batches, voert deze off-chain uit en genereert een ZK-bewijs, dat wordt gevalideerd via de Bitcoin-hoofdketen (zoals de verificatie in de Assert/Disprove-fase van BitVM2). Het voordeel van ZK-bewijzen is dat het niet nodig is om alle transactiegegevens te uploaden; bovendien, in tegenstelling tot Ethereum's zksync of Starknet, gebruikt Goat Bitcoin Taproot-scripts en andere native mechanismen om statusupdates te verankeren, waardoor afhankelijkheid van externe bruggen of multisig-mechanismen wordt vermeden. Nu we een eenvoudig begrip hebben van de ZK Rollup-technologie, laten we kijken naar het realtime bewijsmechanisme. Volgens de documentatie van het GOAT-netwerk wordt de generatie van realtime bewijs gerealiseerd met de zkMIPS-engine, door middel van een pipelined parallel bewijsarchitectuur en een gedistribueerd GPU-bewijzersnetwerk. Eerst wordt het blokbewijs gegenereerd, waarbij gebruik wordt gemaakt van uitvoeringspadsegmentatie en parallelle bewijstechnologie om te verifiëren of de Rollup-statusovergangen correct zijn; vervolgens is er de aggregatie van bewijzen, waarbij meerdere blokbewijzen recursief worden gecomprimeerd; ten slotte is er het SNARK-bewijs (Groth16), dat wordt gecomprimeerd tot een klein, verifieerbaar bewijs op BitVM2. Om realtime bewijs te realiseren, wordt de bovengenoemde bewijs generatie niet in een enkele lijn verwerkt, maar wordt er gebruikgemaakt van een pipelined parallelle verwerkingsmechanisme, dat voornamelijk afhankelijk is van de zkVM "Ziren"-technologie van ZKM, samen met GPU-versnelling en een gedistribueerd netwerk van bewijzers. Volgens de gegevens van de huidige officiële website van het testnet, duurt het gemiddeld ongeveer 2,6 seconden voor blokbewijzen, 2,7 seconden voor aggregatiebewijzen en ongeveer 10,38 seconden voor SNARK-bewijzen. Gebruikers kunnen via de frontend-pagina het volledige proces van de generatie van elk opname-ZK-bewijs in realtime bekijken. Als het mogelijk is om ZK-bewijzen in minder dan 1 minuut te voltooien, betekent dit dat de snelheid van gebruikersopnames aanzienlijk zal toenemen. Eerdere Bitcoin L2-netwerken vereisten vaak enkele uren om opnames te initiëren; met snelle bewijzen kunnen gebruikers opnames initiëren zodra het bewijs is gegenereerd, wat betekent dat gebruikers in minder dan 1 minuut een opname kunnen initiëren. Natuurlijk is de uiteindelijke tijd van ontvangst afhankelijk van de transactie situatie op de Bitcoin-hoofdnet. Maar wat betreft opnames, is er geen wachttijd meer, wat betekent dat de opname-ervaring bijna gelijk is aan de tijd die nodig is om een transactie op de Bitcoin-keten te initiëren. Naast opnames zal realtime bewijs ook ontwikkelaars aanmoedigen om frequente L2-toepassingen te bouwen, en het is ook compatibel met EVM, wat Ethereum-ontwikkelaars kan aantrekken; voor operators is er geen wachttijd voor het uitgeven van batchbewijzen, wat de kapitaal efficiëntie verhoogt. ZK-technologie is relatief complex en de lange termijn veiligheid vereist ook enige tijd om te bewijzen. Echter, de implementatie van realtime bewijs is een belangrijke vooruitgang in de technische infrastructuur voor Bitcoin L2. Natuurlijk heeft Bitcoin L2 nog een lange weg te gaan; naast de opbouw van technische infrastructuur is er ook meer inspanning nodig om gebruikersbehoeften te verkennen en ontwikkelaars aan te moedigen om Bitcoin L2-toepassingen te bouwen, want uiteindelijk, als het Bitcoin L2-ecosysteem tot bloei komt, zullen er voldoende transactiekosten zijn om de groei van de vliegwiel te realiseren. Een van de duidelijke behoeften is dat veel BTC-houders ook hopen op inkomsten, wat blijkt uit het aantal BTC op de Ethereum-keten (zoals wbtc), dat momenteel meer dan 150.000 BTC bedraagt, met een waarde van meer dan 15 miljard dollar. Als het mogelijk is om de native veiligheid van de BTC-keten te realiseren, zullen meer BTC-houders bereid zijn om te proberen inkomsten te genereren via BTCFI.