Glossary
BitVM
Un cadre de recherche pour exprimer du calcul arbitraire sur Bitcoin via de grands arbres de contrats pré-engagés et des jeux de fraud-proofs — sans fork requis.
BitVM, proposé par Robin Linus en 2023, encode du calcul off-chain comme une série de transactions Bitcoin pré-signées représentant un jeu de fraud-proof. Les deux parties s'engagent sur un arbre de calcul off-chain, et toute partie tricheuse peut être contestée et slashée via des transactions on-chain — sans modifier le protocole Bitcoin.
Le cadre est encore en recherche et ingénierie actives. Il importe parce qu'il esquisse une voie vers des rollups optimistes et ZK sur Bitcoin sans nécessiter de soft fork pour ajouter de nouveaux opcodes.