币界网消息,以太坊基金会近日发布了一篇技术文章,指出AI辅助安全研究面临的最大挑战是证明报告的漏洞是否真实,而非寻找潜在的错误。以太坊的协议安全团队表示,最近的实验显示,协调的AI代理在以太坊依赖的系统中发现了真实的软件缺陷,但大部分精力用于区分有效发现和误报。团队强调,AI代理应被视为生成假设的工具,而非决策者。为了减少不可靠的发现,基金会部署多个AI代理对同一软件库进行审查,每个代理处理不同的审查阶段。该流程从侦察开始,逐步缩小攻击面,最终确保每个报告都能在生产代码中得到验证。

ETH1,52%
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
  • Récompense
  • 5
  • 1
  • Partager
Commentaire
Ajouter un commentaire
Ajouter un commentaire
InstantNoodlesWithContracts
· Il y a 8h
Il est facile pour l'IA de trouver des bugs, mais difficile de vérifier le vrai du faux, c'est très vrai.
Voir l'originalRépondre0
BugBountyBuddy
· Il y a 8h
Reconnaissance → Réduction → Vérification, ce processus ressemble à un contrôle qualité en chaîne. J'attends de voir les résultats concrets.
Voir l'originalRépondre0
CatUnderTheNeonBridge
· Il y a 8h
Si la fondation rendait ces données expérimentales open source, ce serait génial, j'aimerais voir le taux de faux positifs exact.
Voir l'originalRépondre0
PaperHandsPro
· Il y a 8h
Générer des hypothèses plutôt que des décisions — ce positionnement est lucide ; à ce stade, on ne peut pas encore laisser l’IA trancher seule.
Voir l'originalRépondre0
BlueGlassJelly
· Il y a 8h
Ce qui prend le plus d'énergie, c'est le filtrage des faux positifs ; le goulot d'étranglement humain n'est toujours pas résolu.
Voir l'originalRépondre0
  • Épinglé