một kiểm toán viên AI đã phát hiện ra một lỗi từ lỗ hổng cung cấp lại giao thức đã được kiểm toán bởi hai công ty kiểm toán lớn, cả hai đều đã bỏ lỡ vấn đề này. tôi đã theo dõi nỗ lực kiểm toán AI này có tên là @savantchat nên tôi rất quan tâm xem nó có phát hiện ra nguyên nhân gốc rễ hay không. nó đã xác định chính xác các kiểm tra bị thiếu cho giá bằng không hoặc cực kỳ lớn (>1e36), nhưng đánh giá về những gì nó làm lại mâu thuẫn. trong vấn đề 3, nó nói rằng 0 tỷ giá hối đoái bỏ qua các kiểm tra khả năng thanh toán, nhưng trong vấn đề 4, nó nói rằng cùng một giá trị khiến mọi người vay ngay lập tức trở nên mất khả năng thanh toán. đây vẫn là một kết quả ấn tượng và nó cho thấy một kiểm toán viên con người làm việc cùng với một công cụ AI có thể đã phát hiện ra vấn đề này. hy vọng sớm thôi chúng ta sẽ có các kiểm toán viên AI ngay cả như một phần của quy trình CI. cảm ơn đặc biệt đến @igorgulamov vì đã thực hiện điều này cho tôi.

DeFi yêu thích sự phức tạp. Chúng tôi thì không. Kiến trúc của Twyne chỉ có khoảng ~700 dòng mã. Bảo mật tỷ lệ nghịch với độ phức tạp. Cơ sở mã gọn nhẹ an toàn hơn, nhanh hơn và dễ điều chỉnh hơn. Đây là lý do tại sao điều đó quan trọng 👇🧵

💥 THÔNG BÁO DIỄN GIẢ MỚI Rất vui mừng mở rộng danh sách diễn giả của chúng tôi với @bl4ckb1rd71, chuyên gia bảo mật Web3 tại @twynexyz và là một người bạn thực sự. ------------------------------------ ETH Belgrade 3 bắt đầu vào ngày 3 tháng 6 – hãy đánh dấu vào lịch của bạn! 🎟 Nhận vé (giảm 30%) → 🎤 Đăng ký phát biểu → 🤝 Trở thành nhà tài trợ → 🛠 Đăng ký tham gia hack →

Tiềm năng cho vay toàn diện. Không để tài sản thế chấp bị bỏ lại phía sau. Hãy mang lại hiệu quả vốn cho các thị trường cho vay yêu thích của bạn: • Tăng APY cho vay • Nâng cao tỷ lệ LTV thanh lý • Ngăn chặn 94% các trường hợp thanh lý Tất cả trong khi vẫn giữ rủi ro được phân tách - Làm thế nào? 👇