Le réseau GOAT a lancé son testnet basé sur la technologie BitVM2, avec une réalisation qui mérite d'être soulignée : le ZK Rollup Bitcoin avec preuve en temps réel. Cela permet une génération rapide de preuves ZK Rollup, ce qui représente un développement important pour l'infrastructure L2 de BTC. En termes d'expérience utilisateur, le temps de retrait sera considérablement amélioré par rapport à avant, ce qui devrait attirer davantage de développeurs et d'utilisateurs. Alors, comment comprendre cela techniquement de manière simple ? Commençons par examiner le processus de mise en œuvre de l'L2 Bitcoin par le réseau GOAT. Le réseau GOAT est une solution basée sur l'L2 Bitcoin, utilisant les technologies BitVM2 et zkMIPS, et permettant de générer des revenus BTC natifs (c'est-à-dire que les participants ont la possibilité de gagner plus de BTC). Son processus comprend principalement le pontage (Bridge in), le retrait (Bridge out), l'engagement du séquenceur (Sequencer Set Commitment) et le traitement des remboursements (Reimbursement). Le pontage consiste principalement à mettre en gage des BTC dans un script taproot (sans clé privée contrôlée), le relais les soumet à un contrat Goat. Le comité construit un flux de transactions BitVM2, l'opérateur pré-signe et stocke sur IPFS, après vérification par l'utilisateur, le relais émet PegBTC sur L2 ; le retrait consiste à retirer, l'utilisateur effectue une transaction atomique avec l'opérateur (l'utilisateur peut également être l'opérateur, s'il ne le souhaite pas, il peut passer par l'opérateur pour effectuer le retrait), détruit le PegBTC sur L2, l'opérateur lance le traitement des remboursements, sans avoir besoin d'effectuer une transaction Peg-OUT sur la chaîne principale BTC. L'engagement du séquenceur fait principalement référence à l'utilisation régulière par le comité d'un arbre Merkle pour s'engager sur l'ensemble des séquenceurs futurs, soutenant la vérification du mécanisme des clients légers Bitcoin. La vérification par le mécanisme des clients légers utilise l'ensemble des validateurs engagés sur Bitcoin comme entrée publique pour la vérification des preuves à connaissance nulle ultérieures, afin de réaliser la vérification de la cohérence des blocs L2. Le traitement des remboursements consiste à ce que l'opérateur mette en gage des BTC et soumette l'ID de transaction de retrait ainsi que le dernier hachage de bloc. Les challengers effectuent des vérifications hors chaîne et sur chaîne, en l'absence de contestation, l'opérateur reçoit des fonds. Les challengers peuvent également soulever des contestations, et en cas de contestation, des validateurs sont générés aléatoirement, qui peuvent exécuter une vérification interactive via des scripts Bitcoin. La période de contestation est réduite à environ 1 jour (environ 144 blocs BTC), compressant le temps nécessaire à la finalité. De plus, il utilise un séquenceur décentralisé, l'opérateur mettant en gage des BTC pour participer, le modèle économique générant des revenus BTC natifs à partir des frais de gaz L2, etc. Passons maintenant à la technologie ZK Rollup en temps réel. Le réseau GOAT regroupe plusieurs transactions L2 en lots (Batch), exécutant hors chaîne pour générer une preuve ZK, qui sera vérifiée via la chaîne principale Bitcoin (validation de la phase Assert/Disprove de BitVM2, etc.). L'avantage de la preuve ZK est qu'il n'est pas nécessaire de télécharger tous les détails des transactions ; de plus, contrairement à zksync ou Starknet d'Ethereum, Goat utilise des scripts Taproot Bitcoin et d'autres mécanismes natifs pour ancrer les mises à jour d'état, évitant ainsi de dépendre de ponts externes ou de mécanismes de multi-signatures. Après avoir compris la technologie ZK Rollup, examinons le mécanisme de preuve en temps réel. Selon la documentation du réseau GOAT, la génération de preuves en temps réel utilise le moteur zkMIPS, réalisant une génération rapide de preuves grâce à une architecture de preuve parallèle en pipeline et à un réseau de validateurs GPU distribués. Tout d'abord, la génération de preuves de bloc utilise des techniques de fragmentation de trajectoire d'exécution et de preuve parallèle pour vérifier si la transition d'état du Rollup est correcte ; ensuite, l'agrégation des preuves, qui compresse récursivement plusieurs preuves de blocs ; enfin, la preuve SNARK (Groth16), compressée en une petite preuve vérifiable sur BitVM2. Pour réaliser des preuves en temps réel, la génération de preuves ci-dessus n'est pas traitée de manière séquentielle, mais utilise un mécanisme de traitement parallèle en pipeline, s'appuyant principalement sur la technologie zkVM « Ziren » de ZKM, ainsi que sur l'accélération GPU et le réseau de validateurs distribués. Selon les données actuelles de leur site officiel concernant le testnet, la preuve de bloc prend environ 2,6 secondes en moyenne, l'agrégation de preuves prend environ 2,7 secondes, et la preuve SNARK prend environ 10,38 secondes. Les utilisateurs peuvent consulter en temps réel le processus complet de génération de preuves ZK pour chaque retrait via l'interface frontale. Si la preuve ZK peut être complétée en moins d'une minute, cela signifie que la vitesse de retrait des utilisateurs sera considérablement accélérée. Auparavant, certains retraits sur les réseaux L2 Bitcoin nécessitaient plusieurs heures pour être initiés. Avec des preuves rapides, les utilisateurs peuvent initier un retrait immédiatement après la génération de la preuve, ce qui signifie qu'ils peuvent initier un retrait en moins d'une minute. Bien sûr, le temps d'arrivée final dépendra de la situation des transactions sur le réseau principal Bitcoin. Mais en ce qui concerne les retraits, il n'est plus nécessaire d'attendre, ce qui signifie que l'expérience de retrait est presque équivalente à celle d'initier une transaction sur la chaîne Bitcoin. En plus des retraits, les preuves en temps réel stimuleront également les développeurs à construire des applications L2 à haute fréquence, et la compatibilité avec EVM pourrait également attirer les développeurs de l'écosystème Ethereum ; pour les opérateurs, il n'est pas nécessaire d'attendre la génération de preuves en masse, ce qui améliore l'efficacité des fonds. La technologie ZK est relativement complexe, et la sécurité à long terme nécessite également un certain temps pour être prouvée. Cependant, la mise en œuvre de preuves en temps réel représente un progrès important pour l'infrastructure technique de l'L2 Bitcoin. Bien sûr, le Bitcoin L2 a encore un long chemin à parcourir, en plus de la construction des infrastructures techniques, il est également nécessaire de travailler davantage sur l'exploration des besoins des utilisateurs et la promotion des développeurs pour construire des applications L2 Bitcoin, car au final, l'écosystème L2 Bitcoin doit se développer pour générer suffisamment de frais de transaction pour réaliser la croissance en boucle. Parmi les besoins, un est relativement clair : de nombreux détenteurs de BTC souhaitent également obtenir des revenus, comme le montre le nombre de BTC sur la chaîne Ethereum (comme wbtc, etc.), qui dépasse actuellement 150 000 BTC, d'une valeur de plus de 15 milliards de dollars. Si la sécurité native de la chaîne BTC peut être réalisée, alors davantage de détenteurs de BTC seront prêts à essayer d'obtenir des revenus via BTCFI.