Auteur: Haotian

Comment comprendre le dernier Livre blanc de @StarkWareLtd, ColliderScript ? En bref : ColliderScript, en utilisant un mécanisme de collision de hachage, permet de réaliser des covenants sans modifier le protocole Bitcoin, et réalise des fonctionnalités de contrat intelligent complexes sur le Mainnet BTC en avance sur la proposition OP_CAT. Quel est le fonctionnement précis ? Quelle est la différence avec OP_CAT ? Accélérera-t-il le déploiement de Starknet sur la couche 2 du BTC ? Après avoir lu le Livre blanc, partagez-le avec tout le monde.

1. ColliderScript, as the name suggests, is a 'collider' that implements hash collisions on scripts. Due to the existence of two types of scripts in BTC - Big Script and Small Script, the Big Script can see transaction data such as signatures but can only perform limited calculations, while the Small Script can perform arbitrary calculations on 32-bit data but cannot see transaction data.

Cela signifie que la vérification des grands scripts est limitée à la validation de transactions signées, etc., et qu'il est impossible de traiter la logique des contrats complexes. Les petits scripts ont la capacité d'accueillir une logique complexe, mais sans lien avec la propriété de signature de la transaction, les traiter individuellement n'a aucun sens.

Que faire ? ColliderScript a ingénieusement conçu un "piège", utilisant SHA1 et RIPEMD pour réaliser une collision de hachage de 160 bits, pour prouver l'équivalence entre les grands scripts (traitant de grandes données telles que des signatures) et les petits scripts (ne pouvant traiter que 32 bits de données). Bien qu'il soit impossible de traiter des signatures de données plus grandes que 32 bits dans les petits scripts, un mécanisme de vérification cryptographique peut prouver que le contenu des scripts de taille différente tend à être similaire.

C'est une astuce mathématique astucieuse. ColliderScript permet de relier efficacement les informations des petits et grands scripts. La logique complexe des transactions de contrats peut être intégrée dans un petit script pour le calcul, tandis que le grand script conserve la vérification de la signature de la transaction. En fin de compte, ColliderScript permet de relier efficacement les informations des petits et grands scripts, ce qui permet d'implémenter des fonctionnalités de contrat complexes dans le script BTC.

2. J'ai déjà écrit un article détaillé sur OP_CAT. C'est une nouvelle proposition de code d'opération qui permet de concaténer plusieurs chaînes de caractères de script pour effectuer des opérations de validation et de calcul complexes dans le cadre d'un contrat global.

Grâce à OP_CAT, la logique qui devait initialement être traitée dans un seul bloc de données peut être divisée en plusieurs fragments de données, puis dynamiquement combinée lors de l'exécution du script, permettant une validation et un calcul plus flexibles.

Étant donné que OP_CAT est une proposition non fusionnée, il est inconnu s'il pourra être mis en ligne avec succès, tandis que l'apparition de ColliderScript peut permettre de mettre en œuvre en priorité les fonctionnalités de contrat intelligent sur BTCMainnet.

Cependant, tout comme l'implémentation logique de BitVM, ColliderScript intègre la logique de prétraitement off-chain, et la prétendue collision de hash nécessite des coûts de calcul et de stockage considérables. Selon le Livre blanc, chaque utilisation de la fonction de contrat nécessite une recherche de hash de 2^86 et un espace de stockage de 2^56, ce qui équivaut à consommer plus de 30 heures de puissance de calcul du réseau Bitcoin, ce qui augmentera naturellement les coûts matériels et la consommation d'électricité des Nœuds.

Par conséquent, ColliderScript ne remplacera pas complètement OP_CAT, mais sera utilisé comme solution transitoire pour traiter les contrats de grande valeur dans certains scénarios spécifiques, et d’autres scénarios d’affaires de petites et micro-transactions ne seront pas proportionnels à l’entrée et à la sortie dans la direction de ColliderScript.

Cela dit, le lancement de BitVM pose également le problème d'une faible utilité pratique, mais il permet à de nombreux projets tels que @GOATRollup, @BSquaredNetwork, etc., de mettre en œuvre des ponts natifs inter-chaînes (bridges cross-chain) et un mécanisme de preuve de défi spécifique à Bitcoin (BTCSpecific挑战证明机制).

Si l’on prend l’exemple de GoatNetwork, en tant que solution de couche 2 de Bitcoin qui peut réaliser DécentralisationSequencer et Native secure Interaction cross-chain, le noyau est basé sur BitVM2 pour implémenter un protocole de défi optimiste OCP, où tous les calculs et interactions sont effectués hors ligne à la couche 2. Lorsqu’il apparaît, le protocole hors chaîne sera exécuté dans BTCMainnet, et BTClayer1 agira en tant qu’arbitre pour assurer la sécurité.

Les défis de réalité «pratique» de CollideScript et son potentiel effet d'innovation de poisson-chat sont similaires, bien qu'il existe des obstacles de coût à grande échelle pour la diffusion généralisée, son exploration de la programmabilité de BTC grâce aux scripts de collision de taille donnera certainement la priorité à certains cas d'utilisation spécifiques.

La clé est que ce mode de prétraitement off-chain + combinaison off-chain déverrouillera à long terme de nombreux scénarios d'application complexes, ce qui est plus terre à terre que la simple accumulation de logique de vérification de calcul off-chain.

3）Cependant, la publication de ColliderScriptLivre blanc par Starkware est plutôt intéressante. Auparavant, @Starknet avait annoncé son intention de mettre en œuvre un plan de couche 2 Bitcoin basé sur OP_CAT, et maintenant ils ont lancé un tout nouveau plan de transition, passant du passif à l'actif. Il est clair que l'objectif est d'accélérer la mise en œuvre de sa solution de couche 2 pour Bitcoin.

En plus d'applaudir les capacités techniques innovantes de l'équipe Starkware, nous devons nous demander quel impact aura le lancement de cette couche 2 pour l'écosystème Bitcoin.