Écrit par Bob Bodily; PDG de Bioniq Market; Traduction : Golden Finance Cryptonaitive
BitVM est un nouveau cumul optimiste + à l’épreuve de la fraude + Taproot Leaf + Bitcoin Script paradigme informatique conçu par Robin Linus de ZeroSync. Le matin du 9 octobre, ils ont publié un excellent livre blanc qui a été révisé par Super Testnet et Sam Parker (l’article a maintenant été consulté 1,5 million de fois).
Trop long à lire :
BitVM n’est pas une panacée pour résoudre des problèmes
BitVM n’est pas aussi bon que EVM, BitVM est plus lent, plus cher et plus complexe
Le principal avantage de BitVM est que nous obtenons immédiatement une programmabilité supplémentaire sur Bitcoin sans avoir besoin de mises à niveau. Aucun nouvel opcode n’est requis. Aucune fourchette souple n’est requise. Il est prêt à être utilisé maintenant.
Les cas d’utilisation potentiels simples incluent des parties d’applications décentralisées qui reposent actuellement sur des services centralisés (oracles pour DLC, agrégateurs de contrôle de congestion / coinjoin, évaluations de sidechain)
5, BitVM ne résout pas le problème de pontage sans confiance des sidechains (contrat peut être requis - Covenant)
Oui, BitVM est certainement meilleur que l’exemple de paiement conditionnel ZKP 2016 de Greg Maxwell
BitVM est très complexe et difficile à comprendre et à mettre en œuvre. La mise à niveau de Bitcoin avec un opcode peut obtenir le même effet.
Fouille technique
Plongeons maintenant dans le côté technique des choses. Dans mes discussions, je cite largement d’autres personnes parce que c’est le moyen le plus sûr de rester fidèle à ce qu’ils disent et d’éviter les fausses citations.
Le but de BitVM est que « toute fonction calculable peut être vérifiée sur Bitcoin ». —Livre blanc BitVM
Cela signifie que « Bitcoin est maintenant Turing-complet comme n’importe quelle autre chaîne, et cela ne nécessite aucune modification de Bitcoin. » « ——Sam Parker
Il y a certaines limitations (dont nous discuterons plus tard), mais fondamentalement, cela signifie que tant que vous:
(1) Il y a suffisamment de fonds pour payer les calculs/preuves hors chaîne,
(2) Il y a suffisamment de bande passante pour recevoir et envoyer les données nécessaires (peut-être des centaines de mégaoctets)
(3) peut exécuter le nombre requis de transactions bitcoin,
Ensuite, vous pouvez calculer ce que vous voulez.
« La seule chose que BitVM fait est de nous permettre de diviser certains runtimes logiques de la portée d’une seule transaction en plusieurs transactions. C’est tout. « ——Sam Parker
Cela peut donc prendre beaucoup de temps. Cela peut coûter très cher. Cela peut prendre des centaines de transactions. Mais vous pouvez faire ce que vous voulez.
Sam lui-même a réitéré: « Ainsi, ** techniquement Bitcoin n’est pas devenu plus Turing-complet qu’auparavant, nous ne pouvons raisonnablement dire qu’il est » Turing-complet « suffisamment » pour n’importe quel programme que nous pourrions réellement vouloir exécuter. » **"
L’un des principaux avantages est qu’aucune mise à niveau n’est requise. Vous pouvez faire tout cela dès maintenant.
Et si vous ne voulez pas l’utiliser, vous pouvez également choisir de ne pas : « Ceci est facultatif. Si vous ne faites pas confiance au verrouillage des bitcoins à un contrat intelligent Turing-complet (parfaitement raisonnable), ne les verrouillez pas à un contrat intelligent Turing-complet. « ——Sam Parker
Étant donné que vous pouvez être soumis à certaines limitations de calcul, je pense que le résultat minimum pour BitVM est susceptible de remplacer le service centralisé « Bitcoin Edge » que beaucoup de gens utilisent actuellement.
Par exemple, nous pouvons « nous débarrasser de tous les services d’hébergement de confiance ou semi-fiables dont nous avons besoin pour le moment ». Les agrégateurs de contrôle de congestion / coinjoin, les quorums de sidechain et certains types d’oracles DLC peuvent passer de fiables / semi-fiables à 100% sans confiance. L’absence de confiance de Bitcoin est aussi forte que le maillon le plus faible du lien avec lequel vous interagissez. « - Sam Parker
Voyons maintenant ce qu’Eric Wall a à dire à ce sujet:
« Je viens de lire le livre blanc et tous les concepts sont corrects pour moi. J’ai une aversion naturelle pour les scénarios qui nécessitent de très grandes transactions présignées pendant la phase d’établissement. Je ne sais pas quels problèmes pourraient survenir avec de tels scénarios. Les frais généraux et les autorisations sont deux problèmes importants.
Pour l’instant, je suis prudemment impatient de voir quels résultats l’expérience du monde réel produira. Peut-être existe-t-il des solutions élégantes et subtiles qui répondent aux deux limites de ce système, ou non. Peut-être que la surcharge est gérable pour un type particulier de calcul, comme les preuves à divulgation nulle de connaissance.
Il serait intéressant que BitVM vérifie que la couche zkwasm y fonctionnait bien - BitVM remplirait le rôle de la couche zkwasm dont j’ai parlé plus tôt. "
Il a ensuite poursuivi en disant ce qui est probablement le résumé le plus succinct de BitVM:
« BitVM décrit uniquement la façon dont un validateur peut voler une marge à un prover sur la base des résultats des calculs Turing-complets, mais ne décrit pas vraiment l’architecture des peg-in / outs pour les participants externes, ce qui peut être correct. »
Oui, BitVM n’est que cela.
Adam Back se joint à un commentaire plus critique (avec de nombreux points): « C’est cool pour les gens qui deviennent (excessivement) excités, mais c’est vraiment juste une généralisation d’un jeu à double sens - explicitement mentionné dans l’abstrait - donc c’est un peu comme l’exemple de Greg Maxwell 2016 de l’implémentation du paiement conditionnel ZKP. » "
Mis à part le fait qu’Adam n’a pas remarqué une partie du livre blanc, ce BitVM est en fait meilleur que l’exemple ZKP 2016 de Greg Maxwell. Pour citer Robin : « C’est absolument supérieur en ZKCP [par rapport à l’exemple ZKP de Greg Maxwell en 2016], parce qu’en ZKCP, le précurseur doit connaître la solution à l’avance. » "
Super Testnet, l’un des critiques de l’article, a donné son avis: « C’est probablement la découverte la plus excitante de l’histoire de Bitcoin Script. Il semble résoudre presque tous les problèmes et nous donne accès à des alliances, des chaînes latérales et des fonctionnalités comme Liquid ou EVM sans aucune fourchette. J’ai hâte de sortir ma démo. "
En réponse à la question d’Eric Wall sur la configuration du schéma 1-to-N, Super Testnet a posté ce qui suit: « Il prend également en charge le schéma 1-N, similaire aux rollups. Vous pouvez demander à une partie centrale de recevoir des frais pour effectuer des calculs pour un groupe. Tout le monde dans le groupe sait que le parti central ne peut pas mentir, sinon le groupe peut obtenir une marge énorme et la diviser entre ses membres. "
Un inconvénient majeur de BitVM est la complexité. **Pour que BitVM fonctionne, beaucoup de pré-signature est nécessaire.
Rijndael a commenté : « Il semble que CTV réduira les pré-signatures. Ce serait une excellente solution de construire avec Bitcoin actuel, puis de déterminer combien d’interactivité peut être réduite avec CTV, et si c’est une bonne chose ou une nécessité. "
Si vous ne le savez pas déjà, CTV = BIP-119 = Simple Covenant. Par conséquent, si nous mettons à niveau Bitcoin pour activer CTV, BitVM sera bien meilleur et plus efficace. **
Post Capone a ajouté son propre point de vue en discutant de la positivité actuelle au sein de l’écosystème Bitcoin: « BitVM a généré des commentaires positifs nets de 8 factions différentes au sein de Bitcoin, qui se dénigrent généralement les unes les autres jusqu’à la destruction. Grosse chose, mec. Beaucoup d’analyses / commentaires sont transmis dans un court laps de temps, ce qui est très cool. Ordinaux a été un moment magique. On a l’impression qu’il est suffisamment motivé pour faire un effort supplémentaire. Nous sommes tous blottis les uns contre les autres pour le rendre opérationnel. "
BitVM est très similaire à Lightning Network, avec au moins une exigence multisig 2: 2 dans le document.
Dylan LeClair a commenté: « Corrigez-moi si je me trompe: bien que techniquement très différent, c’est comme LN en ce sens qu’il s’agit d’un multisig 2: 2 où les TX / applications / contrats peuvent être construits sur Bitcoin, mais la vérification et le règlement ont lieu sur la chaîne. Si je comprends bien, cela permettrait des ancrages BTC sans confiance (?) ）"。
Sam a répondu: « Il peut faire tout ce que vous voulez, y compris des peg-ins sans confiance. » À cet égard, il est très similaire au Lightning Network. Je pense que l’exécution de ce protocole à l’intérieur de Lightning Channel serait une véritable décision stratégique. Je soupçonne qu’il existe un moyen de profiter des transactions de Lightning’s Justice d’une manière très synergique. "
Il y avait des doutes sur le fait que BitVM serait en mesure de prendre en charge l’état global, car la description dans l’article est similaire à un canal d’état, mais Super Testnet a répondu: « Il prend en charge l’état global. » La partie A peut prouver à la partie B des déclarations sur le grand livre mondial (comme Bitcoin ou sidechains ou même d’autres chaînes). "
Dans l’ensemble, BitVM « rend les contrats Bitcoin plus expressifs ». En particulier, il rend possibles des fonctionnalités que nous pensions à l’origine avoir besoin d’un soft fork. Il pourrait implémenter des chaînes latérales sans confiance, mais ce n’est pas encore tout à fait résolu. « ——Super Testnet
Rijndale a répondu que nous pourrions encore avoir besoin de clauses restrictives pour mettre en œuvre des chaînes latérales sans confiance: « BitVM vous permet de dépenser toutes les quantités d’UTX qui contiennent des contrats intelligents. Pour les sidechains sans confiance, nous devons être en mesure de dépenser la partie de l’UTXO contenant le contrat intelligent. "
Mon avis
Un autre livre blanc, une autre série de podcasts. BitVM est très intéressant, mais il est encore en phase de recherche et il y a encore beaucoup de questions à explorer, donc combien de problèmes BitVM sera capable de résoudre reste à déterminer.
Il peut y avoir quelques cas d’utilisation clés simples pour commencer à tirer parti de BitVM tout de suite afin de réduire les hypothèses de confiance (par exemple, les oracles DLC).
Nous avons besoin d’une variété de façons différentes de fournir plus de programmabilité pour Bitcoin, donc j’applaudis tous ceux qui travaillent dans cet espace (y compris BitVM). J’espère qu’il y a beaucoup de développeurs qui l’utilisent pour construire des démos vraiment cool qui résolvent les problèmes importants des gens.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Tout ce que vous devez savoir sur BitVM
Écrit par Bob Bodily; PDG de Bioniq Market; Traduction : Golden Finance Cryptonaitive
BitVM est un nouveau cumul optimiste + à l’épreuve de la fraude + Taproot Leaf + Bitcoin Script paradigme informatique conçu par Robin Linus de ZeroSync. Le matin du 9 octobre, ils ont publié un excellent livre blanc qui a été révisé par Super Testnet et Sam Parker (l’article a maintenant été consulté 1,5 million de fois).
Trop long à lire :
BitVM n’est pas une panacée pour résoudre des problèmes
BitVM n’est pas aussi bon que EVM, BitVM est plus lent, plus cher et plus complexe
Le principal avantage de BitVM est que nous obtenons immédiatement une programmabilité supplémentaire sur Bitcoin sans avoir besoin de mises à niveau. Aucun nouvel opcode n’est requis. Aucune fourchette souple n’est requise. Il est prêt à être utilisé maintenant.
Les cas d’utilisation potentiels simples incluent des parties d’applications décentralisées qui reposent actuellement sur des services centralisés (oracles pour DLC, agrégateurs de contrôle de congestion / coinjoin, évaluations de sidechain)
5, BitVM ne résout pas le problème de pontage sans confiance des sidechains (contrat peut être requis - Covenant)
Fouille technique
Plongeons maintenant dans le côté technique des choses. Dans mes discussions, je cite largement d’autres personnes parce que c’est le moyen le plus sûr de rester fidèle à ce qu’ils disent et d’éviter les fausses citations.
Le but de BitVM est que « toute fonction calculable peut être vérifiée sur Bitcoin ». —Livre blanc BitVM
Cela signifie que « Bitcoin est maintenant Turing-complet comme n’importe quelle autre chaîne, et cela ne nécessite aucune modification de Bitcoin. » « ——Sam Parker
Il y a certaines limitations (dont nous discuterons plus tard), mais fondamentalement, cela signifie que tant que vous:
(1) Il y a suffisamment de fonds pour payer les calculs/preuves hors chaîne,
(2) Il y a suffisamment de bande passante pour recevoir et envoyer les données nécessaires (peut-être des centaines de mégaoctets)
(3) peut exécuter le nombre requis de transactions bitcoin,
Ensuite, vous pouvez calculer ce que vous voulez.
« La seule chose que BitVM fait est de nous permettre de diviser certains runtimes logiques de la portée d’une seule transaction en plusieurs transactions. C’est tout. « ——Sam Parker
Cela peut donc prendre beaucoup de temps. Cela peut coûter très cher. Cela peut prendre des centaines de transactions. Mais vous pouvez faire ce que vous voulez.
Sam lui-même a réitéré: « Ainsi, ** techniquement Bitcoin n’est pas devenu plus Turing-complet qu’auparavant, nous ne pouvons raisonnablement dire qu’il est » Turing-complet « suffisamment » pour n’importe quel programme que nous pourrions réellement vouloir exécuter. » **"
L’un des principaux avantages est qu’aucune mise à niveau n’est requise. Vous pouvez faire tout cela dès maintenant.
Et si vous ne voulez pas l’utiliser, vous pouvez également choisir de ne pas : « Ceci est facultatif. Si vous ne faites pas confiance au verrouillage des bitcoins à un contrat intelligent Turing-complet (parfaitement raisonnable), ne les verrouillez pas à un contrat intelligent Turing-complet. « ——Sam Parker
Étant donné que vous pouvez être soumis à certaines limitations de calcul, je pense que le résultat minimum pour BitVM est susceptible de remplacer le service centralisé « Bitcoin Edge » que beaucoup de gens utilisent actuellement.
Par exemple, nous pouvons « nous débarrasser de tous les services d’hébergement de confiance ou semi-fiables dont nous avons besoin pour le moment ». Les agrégateurs de contrôle de congestion / coinjoin, les quorums de sidechain et certains types d’oracles DLC peuvent passer de fiables / semi-fiables à 100% sans confiance. L’absence de confiance de Bitcoin est aussi forte que le maillon le plus faible du lien avec lequel vous interagissez. « - Sam Parker
Voyons maintenant ce qu’Eric Wall a à dire à ce sujet:
Il a ensuite poursuivi en disant ce qui est probablement le résumé le plus succinct de BitVM:
« BitVM décrit uniquement la façon dont un validateur peut voler une marge à un prover sur la base des résultats des calculs Turing-complets, mais ne décrit pas vraiment l’architecture des peg-in / outs pour les participants externes, ce qui peut être correct. »
Oui, BitVM n’est que cela.
Adam Back se joint à un commentaire plus critique (avec de nombreux points): « C’est cool pour les gens qui deviennent (excessivement) excités, mais c’est vraiment juste une généralisation d’un jeu à double sens - explicitement mentionné dans l’abstrait - donc c’est un peu comme l’exemple de Greg Maxwell 2016 de l’implémentation du paiement conditionnel ZKP. » "
Mis à part le fait qu’Adam n’a pas remarqué une partie du livre blanc, ce BitVM est en fait meilleur que l’exemple ZKP 2016 de Greg Maxwell. Pour citer Robin : « C’est absolument supérieur en ZKCP [par rapport à l’exemple ZKP de Greg Maxwell en 2016], parce qu’en ZKCP, le précurseur doit connaître la solution à l’avance. » "
Super Testnet, l’un des critiques de l’article, a donné son avis: « C’est probablement la découverte la plus excitante de l’histoire de Bitcoin Script. Il semble résoudre presque tous les problèmes et nous donne accès à des alliances, des chaînes latérales et des fonctionnalités comme Liquid ou EVM sans aucune fourchette. J’ai hâte de sortir ma démo. "
En réponse à la question d’Eric Wall sur la configuration du schéma 1-to-N, Super Testnet a posté ce qui suit: « Il prend également en charge le schéma 1-N, similaire aux rollups. Vous pouvez demander à une partie centrale de recevoir des frais pour effectuer des calculs pour un groupe. Tout le monde dans le groupe sait que le parti central ne peut pas mentir, sinon le groupe peut obtenir une marge énorme et la diviser entre ses membres. "
Un inconvénient majeur de BitVM est la complexité. **Pour que BitVM fonctionne, beaucoup de pré-signature est nécessaire.
Rijndael a commenté : « Il semble que CTV réduira les pré-signatures. Ce serait une excellente solution de construire avec Bitcoin actuel, puis de déterminer combien d’interactivité peut être réduite avec CTV, et si c’est une bonne chose ou une nécessité. "
Si vous ne le savez pas déjà, CTV = BIP-119 = Simple Covenant. Par conséquent, si nous mettons à niveau Bitcoin pour activer CTV, BitVM sera bien meilleur et plus efficace. **
Post Capone a ajouté son propre point de vue en discutant de la positivité actuelle au sein de l’écosystème Bitcoin: « BitVM a généré des commentaires positifs nets de 8 factions différentes au sein de Bitcoin, qui se dénigrent généralement les unes les autres jusqu’à la destruction. Grosse chose, mec. Beaucoup d’analyses / commentaires sont transmis dans un court laps de temps, ce qui est très cool. Ordinaux a été un moment magique. On a l’impression qu’il est suffisamment motivé pour faire un effort supplémentaire. Nous sommes tous blottis les uns contre les autres pour le rendre opérationnel. "
BitVM est très similaire à Lightning Network, avec au moins une exigence multisig 2: 2 dans le document.
Dylan LeClair a commenté: « Corrigez-moi si je me trompe: bien que techniquement très différent, c’est comme LN en ce sens qu’il s’agit d’un multisig 2: 2 où les TX / applications / contrats peuvent être construits sur Bitcoin, mais la vérification et le règlement ont lieu sur la chaîne. Si je comprends bien, cela permettrait des ancrages BTC sans confiance (?) ）"。
Sam a répondu: « Il peut faire tout ce que vous voulez, y compris des peg-ins sans confiance. » À cet égard, il est très similaire au Lightning Network. Je pense que l’exécution de ce protocole à l’intérieur de Lightning Channel serait une véritable décision stratégique. Je soupçonne qu’il existe un moyen de profiter des transactions de Lightning’s Justice d’une manière très synergique. "
Il y avait des doutes sur le fait que BitVM serait en mesure de prendre en charge l’état global, car la description dans l’article est similaire à un canal d’état, mais Super Testnet a répondu: « Il prend en charge l’état global. » La partie A peut prouver à la partie B des déclarations sur le grand livre mondial (comme Bitcoin ou sidechains ou même d’autres chaînes). "
Dans l’ensemble, BitVM « rend les contrats Bitcoin plus expressifs ». En particulier, il rend possibles des fonctionnalités que nous pensions à l’origine avoir besoin d’un soft fork. Il pourrait implémenter des chaînes latérales sans confiance, mais ce n’est pas encore tout à fait résolu. « ——Super Testnet
Rijndale a répondu que nous pourrions encore avoir besoin de clauses restrictives pour mettre en œuvre des chaînes latérales sans confiance: « BitVM vous permet de dépenser toutes les quantités d’UTX qui contiennent des contrats intelligents. Pour les sidechains sans confiance, nous devons être en mesure de dépenser la partie de l’UTXO contenant le contrat intelligent. "
Mon avis
Un autre livre blanc, une autre série de podcasts. BitVM est très intéressant, mais il est encore en phase de recherche et il y a encore beaucoup de questions à explorer, donc combien de problèmes BitVM sera capable de résoudre reste à déterminer.
Il peut y avoir quelques cas d’utilisation clés simples pour commencer à tirer parti de BitVM tout de suite afin de réduire les hypothèses de confiance (par exemple, les oracles DLC).