Goplus 团队在智能合约与 DeFi 安全领域的综述论文正式被中科院一区 TOP 期刊录用

深潮Publié le 2025-06-10Dernière mise à jour le 2025-06-10

论文系统回顾了DeFi安全领域的研究进展，重点聚焦于漏洞检测、攻击追踪、风险评估与自动化修复等关键方向。

Comprehensive Review of Smart Contract and DeFi Security: Attack, Vulnerability Detection, and Automated Repair

近日，Goplus团队在智能合约与去中心化金融（DeFi）安全领域的综述论文《Comprehensive Review of Smart Contract and DeFi Security: Attack, Vulnerability Detection, and Automated Repair》正式被中科院一区TOP期刊《Expert Systems With Applications》录用！

《ExpertSystems With Applications》于1990年创刊，是Elsevier旗下的计算机科学和人工智能领域的权威期刊，期刊当前影响因子为7.5，中科院一区TOP期刊，JCR分区Q1。

随着DeFi快速发展并形成点对点金融生态系统，协议中锁定的大量资产成为攻击者的目标，造成了数十亿美元的安全损失。尽管业界和学术界已提出诸多防护策略，但针对DeFi与智能合约安全的系统性、全面性研究仍相对缺乏。

为填补该领域的研究空白，论文系统回顾了DeFi安全领域的研究进展，重点聚焦于漏洞检测、攻击追踪、风险评估与自动化修复等关键方向。具体内容包括：

· 系统总结DeFi面临的主要安全威胁，并将历史攻击事件归纳为六大类；

· 实证评估9种主流DeFi安全工具，涵盖漏洞检测与风险评估功能；

· 分析38种智能合约漏洞检测工具的适用性与效果；

· 初步探讨8种自动修复工具在DeFi场景下的应用潜力。

为支持后续研究与工具开发，论文还构建并开放了一个包含99个DeFi协议、共计7,340个智能合约的标准数据集，覆盖六类典型攻击类型，助力DeFi社区提升整体安全水平。

该研究不仅为学术界提供了系统全面的参考框架，也为实际应用提供了评估与防御指导，有望在推动DeFi安全基础设施建设方面发挥积极作用。

Cryptos en tendance

wrapped stUSDTWSTUSDT

Billions NetworkBILL

PYTH (Pyth)PYTH

Velodrome FinanceVELODROME

PancakeSwapCAKE

Lectures associées

Ethereum a perdu 45% depuis le début de l'année – Alors pourquoi SharpLink et les baleines continuent-ils d'acheter ?

Malgré une baisse de 45% depuis le début de l'année, Ethereum (ETH) continue d'attirer l'intérêt institutionnel. Le trésor de SharpLink a repris ses achats après huit mois, ajoutant 5 000 ETH et des tokens stakés, portant ses réserves totales à plus de 876 000 ETH. Cette accumulation, malgré des pertes latentes, témoigne d'une conviction en l'utilité à long terme et aux revenus du staking d'Ethereum. Parallèlement, les portefeuilles de baleines montrent un schéma similaire, avec une nouvelle adresse accumulant plus de 18 000 ETH en neuf jours, indiquant une stratégie d'exposition anticipée plutôt qu'une réaction aux mouvements quotidiens. Cependant, la confiance retrouvée ne se traduit pas encore par une demande institutionnelle plus large. Les ETF spot ont subi d'importantes sorties de fonds, avec un retrait net récent de 12,85 millions de dollars. Cette divergence suggère que les acheteurs directs (trésors, baleines) et les investisseurs ETF réagissent à des conditions de marché différentes. En résumé, l'accumulation persistante par des acteurs clés signale un soutien sous-jacent, mais une reprise durable d'Ethereum nécessitera un renforcement des entrées dans les ETF pour contrebalancer les sorties institutionnelles.

ambcryptoIl y a 3 h

Ethereum a perdu 45% depuis le début de l'année – Alors pourquoi SharpLink et les baleines continuent-ils d'acheter ?

ambcryptoIl y a 3 h

Il y a quelques instants, DeepSeek V4 a mis à jour DSpark, augmentant la vitesse d'inférence de 80 %

DeepSeek a annoncé une mise à jour majeure de son modèle DeepSeek-V4-Pro avec le lancement de DSpark, un nouveau cadre de décodage spéculatif (Speculative Decoding) open source, accompagné de l'infrastructure complète DeepSpec. Cette mise à jour, axée sur l'ingénierie et non sur les capacités fondamentales du modèle, vise à accélérer considérablement l'inférence des LLM en production. Le cœur de DSpark est l'introduction d'une **génération semi-autorégressive**. Cela combine la génération parallèle à haut débit d'un modèle "brouillon" léger avec une modélisation des dépendances entre tokens pour améliorer le taux d'acceptation. De plus, un système de **vérification planifiée par confiance et conscient du matériel** (Confidence-Scheduled Verification) évalue dynamiquement la probabilité que chaque token généré soit accepté par le modèle cible. Il adapte ainsi la longueur de vérification en temps réel pour optimiser l'utilisation des ressources GPU, notamment en charge élevée. Les résultats sont significatifs : face aux méthodes de pointe comme Eagle3 et DFlash, DSpark augmente la longueur moyenne de tokens acceptés de 26.7% à 30.9% et de 16.3% à 18.4% respectivement sur les modèles Qwen3. En déploiement réel, par rapport à la génération token par token précédente (MTP-1), **DSpark améliore la vitesse de génération pour l'utilisateur de 60% à 85% pour le modèle Flash et de 57% à 78% pour le modèle Pro**, à débit total constant. Le projet open source **DeepSpec** fournit une stack complète pour entraîner et évaluer des modèles brouillons pour le décodage spéculatif, supportant actuellement les algorithmes DSpark, DFlash et Eagle3, ainsi que les familles de modèles cibles Qwen3 et Gemma.

marsbitIl y a 4 h

Il y a quelques instants, DeepSeek V4 a mis à jour DSpark, augmentant la vitesse d'inférence de 80 %

marsbitIl y a 4 h

Aavenomics 3.0 peut-il soutenir la reprise de AAVE malgré les rumeurs de rachat par Kraken ?

Le PDG d'Aave Labs, Stani Kulechov, a démenti les récentes rumeurs de rachat par Kraken, affirmant qu'Aave ne vendrait jamais ses tokens avec une décote de 70%. Il a précisé que le protocole génère 134 millions de dollars de revenus annualisés pour sa DAO et vise le marché total de la finance, incluant la tokenisation. Kulechov a également annoncé le plan Aavenomics 3.0, qui inclura un nouveau mécanisme automatique de rachat de tokens. Ces développements ont soutenu la reprise du prix d'AAVE, qui a augmenté de 12% suite aux clarifications et a enregistré une hausse de plus de 50% en juin, atteignant environ 88 dollars. Cette remontée coïncide avec une réduction notable de la pression de vente sur les plateformes d'échange depuis fin mai. Cependant, le token reste en baisse d'environ 77% par rapport à son sommet de 2025. Le marché observe maintenant si le plan Aavenomics 3.0 pourra consolider cette reprise, après une période de tensions liées à la gouvernance et à la macroéconomie.

ambcryptoIl y a 5 h

Aavenomics 3.0 peut-il soutenir la reprise de AAVE malgré les rumeurs de rachat par Kraken ?

ambcryptoIl y a 5 h

La méthode de Karpathy pour utiliser Claude était donc celle-ci ?

Depuis son arrivée chez Anthropic, Andrej Karpathy est moins actif en open source. Une documentation supposément utilisée par lui, nommée CLAUDE.md, circule. Il s'agit d'un guide pour optimiser l'utilisation de Claude en tant qu'assistant de programmation. Le fichier énonce des règles strictes pour éviter les erreurs récurrentes des LLM lors de l'écriture de code. Les principaux conseils sont : lire attentivement le code existant avant d'écrire pour respecter le style du projet, clarifier les hypothèses et les compromis, privilégier la simplicité et éviter le sur-conception, effectuer des modifications chirurgicales sans reformater inutilement, valider systématiquement par des tests, être méthodique pour le débogage, ajouter des dépendances avec parcimonie, et communiquer clairement sur les changements apportés. Le document détaille aussi des échecs courants comme les abstractions prématurées, les décisions invisibles ou les modifications incontrôlées. Bien que son authenticité soit incertaine, le contenu s'inspire directement des réflexions de Karpathy sur le "Vibe Coding". Un projet GitHub reprenant ces principes a montré une réduction significative du taux d'erreur du code généré par Claude.

marsbitIl y a 6 h

La méthode de Karpathy pour utiliser Claude était donc celle-ci ?

marsbitIl y a 6 h

BIT Recherche : La réduction de moitié en 2028 n'est pas une fin en soi, le véritable remodelage de l'industrie minière du Bitcoin ne fait que commencer

L'industrie du minage de Bitcoin traverse actuellement l'ajustement structurel le plus complexe depuis la création du protocole. Malgré un prix du Bitcoin d'environ 61 000 $ et une puissance de calcul (hashrate) proche du record historique à 1 ZH/s, la rentabilité des mineurs se détériore. Plusieurs indicateurs montrent que le secteur fonctionne près du seuil de rentabilité, et le prochain halving de 2028 pourrait accélérer la consolidation. Les problèmes ne viennent pas seulement de la future réduction des récompenses de bloc, mais aussi de la transition incomplète vers un modèle de revenus basé sur les frais de transaction. De plus en plus d'entreprises minières évoluent de simples producteurs de Bitcoin vers des opérateurs d'infrastructures, d'énergie et de calcul pour l'IA/le HPC. La compétition se déplace ainsi de l'expansion de la puissance de calcul vers l'innovation des modèles économiques. Le modèle de coût de production indique un plancher actuel d'environ 46 744 $. Fait notable, les revenus des mineurs divergent historiquement du prix du Bitcoin. Alors que les revenus théoriques journaliers devraient être d'environ 78 millions de $, ils ne sont en réalité que de 33 millions de $. Les revenus provenant des frais sont également bas, à environ 220 000 $ par jour. En 2025, le coût de l'électricité a représenté 71,5% des revenus totaux des mineurs. Le prix d'équilibre pour le secteur est estimé à environ 65 000 $, rendant le minage seul peu rentable au prix actuel. Après le halving de 2028, le coût de production plancher pourrait atteindre ~93 289 $, favorisant les grandes entreprises aux ressources diversifiées. En conclusion, le secteur transforme son modèle fondamental : du "minage" vers les "infrastructures". La rentabilité future dépendra de la diversification des revenus, notamment via la gestion énergétique et l'hébergement de calcul IA/HPC. Pour les investisseurs, l'enjeu clé est d'identifier les entreprises capables de réussir cette transition et de bâtir un avantage compétitif résilient.

marsbitIl y a 6 h

BIT Recherche : La réduction de moitié en 2028 n'est pas une fin en soi, le véritable remodelage de l'industrie minière du Bitcoin ne fait que commencer

marsbitIl y a 6 h

Trading

Spot

Articles tendance

Comment acheter TOP

Bienvenue sur HTX.com ! Nous vous permettons d'acheter TOP AI Network (TOP) de manière simple et pratique. Suivez notre guide étape par étape pour commencer votre parcours crypto.Étape 1 : Création de votre compte HTXUtilisez votre adresse e-mail ou votre numéro de téléphone pour ouvrir un compte sur HTX gratuitement. L'inscription se fait en toute simplicité et débloque toutes les fonctionnalités.Créer mon compteÉtape 2 : Choix du mode de paiement (rubrique Acheter des cryptosCarte de crédit/débit : utilisez votre carte Visa ou Mastercard pour acheter instantanément TOP AI Network (TOP).Solde ：utilisez les fonds du solde de votre compte HTX pour trader en toute simplicité.Prestataire tiers ：pour accroître la commodité d'utilisation, nous avons ajouté des modes de paiement populaires tels que Google Pay et Apple Pay.P2P ：tradez directement avec d'autres utilisateurs sur HTX.OTC (de gré à gré) : nous offrons des services personnalisés et des taux de change compétitifs aux traders.Étape 3 : stockage de vos TOP AI Network (TOP)Après avoir acheté vos TOP AI Network (TOP), stockez-les sur votre compte HTX. Vous pouvez également les envoyer ailleurs via un transfert sur la blockchain ou les utiliser pour trader d'autres cryptos.Étape 4 : tradez des TOP AI Network (TOP)Tradez facilement TOP AI Network (TOP) sur le marché Spot de HTX. Il vous suffit d'accéder à votre compte, de sélectionner la paire de trading, d'exécuter vos trades et de les suivre en temps réel. Nous offrons une expérience conviviale aux débutants comme aux traders chevronnés.

183 vues totalesPublié le 2024.12.10Mis à jour le 2026.06.02

Comment acheter TOP

Discussions

Bienvenue dans la Communauté HTX. Ici, vous pouvez vous tenir informé(e) des derniers développements de la plateforme et accéder à des analyses de marché professionnelles. Les opinions des utilisateurs sur le prix de TOP (TOP) sont présentées ci-dessous.

活动图片

Catégories populaires

Tags tendances