j'ai passé du temps à réfléchir à pourquoi bitcoin avait besoin d’autant de mécanismes cryptographiques juste pour vérifier qu’un prêt a bien été remboursé.
le langage de script de bitcoin n’a jamais été conçu pour évaluer une logique de contrat arbitraire, donc tbv ne peut pas simplement demander à la chaîne de vérifier directement une condition de remboursement. à la place, la logique est calculée hors chaîne sous forme d’un circuit garbled, et bitcoin ne fait qu’indiquer si une preuve courte portant sur ce calcul était valide ou non.
ce n’est pas une fonctionnalité native, mais un contournement.
le processus de garbling cache le calcul réel à bitcoin, ce qui signifie que la chaîne applique un résultat qu’elle n’a, en réalité, jamais compris.
au début, cela m’a semblé une chose étrange à accepter.
mais les techniques de cut-and-choose rendent statistiquement coûteux le fait de forger le circuit sans être détecté, sans même avoir besoin que bitcoin interprète une quelconque partie de la logique sous-jacente.
la confiance se déplace alors : on ne se fie plus à la lecture du contrat, mais à la méthode de construction qui le sous-tend.
c’est une nature d’hypothèse assez différente de celle à laquelle la plupart des utilisateurs de defi sont habitués.
cela signifie aussi que l’audit de tbv n’est pas comme l’audit d’un smart contract normal.
un ensemble de compétences totalement différent.
vérifier la correction ici exige de comprendre la conception de protocoles cryptographiques, pas seulement de lire du solidity ou de passer en revue une ligne de script bitcoin par ligne.
alors, cacher la logique pour la rendre compatible avec bitcoin ne rend-il pas le système plus difficile à vérifier concrètement ?
@BabylonLabs_io
#baby $BABY
le langage de script de bitcoin n’a jamais été conçu pour évaluer une logique de contrat arbitraire, donc tbv ne peut pas simplement demander à la chaîne de vérifier directement une condition de remboursement. à la place, la logique est calculée hors chaîne sous forme d’un circuit garbled, et bitcoin ne fait qu’indiquer si une preuve courte portant sur ce calcul était valide ou non.
ce n’est pas une fonctionnalité native, mais un contournement.
le processus de garbling cache le calcul réel à bitcoin, ce qui signifie que la chaîne applique un résultat qu’elle n’a, en réalité, jamais compris.
au début, cela m’a semblé une chose étrange à accepter.
mais les techniques de cut-and-choose rendent statistiquement coûteux le fait de forger le circuit sans être détecté, sans même avoir besoin que bitcoin interprète une quelconque partie de la logique sous-jacente.
la confiance se déplace alors : on ne se fie plus à la lecture du contrat, mais à la méthode de construction qui le sous-tend.
c’est une nature d’hypothèse assez différente de celle à laquelle la plupart des utilisateurs de defi sont habitués.
cela signifie aussi que l’audit de tbv n’est pas comme l’audit d’un smart contract normal.
un ensemble de compétences totalement différent.
vérifier la correction ici exige de comprendre la conception de protocoles cryptographiques, pas seulement de lire du solidity ou de passer en revue une ligne de script bitcoin par ligne.
alors, cacher la logique pour la rendre compatible avec bitcoin ne rend-il pas le système plus difficile à vérifier concrètement ?
@BabylonLabs_io
#baby $BABY
