Pourquoi construire un véritable zkRollup sur Bitcoin est-il l'un des problèmes d'ingénierie les plus difficiles dans l'espace en ce moment ? Sur Ethereum, les zkRollups peuvent publier une preuve et avoir un contrat vérificateur onchain qui vérifie sa validité. Et comme les Rollups d'Ethereum, la plupart du temps, un zkRollup Bitcoin fonctionne rapidement hors chaîne. Le chemin heureux. Mais Bitcoin n'a pas ce type de vérification de preuve onchain, donc vous ne pouvez pas simplement publier une preuve et faire vérifier par Bitcoin de la même manière. C'est pourquoi un zkRollup Bitcoin a également besoin d'une sorte de mode 'procès' pour les pires cas. Le chemin malheureux. Si quelqu'un triche ou se déconnecte, le système passe à un processus de défi optimiste : Bitcoin impose un jeu de litige prédéfini en utilisant des transactions pré-signées et des délais, jusqu'à ce que la réclamation invalide soit réfutée ou que le tricheur expire. C'est pourquoi construire cela est difficile : vous ne construisez pas seulement le Rollup - vous concevez le mécanisme complet d'application des pires cas que Bitcoin peut réellement exécuter. Et c'est ce que le mainnet GOAT BitVM2 propose : un chemin de litige exécutable par Bitcoin qui rend le scaling sécurisé pratique, tout en gardant les sorties exécutables sur Bitcoin lui-même. Découvrez tout sur la façon dont nous concevons le chemin malheureux avec notre nouvelle série sur la compréhension de l'architecture BitVM2 👇