BIP-0116
Propose l’ajout de l’opcode OP_MERKLEBRANCHVERIFY au système de script de Bitcoin. Cet opcode permet de vérifier une preuve d’inclusion dans un arbre de Merkle directement dans un script. Concrètement, il prend sur la pile un hash racine, une preuve de branche et une valeur, puis vérifie que cette valeur appartient bien à l’arbre identifié par la racine. Combiné avec d’autres opcodes, il permettrait de construire des structures de type MAST (Merkelized Abstract Syntax Tree) directement en Script. Ce BIP, proposé par Mark Friedenbach en 2017, a été supplanté par Taproot (BIP-0341) qui intègre nativement le concept de MAST.