Ye Liu

Cet article explore comment les invariants peuvent améliorer la sécurité des smart contracts contre les attaques.

Un outil puissant pour analyser en profondeur les transactions de contrats intelligents fait son apparition.

Un nouveau repère pousse les limites de la compréhension vidéo en se concentrant sur des tâches au niveau des événements.

Les grands modèles de langage améliorent les évaluations de résumé de code avec des évaluations créatives.