StarkWare a franchi une étape historique en vérifiant avec succès sa première preuve zéro connaissance (ZK) à l'aide de son nouveau vérificateur STARK sur le réseau Bitcoin Signet.
Le développement fait suite à trois mois d’exploration approfondie des possibilités d’OP_CAT, la proposition technique visant à étendre les capacités de la blockchain Bitcoin.
Le vérificateur jette les bases du développement de solutions de couche 2 (L2) basées sur ZK afin d'améliorer l'évolutivité du BTC et de progresser vers des opportunités de paiement mondiales.
En relation: Le jalonnement Starknet atteindra le réseau principal au quatrième trimestre – EthCC
Proposition OP_CAT
La proposition OP_CAT introduit la fonctionnalité de contrat intelligent dans le réseau BTC et, bien qu'elle soit encore en cours de processus d'approbation, elle est actuellement disponible sur le réseau de test BTC Signet.
Le vérificateur ZK de StarkWare est la première application pratique à grande échelle de l'opcode de la proposition sur testnet. Sa mise en œuvre réussie sur le réseau BTC Signet entraîne plusieurs implications.
S'adressant à Cointelegraph, Weikeng Chen, partenaire de recherche chez L2 Iterative et contributeur, a expliqué que le vérificateur ZK "est quelque chose qui [n'a] jamais été fait auparavant".
"De nombreux éléments de base sont nécessaires, mais [la] communauté Bitcoin n'a jamais construit aucun de ces éléments de base auparavant."
Connexe : Le nouveau logiciel open source ZK réduit les temps de requête SQL
Preuve de concept et accessibilité
La preuve de concept du vérificateur STARK impliquait de résoudre un problème mathématique, vérifiant le 32e nombre de la séquence au carré de Fibonacci.
Selon Chen, le processus a demandé « d’énormes efforts » et « beaucoup de temps ». En l’absence d’informations sur l’utilisation de Bitcoin à l’épreuve du ZK, l’équipe « est partie de rien ».
Chen a déclaré à Cointelegraph qu'il avait fallu à l'équipe "plusieurs mois pour rédiger les éléments de base dès le début".
«Nous sommes fondamentalement la seule équipe à implémenter réellement le vérificateur ZK dans Bitcoin. Comme nous pouvons le confirmer auprès de différentes parties que nous connaissons, c'est la première fois qu'une preuve ZK est vérifiée.
Contrairement à d'autres solutions de mise à l'échelle BTC qui s'appuient sur des preuves de fraude ou sur la vivacité, il s'agit de la première solution basée sur STARK accessible au public pour les développeurs, avec le code accessible sur GitHub.
En relation: StarkWare lance un fonds de recherche de 1 million de dollars pour la mise à l'échelle de ZK Bitcoin
Le jalonnement Starknet arrivera sur le réseau principal au quatrième trimestre
Le 10 juillet, à EthCC, Eli Ben-Sasson, PDG de StarkWare, a annoncé le projet de la société d'introduire le staking sur Starknet d'ici la fin 2024.
Proposée dans le cadre d'une proposition d'amélioration de Starknet (SNIP), l'approbation de la communauté conduirait à de nouvelles fonctionnalités de jalonnement qui permettraient aux jalonneurs de « recevoir progressivement plus de responsabilités ».
L'approbation du SNIP permettrait aux utilisateurs de devenir des jalonneurs à condition qu'ils détiennent le montant minimum de mise ou qu'ils délèguent leurs avoirs à un jalonneur existant.
Magazine : Crypto-Sec : Evolve Bank subit une violation de données, un passionné de Turbo Toad perd 3,6 000 $
