Když vidíme, že síť GOAT spouští svou testovací síť založenou na technologii BitVM2, stojí za to věnovat pozornost jedné implementaci: proof-of-Bitcoin ZK rollupu v reálném čase. Umožnění rychlých důkazů ZK Rollup je důležitým vývojem pro infrastrukturu BTC L2. Z hlediska uživatelské zkušenosti se doba extrakce výrazně zlepší ve srovnání s dřívějškem, což přispívá k tomu, že se připojí více vývojářů a přitáhne pozornost uživatelů. Jak to tedy jednoduše technicky chápat? Nejprve se podívejme na proces implementace bitcoinu L2 v síti GOAT. Síť GOAT je řešení založené na bitcoinové L2, které využívá technologii BitVM2 a zkMIPS k podpoře nativních výnosů BTC (tj. účastníci mají možnost vydělat více BTC). Mezi jeho procesy patří především Bridge in, Bridge out, Sequencer Set Commitment a Reimbersement. Přemostění je hlavně o sázení BTC do taproot skriptu (soukromý klíč nikdo neovládá) a přenašeč jej předloží do kozí smlouvy. Výbor vytvoří transakční tok BitVM2, operátor předběžně podepíše a existuje IPFS a po ověření uživatele vydá přehazovač PegBTC na L2. Bridge out je výběr, uživatel provádí atomové transakce s operátorem (uživatel může být také operátorem, pokud nechce, může výběr dokončit prostřednictvím operátora), zničit PegBTC na L2 a operátor zahájí proces úhrady, aniž by bylo nutné provádět transakce Peg-OUT na hlavním řetězci BTC. Závazky sekvenceru se týkají především pravidelného používání Merkleových stromů komisí k zapojení budoucích sad sekvencerů na podporu ověřování mechanismu lehkého klienta Bitcoinu. Sada validátorů spáchaných na BTC se používá jako veřejný vstup pro následné ověření důkazu s nulovou znalostí prostřednictvím ověření mechanismu lehkého klienta, který slouží k ověření konsensu L2 bloků. Proces vrácení peněz je ID transakce operátora, který vsadil BTC a odeslal výběr a poslední hash bloku. Vyzyvatelé provádějí ověření mimo řetězec a v řetězci, a pokud nedojde k žádné výzvě, operátor obdrží finanční prostředky. Vyzyvatelé mohou také navrhovat výzvy a po jejich skončení jsou náhodně generováni validátoři, kteří mohou provádět interaktivní ověření prostřednictvím bitcoinových skriptů. Doba výzvy se zkrátí na přibližně 1 den (přibližně 144 bloků BTC), čímž se zkracuje čas potřebný pro konečnost. Kromě toho využívá decentralizovaný sekvencer, operátoři sázejí BTC k účasti a poplatky za plyn L2 v ekonomickém modelu generují nativní příjem BTC. Zaměřme se na jeho ZK Rollup, který je odolný v reálném čase, pojďme si nejprve promluvit o jeho technologii rollupu. Síť GOAT zabalí více L2 transakcí do dávek (Batch) a provede je mimo řetězec, aby vygenerovala důkaz ZK, který bude ověřen hlavním řetězcem Bitcoinu (fáze ověření Assert/Discure BitVM2 atd.), a výhodou důkazů ZK je, že není třeba nahrávat všechny podrobnosti transakce. Navíc, na rozdíl od zksync nebo Starknet od Etherea, Goat používá nativní mechanismy, jako jsou skripty Bitcoin Taproot, k ukotvení aktualizací stavu, čímž se vyhne spoléhání na externí přemostění nebo mechanismy s více podpisy. Pojďme se tedy krátce podívat na jeho technologii Zk Rollup a poté se podívejme na jeho mechanismus důkazu v reálném čase. Podle dokumentace sítě GOAT využívá její generování důkazů v reálném čase engine zkMIPS k dosažení rychlého generování důkazů prostřednictvím architektury paralelního důkazu potrubí + distribuované sítě proverů GPU. Za prvé, generování důkazu bloku používá k ověření, zda je přechod souhrnného stavu správný pomocí horizontálního dělení trajektorie provádění a technologie paralelního důkazu. druhým je agregační důkaz, který rekurzivně komprimuje více blokových důkazů; A konečně existují SNARK proofy (Groth16), které jsou komprimovány do maloobjemových proofů, které lze ověřit na BitVM2. Aby bylo možné dosáhnout důkazů v reálném čase, výše uvedené generování důkazů není zpracováváno jednořádkovým způsobem, ale využívá zřetězený mechanismus paralelního zpracování, který se při implementaci spoléhá především na technologii zkVM "Ziren" společnosti ZKM, spojenou s akcelerací GPU a distribuovanou sítí dokazování, podle aktuálních oficiálních údajů z webových stránek jeho testovací sítě, blokové důkazy trvají v průměru asi 2,6 sekundy, agregační důkazy v průměru 2,7 sekundy a SNARK důkazy asi 10,38 sekundy. Uživatelé si mohou prohlédnout kompletní proces generování důkazu ZK pro každý výběr v reálném čase prostřednictvím front-end stránky. Pokud lze důkaz ZK dokončit za méně než 1 minutu, znamená to, že rychlost výběrů uživatelů se výrazně zrychlí a některé předchozí výběry v síti Bitcoin L2 musí na zahájení počkat několik hodin. Konečný čas příchodu uživatelů samozřejmě závisí také na transakční situaci bitcoinové mainnetu. Pokud však jde o výběry, není třeba čekat, to znamená, že jejich výběry se v podstatě blíží časové zkušenosti se zahájením transakce v bitcoinovém řetězci. Kromě výběrů budou důkazy v reálném čase také podporovat vývojáře ve vytváření vysokofrekvenčních L2 aplikací a jsou také kompatibilní s EVM, což může také přilákat vývojáře v ekosystému Ethereum. Pro operátory není nutné čekat na dávkové certifikáty, což může také zlepšit kapitálovou efektivitu. Technologie ZK je poměrně složitá a její prokázání vyžaduje i určitý čas. Implementace důkazů v reálném čase je však důležitým pokrokem v technické infrastruktuře pro Bitcoin L2. Bitcoin L2 má samozřejmě před sebou ještě dlouhou cestu, kromě výstavby technické infrastruktury je také nutné vyvinout větší úsilí při těžbě potřeb uživatelů a podpoře vývojářů při vytváření bitcoinových L2 aplikací, protože ekosystém Bitcoin L2 bude mít nakonec dostatek transakčních poplatků k dosažení růstu setrvačníku. Mezi nimi je poměrně jasná potřeba, to znamená, že mnoho držitelů BTC chce také vydělávat příjem, což je patrné z počtu BTC (jako je wbtc atd.) na řetězci Ethereum, který má v současné době více než 150 000 BTC zabalených v řetězci Ethereum v hodnotě více než 15 miliard dolarů. Pokud se podaří dosáhnout nativního zabezpečení založeného na řetězci BTC, bude více držitelů BTC ochotno pokusit se vydělávat prostřednictvím BTCFI.