# Open Source Articles associés

Le Centre d'actualités HTX fournit les derniers articles et analyses approfondies sur "Open Source", couvrant les tendances du marché, les mises à jour des projets, les développements technologiques et les politiques réglementaires dans l'industrie crypto.

BitsLab présente la recherche de MoveBit : Belobog, un framework de fuzzing Move pour les attaques réelles

BitsLab, via sa filiale MoveBit, présente Belobog, un nouveau cadre de fuzzing conçu spécifiquement pour les contrats intelligents écrits en langage Move, utilisé dans des écosystèmes comme Sui et Aptos. Contrairement aux outils traditionnels qui génèrent souvent des transactions invalides en raison du système de typage strict et des sémantiques de ressources de Move, Belogog utilise une approche guidée par les types. Il construit un graphe de types pour générer des séquences d'appels plus plausibles et exécutables, permettant d'atteindre des chemins plus profonds et des états critiques où se cachent souvent des vulnérabilités complexes. Belobog intègre également une exécution concolique (concolic execution), combinant exécution concrète et raisonnement symbolique, pour mieux naviguer à travers les contraintes et les assertions, améliorant ainsi la couverture des tests. Évalué sur 109 contrats réels, Belobog a détecté 100% des vulnérabilités critiques et 79% des vulnérabilités majeures préalablement identifiées par des auditeurs experts. Il a également reproduit avec succès des attaques complètes sans connaissance préalable des failles. L'outil, conçu pour être accessible aux développeurs, sera publié en open source pour favoriser son adoption et son évolution communautaire. Ce travail, actuellement en prépublication (arXiv:2512.02918) et soumis à PLDI’26, vise à combler un manque important dans l'écosystème Move en alignant le fuzzing sur les chemins d'attaque réels.

marsbit12/16 09:18

BitsLab présente la recherche de MoveBit : Belobog, un framework de fuzzing Move pour les attaques réelles

marsbit12/16 09:18

Quand l'émission de jetons devient une chaîne de production, certains paient les développeurs de Bitcoin

Récemment, un rapport de l’équipe de recherche Bitcoin 1A1z a mis en lumière le travail essentiel et discret des développeurs de Bitcoin Core, le « système d’exploitation » du réseau Bitcoin. Contrairement aux projets axés sur le marketing et les narratives éphémères, ces contributeurs maintiennent et améliorent les infrastructures fondamentales de l’écosystème crypto. Parmi les principaux sponsors qui soutiennent financièrement ces développeurs, on trouve OKX, l’un des rares exchanges à s’engager dans un soutien durable et non médiatisé depuis 2019. Ces fonds aident au financement de travaux critiques : optimisation des performances, sécurité, confidentialité, et revue du code. Sans ce type de soutien, Bitcoin Core ne pourrait pas évoluer de manière stable. OKX a notamment soutenu des contributeurs clés comme Marco Falke, ancien mainteneur principal du code Bitcoin, ainsi que des organisations à but non lucratif comme Brink et Vinteum. À ce jour, près de 2 millions de dollars ont été engagés. Au-delà de la couche protocolaire, OKX investit également dans des infrastructures orientées utilisateurs, comme OKX Wallet, qui simplifie l’accès à Web3 via des solutions techniques (MPC, Passkey) et une intégration multi-chaînes. La plateforme combine aussi CEX et DEX pour offrir simplicité et sécurité. Ces efforts s’inscrivent dans une vision long terme : plutôt que de suivre les trends éphémères, OKX contribue à construire les fondations techniques et expérientielles nécessaires à l’adoption massive des cryptos. Dans un paysage où les projets consacrent moins de 20% de leur budget à la tech, ce choix stratégique pourrait s’avérer décisif pour l’avenir de l’industrie.

marsbit12/13 02:01

Quand l'émission de jetons devient une chaîne de production, certains paient les développeurs de Bitcoin

marsbit12/13 02:01

活动图片