Ketidakseimbangan ekonomi dalam keselamatan kontrak pintar selalu kejam. Seorang penyerang menghabiskan satu panggilan API, manakala seorang pertahanan menghabiskan seminggu kerja jurutera. Pengesahan formal selalu menjadi jawapan yang secara teori betul. Sebabnya ia tidak pernah boleh diskalakan ialah kerana penulisan spesifikasi secara manual adalah perlahan dan mahal. Apa yang dibina oleh @wgrieskamp menghancurkan halangan ini. → Claude Code menyambung ke Move Prover melalui MCP → AI menghasilkan spesifikasi → Prover mengesahkannya secara matematik → Gelung penambahbaikan berterusan sehingga pengesahan berjaya Bahagian yang membosankan menjadi automatik, manakala bahagian yang ketat tetap ketat. @DecibelTrade adalah sasaran yang tepat untuk membuktikan ini berfungsi: pemadanan pesanan, logik margin, pencairan, kadar pendanaan. Rincian penuh dari @wgrieskamp patut anda luangkan masa untuk baca 👇🏻