DeFi sur Bitcoin sans soft fork : PRECOP et Simplicity passent à l’épreuve

Le protocole PRECOP, porté par le développeur Laz1m0v, propose d’exécuter des contrats financiers décentralisés sur Bitcoin mainnet sans aucune modification du consensus. L’architecture s’appuie sur Simplicity, langage formellement vérifiable conçu par Blockstream, et sur Taproot, l’upgrade activé en novembre 2021. La promesse interroge : peut-on greffer la DeFi sur la chaîne la plus conservatrice du marché sans soft fork, et à quel prix sécuritaire ? Ce dossier décortique l’architecture, le précédent Liquid Network et la zone grise de validation que PRECOP introduit.

Points clés 1. PRECOP — acronyme de « Predictive Convenant Oracle Protocol » — utilise Simplicity et Taproot pour exécuter des contrats financiers sans soft fork sur Bitcoin mainnet (Cryptoast). 2. Liquid Network, sidechain Bitcoin lancée par Blockstream en 2018, sert de banc d’essai à Simplicity et démontre la faisabilité de scripts plus expressifs hors L1. 3. L’architecture proposée repose sur le modèle UTXO et s’articule avec les standards de tokens existants (Runes, BRC-20) pour viser des swaps et des market makers automatisés. 4. Limite structurelle : les règles de PRECOP ne sont pas vérifiées par l’ensemble des nœuds Bitcoin, ce qui crée un consensus partiel et un modèle de sécurité distinct du L1 natif. 5. Le débat dépasse la prouesse technique : il rejoue la fracture historique entre minimalistes du protocole et partisans d’une expressivité accrue, déjà ouverte sous OP_RETURN, SegWit et Taproot.

Avril 2026 : un Bitcoin sommé de répondre à la concurrence DeFi

En avril 2026, le débat sur l’expressivité de Bitcoin reprend de l’intensité. Le réseau historique reste l’actif numérique dominant en capitalisation, mais l’écosystème des applications financières décentralisées s’est massivement déployé ailleurs : Ethereum, ses rollups, Solana, et plus récemment des chaînes spécialisées sur le restaking ou les actifs réels tokenisés. Pendant ce temps, Bitcoin a vu fleurir Ordinals, Inscriptions, BRC-20 puis Runes, mais sans cadre logique unifié pour les contrats financiers complexes.

Dans ce contexte, l’annonce relayée par Cryptoast d’un nouveau protocole baptisé PRECOP — pour « Predictive Convenant Oracle Protocol » — capte l’attention. L’auteur, le développeur connu sous le pseudonyme Laz1m0v, défend une approche minimaliste : ne rien changer au consensus, ne déclencher aucun soft fork, et exploiter ce que Bitcoin offre déjà depuis Taproot pour faire tourner des primitives DeFi crédibles sur le mainnet. La proposition se présente moins comme une rupture que comme une lecture aboutie de briques existantes, assemblées avec un langage de programmation pensé pour la vérification formelle, Simplicity.

Thèse : la DeFi sur Bitcoin se jouera côté sémantique, pas côté consensus

La thèse défendue par PRECOP est directe : l’obstacle à la DeFi sur Bitcoin n’est pas tant la rigidité du consensus que l’absence d’un environnement de programmation suffisamment expressif pour décrire des conditions financières complexes en restant vérifiable. En s’appuyant sur Simplicity et sur le modèle UTXO, le protocole prétend ouvrir la voie à des swaps, à des teneurs de marché automatisés et à des produits structurés sans demander aux nœuds Bitcoin d’adopter de nouvelles règles. La question critique devient alors celle du périmètre de validation : qui vérifie quoi, et avec quelle garantie de finalité.

Contexte historique : de Script à Taproot, dix ans de minimalisme assumé

Pour mesurer la portée d’une initiative comme PRECOP, il faut rappeler la trajectoire de l’expressivité sur Bitcoin. Le langage natif, Bitcoin Script, est volontairement non Turing-complet. Conçu par Satoshi Nakamoto, il refuse les boucles, exclut les états globaux, et limite drastiquement les opcodes utilisables. L’arbitrage est explicite : la prévisibilité du coût de validation et la simplicité du modèle de sécurité priment sur l’expressivité. Cette doctrine, héritée de l’éthique cypherpunk, a structuré une décennie de développement.

L’évolution s’est faite par étapes prudentes. En 2017, l’activation de SegWit a séparé les données de signature du reste de la transaction et préparé le terrain à de futures améliorations. En novembre 2021, l’activation de Taproot a marqué un palier supplémentaire : signatures Schnorr, agrégation de clés, et surtout MAST (Merkelized Abstract Syntax Trees), qui permet de construire des contrats à branches multiples sans révéler les branches non exécutées. Taproot ne rend pas Bitcoin Turing-complet, mais il rend les scripts plus compacts, plus privés, et autorise des conditions plus riches.

Parallèlement, les développeurs ont exploré des voies non protocolaires. Les Discreet Log Contracts, théorisés par Tadge Dryja en 2018, montrent comment construire des paris et des dérivés via des oracles sans modifier le consensus. Lightning Network, lancé en mainnet en 2018, déporte des transactions sur un réseau de canaux off-chain. Liquid Network, sidechain fédérée lancée par Blockstream la même année, propose un environnement plus expressif sans peser sur Bitcoin lui-même. Enfin, les Inscriptions Ordinals en 2023, puis le standard Runes activé en avril 2024 lors du quatrième halving, ont introduit une logique de jetons fongibles directement sur le L1 — sans modification du consensus, en exploitant des champs déjà disponibles.

Cette généalogie éclaire PRECOP : le protocole s’inscrit dans la lignée des innovations « par-dessus » Bitcoin, qui assemblent des primitives existantes plutôt que d’en réclamer de nouvelles. La nouveauté tient au choix de Simplicity comme couche d’expression, et à l’ambition d’amener cette logique sur le mainnet et non sur une sidechain. C’est précisément ce que la base technique éclaire.

Analyse technique : Simplicity, Taproot et le modèle UTXO en couches

Au cœur du dispositif, Simplicity est un langage développé par Blockstream à partir de travaux de recherche initiés en 2017 par Russell O’Connor. Sa singularité tient à sa conception : chaque programme est doté d’une sémantique formelle qui en autorise la vérification mathématique. Autrement dit, on peut prouver qu’un script Simplicity ne fera rien d’autre que ce qui est spécifié, ce qui constitue une garantie qu’aucun langage généraliste n’offre. Cette propriété intéresse particulièrement la finance on-chain, où une faille dans un teneur de marché automatisé se solde régulièrement par des dizaines de millions de dollars perdus.

Simplicity a fait ses débuts en production sur Liquid Network, ce que la documentation Blockstream et les communications publiques de l’équipe confirment. Liquid offre un environnement plus permissif que Bitcoin L1 : signatures Schnorr depuis ses premiers jours, contrats confidentiels, émission de tokens, et désormais Simplicity comme couche d’expression avancée. Le réseau fédéré agrège des fonctionnaires de la fédération — bourses, market makers, custodians — qui assurent le peg avec Bitcoin et la production des blocs.

PRECOP propose de remonter cette logique d’un cran : exploiter, sur Bitcoin L1, la combinaison Taproot + Simplicity pour exprimer des contrats financiers, tout en branchant la valeur sur les standards de tokens déjà déployés sur la chaîne. Le projet vise notamment l’interopérabilité avec les Runes, lancées en avril 2024 par Casey Rodarmor, et avec les BRC-20, expérimentés depuis mars 2023 sous l’impulsion du développeur Domo. L’idée centrale est de manipuler des UTXO dont les conditions de dépense incluent des prédicats Simplicity vérifiant des règles de swap, de pooling ou de prix.

Le modèle UTXO change la manière de penser un AMM (Automated Market Maker, teneur de marché automatisé). Là où Ethereum repose sur un état global modifié à chaque transaction, Bitcoin fonctionne en transformant des sorties non dépensées. Un AMM UTXO doit donc encoder l’état d’un pool dans un ou plusieurs UTXO successifs, chaque swap consommant l’UTXO précédent pour en produire un nouveau qui reflète la nouvelle balance. Cette approche, déjà explorée sur Cardano via eUTXO, se prête bien à la vérification formelle, car chaque transition d’état est localement spécifiable.

Pour situer où PRECOP se place dans le paysage des solutions visant à porter la DeFi sur Bitcoin, le tableau suivant synthétise les architectures dominantes en avril 2026.

Ce tableau met en évidence un point essentiel : aucun de ces dispositifs n’opère sans compromis. Plus l’expressivité se rapproche du L1, plus la question du périmètre de validation devient sensible. C’est précisément la zone grise dans laquelle PRECOP s’inscrit.

Sur le plan métrique, l’écosystème Bitcoin DeFi reste de taille modeste comparé à Ethereum. La TVL agrégée des protocoles construits sur ou ancrés à Bitcoin — Liquid, Stacks, Lightning, restaking BTC sur diverses solutions — est suivie par DefiLlama, qui distingue les catégories « Bitcoin Sidechains », « Lightning » et « Bitcoin LSTs ». Les ordres de grandeur restent inférieurs à ceux d’Ethereum L1 et de ses rollups, où la TVL DeFi se mesure historiquement en dizaines de milliards de dollars selon les agrégats DefiLlama. Sans chiffre précis communiqué par PRECOP à ce jour, il est prématuré d’évaluer la traction réelle du protocole, qui s’inscrit avant tout dans une logique de preuve de concept.

L’analyse technique laisse cependant une question ouverte : si l’intégrité Script est vérifiée par tous les nœuds, qu’en est-il des règles spécifiques que PRECOP impose au-dessus ? C’est ce que les implications terrain mettent immédiatement à l’épreuve.

Impact terrain : ce que PRECOP changerait pour les bâtisseurs et les utilisateurs

Pour les développeurs de protocoles, PRECOP ouvrirait un nouveau terrain d’expérimentation. Construire un AMM, un produit dérivé conditionnel ou un coffre-fort programmable sur Bitcoin L1 avec un langage doté de garanties formelles constituerait un saut qualitatif par rapport aux constructions actuelles, souvent confinées à des sidechains ou à des indexeurs externes. Les équipes habituées à Solidity ou à Rust trouveraient dans Simplicity un paradigme différent — vérification formelle, primitives bas niveau — qui demande une montée en compétence, mais qui réduit en théorie la surface d’attaque sur les contrats critiques.

Pour les hodlers, c’est-à-dire les détenteurs long terme de Bitcoin, l’enjeu est de pouvoir mobiliser des unités sans wrapping vers une autre chaîne. Le wrapping — qui consiste à verrouiller des BTC pour émettre une représentation tokenisée, comme WBTC sur Ethereum — implique un risque de contrepartie sur le custodian. Une primitive DeFi nativement L1, même partielle, déplacerait ce risque vers le code du protocole et la qualité de sa vérification. Les gardiens du minimalisme bitcoiner objecteront que la prudence reste de mise tant que le périmètre de validation n’est pas universel.

Pour les traders actifs et les market makers, l’apparition de marchés AMM sur des tokens Runes ou BRC-20 directement sur le L1 modifierait la microstructure. Aujourd’hui, l’essentiel des échanges Runes/BRC-20 transite par des marketplaces centralisées ou semi-centralisées. Un AMM on-chain natif, exécutable dans une transaction Bitcoin standard, redonnerait du sens à la composabilité — la capacité d’un protocole à s’imbriquer avec un autre — sans dépendre d’une couche tierce.

L’impact se mesure aussi en frais. Bitcoin connaît des périodes de saturation marquées, notamment lors des pics d’inscriptions Ordinals début 2024 où les fees moyennes ont temporairement explosé selon les données publiques de mempool.space et de Glassnode. Une DeFi native sur L1 déclencherait mécaniquement une demande supplémentaire d’espace de bloc. Le marché des frais sera l’un des arbitres réels du déploiement : un AMM dont les swaps coûtent plusieurs dollars en fees adresse une cible distincte de celle d’un AMM sur rollup à quelques cents par transaction.

Pour les opérateurs d’infrastructure — exchanges, custodians, pools de mining — l’enjeu est l’intégration. Si PRECOP gagne en traction, ils devront décider s’ils indexent ses transactions, s’ils en valident la sémantique, et s’ils acceptent la responsabilité associée. Là encore, la zone grise de validation se traduit en arbitrages concrets de produit. Mais la prudence des sceptiques mérite d’être entendue intégralement.

Perspectives contradictoires : le procès en consensus partiel

La principale critique adressée à PRECOP, déjà identifiée par les observateurs francophones dont Cryptoast, tient au consensus partiel. Sur Bitcoin L1, l’ensemble des nœuds vérifie la validité des transactions selon les règles du protocole : signatures correctes, scripts qui s’exécutent, montants qui s’équilibrent, absence de double dépense. Si PRECOP ajoute une couche sémantique — « cet UTXO ne peut être dépensé que si les conditions du pool AMM sont respectées » — les nœuds Bitcoin natifs ne valident que la couche Script, pas la couche métier. Autrement dit, du point de vue du consensus Bitcoin, une transaction PRECOP « invalide selon PRECOP » mais « valide selon Script » serait acceptée.

Ce n’est pas une nouveauté absolue. Les BRC-20 fonctionnent déjà ainsi : les nœuds Bitcoin valident les inscriptions Ordinals comme des transactions Taproot standards, mais l’attribution des balances BRC-20 dépend d’indexeurs externes qui appliquent les règles du standard. Lorsqu’un indexeur diverge ou se trompe, on observe des incohérences d’état. Pour la DeFi, où les sommes en jeu peuvent être substantielles, ce modèle introduit un risque : une faille d’indexeur ou un désaccord de spécification peut produire des trajectoires d’état contradictoires entre acteurs.

Une seconde critique porte sur la maturité de Simplicity en production. Le langage est en développement actif depuis plusieurs années, son arrivée sur Liquid démontre sa viabilité dans un environnement fédéré, mais son passage à grande échelle sur le L1 Bitcoin implique de gérer la complexité opérationnelle — outillage de développement, audits, débogueurs — à un niveau industriel encore en construction. Les voix prudentes côté core Bitcoin rappellent que l’absence de soft fork ne signifie pas absence de risque : un protocole tiers peut accumuler de la valeur économique au point que sa fragilité devienne systémique pour ses utilisateurs, sans que le réseau hôte n’ait de levier d’intervention.

Une troisième critique concerne la philosophie. Les bitcoiners minimalistes, dont Adam Back chez Blockstream est l’un des porte-voix historiques, considèrent que toute fonctionnalité financière complexe devrait s’exécuter hors L1, sur sidechains, rollups ou Lightning, afin de préserver la simplicité et la vérifiabilité du base layer. À l’opposé, les partisans d’une expressivité L1 estiment que l’innovation a déjà eu lieu sans permission via Ordinals et Runes, et qu’il vaut mieux accompagner ce mouvement avec des outils sûrs comme Simplicity plutôt que de le subir avec des briques moins formelles.

À ce stade, aucune position n’a tranché le débat publiquement, et PRECOP intervient comme une proposition concrète qui force le sujet à se cristalliser. Ce qui ouvre plusieurs trajectoires possibles.

Prospective : trois scénarios pour la DeFi Bitcoin sans soft fork

Premier scénario, l’adoption progressive sous forme de niche d’experts. PRECOP devient un terrain d’expérimentation pour quelques équipes spécialisées, qui déploient des AMM et des produits dérivés à petite échelle. La valeur totale verrouillée reste modeste, mais le protocole sert de banc d’essai pour de futures évolutions de Simplicity et pour des standards Runes plus matures. Dans cette trajectoire, Liquid Network conserve son rôle de sidechain de référence, et le L1 devient un terrain secondaire pour des cas d’usage à valeur unitaire élevée.

Deuxième scénario, la convergence avec d’autres briques. PRECOP s’imbrique avec des solutions BitVM, des rollups souverains ancrés à Bitcoin, ou des standards de tokenisation institutionnels. La logique formelle de Simplicity sert de socle commun, et les acteurs institutionnels — qui exigent des audits, des garanties juridiques et des modèles de risque clairs — adoptent le triptyque Taproot + Simplicity + standards de tokens comme couche d’exécution privilégiée. Cette trajectoire suppose une coordination importante entre Blockstream, les développeurs core, et les nouveaux entrants comme Laz1m0v.

Troisième scénario, le rejet de fait. La communauté Bitcoin core, déjà critique vis-à-vis des Inscriptions et des Runes pour leur consommation d’espace de bloc, exerce une pression politique pour décourager l’adoption. Sans soft fork à bloquer, la critique se déplace vers les standards de mempool, les politiques de relais des nœuds, et les filtres applicatifs. PRECOP survit alors comme curiosité technique, mais ne capte pas suffisamment d’adoption pour constituer une couche DeFi crédible sur L1.

Aucun de ces scénarios n’est aujourd’hui le plus probable au regard des sources publiques disponibles. La trajectoire dépendra de la qualité des premières implémentations, de la robustesse des audits, et de l’attitude des grands relais d’infrastructure. Une chose est cependant claire : le débat sur la place de la DeFi dans l’écosystème Bitcoin ne se réglera pas par un soft fork, mais par une succession de choix d’architecture comme celui que PRECOP soumet aujourd’hui à la discussion.

FAQ

PRECOP est-il un protocole déjà déployé ou un projet de recherche ?

Selon les sources francophones disponibles, PRECOP est documenté comme un protocole proposé, dont la viabilité technique repose sur Simplicity et Taproot. Au moment de la rédaction, il n’existe pas de communication publique faisant état d’un déploiement à grande échelle sur Bitcoin mainnet, et son statut relève davantage de la preuve de concept que d’un produit en production.

En quoi Simplicity diffère-t-il de Solidity ou des langages habituels de la DeFi ?

Simplicity est un langage de bas niveau pensé pour la vérification formelle : chaque programme dispose d’une sémantique mathématique permettant d’en prouver le comportement. Solidity, dominant sur Ethereum, est un langage de plus haut niveau, plus ergonomique mais plus difficile à vérifier formellement. Simplicity privilégie la sûreté au confort de développement.

La DeFi sur Bitcoin sans soft fork est-elle sécurisée comme la DeFi Ethereum ?

La sécurité dépend du périmètre de validation. Sur Ethereum, les règles d’un contrat sont validées par tous les nœuds. Avec PRECOP sur Bitcoin L1, l’intégrité Script est universellement vérifiée, mais la sémantique métier dépend d’acteurs spécialisés. Le modèle de risque est donc différent et appelle une appréciation distincte au cas par cas.

Quel rôle joue Liquid Network dans cette équation ?

Liquid Network sert de banc d’essai à Simplicity depuis plusieurs années. La sidechain, lancée par Blockstream en 2018, propose un environnement plus permissif que Bitcoin L1 et permet aux développeurs d’éprouver le langage en conditions réelles avant toute extension vers le mainnet, démarche dans laquelle s’inscrit indirectement PRECOP.

En conclusion : un test de maturité plus qu’une rupture

PRECOP n’est ni un soft fork, ni un nouveau Bitcoin, ni la promesse d’une DeFi de masse sur L1 du jour au lendemain. C’est une proposition d’architecture qui demande à Bitcoin une question simple : jusqu’où le réseau peut-il accueillir de l’expressivité financière sans renier le minimalisme qui fait sa valeur ? La réponse se construira par les implémentations concrètes, les audits, et l’attitude des opérateurs d’infrastructure. La trajectoire à surveiller n’est pas celle d’un cours, mais celle d’un consensus social autour de la place légitime de la sémantique financière sur le base layer.

Sources et références – Cryptoast, « Un nouveau langage de programmation pourrait rendre la DeFi possible sur Bitcoin sans modifier son consensus », 29 avril 2026. – Blockstream, documentation Liquid Network et travaux publics sur Simplicity (Russell O’Connor, 2017 et suivants). – Spécifications Bitcoin : SegWit (BIP 141, 2017), Taproot (BIP 340/341/342, 2021). – Standards de tokens : Ordinals (Casey Rodarmor, 2023), BRC-20 (Domo, 2023), Runes (Casey Rodarmor, avril 2024). – Agrégateurs de données : DefiLlama (catégories Bitcoin Sidechains, Lightning, Bitcoin LSTs), mempool.space, Glassnode.