AI 監査人が Resupply の悪用によるバグを発見しました この議定書は、2つの主要な監査法人によって監査されましたが、どちらもこの問題を見逃しています。私は@savantchatというAI監査の取り組みを追っていたので、根本的な原因をつかむことができるのではないかと興味がありました。 ゼロまたは非常に大きい(>1E36)価格の欠落している小切手を正しく特定しましたが、それが何をするかの評価は矛盾していました。問題3では、為替レートは0がソルベンシーチェックをバイパスすると言っていますが、問題4では、同じ値ですべての借り手が即座に支払不能になると述べています。 これはまだ印象的な結果であり、AIツールと協力して作業する人間の監査人がこの問題を解決した可能性が高いことを示しています。うまくいけば、近いうちに、CIパイプラインの一部としてもAI監査人が登場するようになるでしょう。 これを私のために実行してくれた@igorgulamovに感謝します。

DeFi loves complexity. We don’t. Twyne’s architecture is just ~700 lines of code. Security scales inversely with complexity. Lean codebase is safer, faster and easier to adjust. Here’s why that matters 👇🧵

💥 NEW SPEAKER ANNOUNCEMENT Excited to expand our brutal lineup with @bl4ckb1rd71, Web3 security expert at @twynexyz and a true friend. ------------------------------------ ETH Belgrade 3 starts June 3rd – mark your calendar! 🎟 Get tickets (30% OFF) → 🎤 Apply to speak → 🤝 Become a sponsor → 🛠 Apply to hack →

Full lending potential. No collateral left behind. Let’s bring capital efficiency to your favorite lending markets: • Boosting lending APYs • Raising liquidation LTVs • Preventing 94% of liquidations All while keeping risks segregated - How? 👇