BitVM
Aussi · BitVM2 · Preuve de fraude · Vérification optimiste
BitVM est une technique pour vérifier n’importe quel calcul sur Bitcoin sans changer ses règles. Un prouveur affirme un résultat, un vérificateur peut le contester, et seule une fraude finit sur la chaîne.
Proposé par Robin Linus en 2023, BitVM n’est ni une chaîne ni un jeton. C’est une manière de trancher un litige sur un calcul avec rien d’autre que le script Bitcoin existant, des verrous de hachage, des timelocks et des arbres Taproot. Le calcul s’exécute hors chaîne. Un prouveur s’engage sur son résultat. Si un vérificateur conteste, un jeu de défis force le prouveur à dévoiler ses étapes jusqu’à ce qu’une contradiction soit montrée on-chain.
Son premier usage est le pont. Un rollup comme Citrea peut faire entrer et sortir des BTC avec la garantie qu’1 seul observateur honnête suffit à bloquer un retrait frauduleux. BitVM2 a ouvert les défis à tous et réduit fortement leur coût. Les délais de contestation et les limites de taille du script Bitcoin restent ses contraintes.
En anglais · BitVM
