Jadi OpenZeppelin mengaudit EVMbench, tolok ukur keamanan AI dari OpenAI dan Paradigm. Ternyata auditor AI pada dasarnya hanya mengingat bug dari data 🧵 pelatihan mereka /1
Setiap laporan audit yang diterbitkan sebelum batas pelatihan dimasukkan ke dalam model. Jadi ketika "menemukan" bug reentrancy, itu tidak beralasan tentang kode Anda, itu hanya mencocokkan pola dengan ratusan laporan yang sudah dihafalnya
Tunjukkan buku teks ERC-777 Reentrancy dan itu langsung menyala. Temuan Kritis, Ini CVE, Ini 12 Kejadian Serupa menunjukkan bug akuntansi baru dalam mekanisme yang belum pernah terlihat? Ini menandai peristiwa yang hilang dan melanjutkan
Bagian yang menakutkan bukanlah karena ia melewatkan sesuatu. Bagian yang menakutkan adalah itu benar-benar percaya diri sambil melewatkan sesuatu. Tanpa ragu-ragu. hanya getaran dan pencocokan pola. tidak diragukan lagi berguna tetapi juga tidak mencukupi
Inilah sebabnya mengapa kami menggunakan Human Auditors untuk Alchemix V3. Sistem earmark/redeem kami, matematika epoch+index yang dikemas, akumulator bertahan hidup. Tak satu pun dari ini ada dalam korpus pelatihan apa pun. nol contoh. AI benar-benar tidak dapat melihatnya
145