jakiro
Yona est une couche 2 (Rollup) alimentée par SVM sur Bitcoin.
Tout en héritant de la sécurité de l’économie de la cryptographie de Bitcoin, Yona réalise une riche programmabilité et une expansion d’exécution sans précédent de Bitcoin et de ses actifs.
Pour y parvenir, Yona implémente une cheville bidirectionnelle sans confiance entre BTC sur Bitcoin et BTC sur Yona et peut sortir unilatéralement.Nous appelons ce crochet natif de Yona un crochet canonique.
La principale caractéristique de conception de Yona est qu’elle vise à passer des ponts TSS-MPC conjoints traditionnels à une spécification de crochets bidirectionnels – un mécanisme qui repose entièrement sur les preuves cryptographiques et le consensus de Bitcoin.En d’autres termes, le crochet normatif bidirectionnel ne dépend d’aucun consensus externe.
Caractéristiques des crochets de spécification L2
Rollup doit fournir la possibilité d’entrer (dépôt) et de sortir (retrait).
Les dépôts et les retraits unilatéraux sont cruciaux pour assurer la disponibilité et la résistance à la censure des actifs bitcoins et dollars.
Bien que la mise en œuvre des dépôts soit simple (prouvée par SPV), la sortie unilatérale correcte nécessite une démonstration directe de sa validité sur Bitcoin.
Nous proposons une approche plus pratique qui s’appuiera progressivement sur les infrastructures économiques cryptographiques existantes d’Ethereum, visant à intégrer progressivement autant que possible la sécurité du bitcoin pour être la plus soutenue par le bitcoin le plus fondamental ceux qui l’acceptent.
Crochets de spécification Bitcoin (BTC)
Nos crochets natifs BTC sont alimentés par la sécurité crypto-économique combinée à Eigenlayer et BitVM.
BitVM permet la vérification de l’exécution hors chaîne de Bitcoin, et n’importe qui peut faire des preuves de fraude et punir les preuves.Bitvm est la source de sécurité de chiffrement pour les crochets de spécification Yona.
Eigenlayer donne accès à Ethereum Staking Capital Base and Decentralized Validator Set.Eigenlayer est la source de la sécurité économique des liens de spécification Yona.
Les opérateurs de Yona PEG sont des entités qui aident au mode normal le fonctionnement du crochet (c’est-à-dire le dépôt / extraction de BTC).Tout opérateur PEG doit jouer deux rôles:
BITVM RECHARGE / RETRAIT CONTROCKATION CONTRACT (pour le fonctionnement du mode normal)
Opérateur AVS (pour la sortie unilatérale)
Il convient de souligner que l’opérateur de Yona PEG ne pourra jamais accéder à un bitcoin déposé qui n’est pas protégé par les contrats Bitvm et est des ordres de grandeur inférieurs aux actifs AVS.
Il y a plusieurs opérateurs de liens, dont au moins un doit être honnête, mais même dans les cas où tous les opérateurs ne sont pas honnêtes, ils ne peuvent pas voler de dépôts et au pire ils ne les brûleront.
Lorsque les utilisateurs déposent BTC dans la Se-Echechain, ils établissent un contrat BitVM de retrait avec l’opérateur PEG.Une fois le contrat établi, l’utilisateur envoie directement UTXO à l’adresse BitVM.Veuillez noter qu’à tout moment, cet UTXO n’appartient pas à la relecteurs.
Lorsque les utilisateurs (peut-être différents utilisateurs) fournissent une preuve de retrait valide de Yona, ils utilisent à nouveau le contrat de retrait (un nouveau contrat avec l’opérateur s’ils ne déposent pas BTC à Yona).
Si un déni de service ou un examen se produit, l’opérateur PEG ne sera pas en mesure ou ne veut pas créer un contrat Bitvm.C’est là que la sécurité économique de Eigenlayer entre en jeu.D’une part, les opérateurs ne peuvent pas voler des bitcoins déposés, il n’y a donc aucun avantage à refuser de fournir des services de retrait.Mais ce n’est évidemment pas suffisant.Par conséquent, nous utilisons les coupes EIGNELERY pour introduire les principaux inconvénients des retraits rejetés.
Si, pour une raison quelconque, l’opérateur PEG refuse de créer un contrat de retrait, l’utilisateur peut soumettre une transaction Bitcoin avec la demande et prouver à notre contrat Eigenlayer que le contrat de retrait n’a pas été créé.Cela réduira les avantages de l’opérateur.
De même, dans le cas d’un retrait unilatéral, le retrait peut fournir une preuve d’un retrait valide de Yona.Les opérateurs de PEG ont jusqu’à N blocs pour fournir une preuve de leur demande de retrait terminée.Si aucune preuve n’est fournie, l’opérateur sera coupé sur le Eigenlayer et l’utilisateur peut retirer de l’argent directement du contrat Bitvm.
Spécifications de méta-agression pour les hameçons doubles, sortie unilatérale sans confiance
Une autre innovation majeure est que Yona peut mettre en œuvre un monoprotocol de bitcoin normativement fixé à un cryptage pur et sans confiance et ne compte pas sur la sécurité économique.
Les métaprotocols (tels que BRC-20) utilisent Bitcoin pour enregistrer les données et utiliser un indexeur hors chaîne pour vérifier indépendamment les transactions Metaprotocol.Cela permet la construction d’un rouleau efficace et sans confiance en tant que couche programmable rapide du protocole Meta.
La principale différence entre Rollup et Sidechains est que Rollup permet des sorties unilatérales sans confiance: les utilisateurs peuvent extraire leur BRC-20 de Rollup en exécutant des transactions Bitcoin sans avoir besoin de tiers pour participer (tels que les opérations Rollup, les validateurs ou les ponts)).
Ensuite, nous nous concentrerons sur les cas d’utilisation BRC-20.
Le mécanisme d’accrochage est le suivant:
Pour entrer dans Rollup, les utilisateurs doivent « détruire » BRC-20 sur Bitcoin L1, prouver la destruction du contrat intelligent de Rollup (via Bitcoin ZK Light Client) et peuvent éprouver la même inscription sur L2.La destruction peut être réalisée sur L1 en envoyant une transaction « transfert » à un script « OP_return » qui ne contient aucune donnée.
Pour quitter le résumé, les utilisateurs doivent «brûler» le BRC-20 sur L2 et les «entourer» sur Bitcoin L1 avec une preuve ZK de retrait valide.
La preuve de sortie valide de ZK comprend:
Engagement à saisir les transactions de retrait L2 et la racine Merkle de l’arbre à état de rollup
Le ZKVM de Rollup a correctement effectué le calcul et le solde BRC20 résultant est supérieur ou égal au montant de retrait
Aucune violation de l’offre totale invariante (c’est-à-dire l’offre totale de BRC20 = BTC Supply + L2 Support + Montant à retirer)
Le réseau Bitcoin lui-même ne peut pas vérifier les preuves de connaissances zéro car le script Bitcoin n’a pas les opcodes nécessaires.Cependant, comme l’indexeur peut effectuer une vérification, ce n’est pas nécessaire.BRC-20 s’est appuyé sur un indexeur hors chaîne pour reconstruire le solde BRC-20, et la seule chose que vous devez faire est de prendre en charge la preuve de la vérification de sortie des transactions de retrait sur l’indexer.
Si L2 n’est pas disponible, il n’y a aucune preuve de rythme cardiaque sur la couche DA pendant un certain temps (par exemple 5 jours) permettant à l’utilisateur de se retrouver unilatéral en envoyant une transaction Bitcoin, c’est-à-dire que l’indexer BRC20 hors chaîne peut traiter le retrait sans le Transaction de retrait L2.
Si L2 commence à examiner les retraits, les utilisateurs peuvent lancer des retraits en envoyant des transactions Bitcoin avec les demandes de retrait.L’opérateur lié à L2 a 24 heures pour effectuer des retraits et soumettre des preuves.Si cela ne se produit pas, l’utilisateur peut soumettre la preuve suivante:
Demander un retrait unilatéral par le biais de la transaction Bitcoin
Le retrait unilatéral L2 n’a pas été traité à temps
Il y a un solde en suspens valide de BRC20 à retirer
En vérifiant cette preuve, l’indexer BRC20 hors chaîne renvoie la propriété sans vérifier la transaction de retrait L2.
Ainsi, Yona est le premier L2 à offrir un actif Bitcoin entièrement sans confiance.
