一位人工智能审计师发现了来自补给漏洞的错误。 该协议由两家主要审计公司进行审计，但都未能发现这个问题。我一直在关注一个名为 @savantchat 的人工智能审计项目，因此我很想知道它是否能找到根本原因。 它正确识别了缺失的零或极大（>1e36）价格检查，但对其所做的评估却存在矛盾。在第3个问题中，它表示0汇率绕过了偿付能力检查，但在第4个问题中，它表示同样的值使每个借款人瞬间破产。 这仍然是一个令人印象深刻的结果，表明人类审计师与人工智能工具合作，很可能会发现这个问题。希望不久的将来，我们能在持续集成管道中看到人工智能审计师的身影。 特别感谢 @igorgulamov 为我进行这项工作。

DeFi 喜欢复杂性。我们不喜欢。 Twyne 的架构仅有大约 700 行代码。 安全性与复杂性成反比。 精简的代码库更安全、更快速且更易于调整。 这就是为什么这很重要 👇🧵

💥 新演讲者公告 很高兴宣布我们强大的阵容又添一员，@bl4ckb1rd71——@twynexyz 的 Web3 安全专家，同时也是一位真正的朋友。 ------------------------------------ ETH Belgrade 3 将于 6 月 3 日开始——请在日历上标记！ 🎟 获取门票（立减 30%）→ 🎤 申请演讲 → 🤝 成为赞助商 → 🛠 申请参加黑客马拉松 →

充分发挥借贷潜力。不让任何抵押品被浪费。 让我们为您喜爱的借贷市场带来资本效率： • 提高借贷年化收益率（APY） • 提升清算贷款价值比（LTV） • 防止94%的清算发生 同时保持风险隔离 - 怎么做到的？👇