智能合約是現今去中心化金融 (Decentralized Finance) 的關鍵技術,但因為合約漏洞導致龐大財產損失的消息卻時有所聞,常常聽到因一行程式碼或是邏輯設計的錯誤而導致可觀數字的美金一夕消失。因此智能合約的開發嚴謹性應要比一般軟體更加受到重視。除了利用成本高昂的人工審計來對合約內容進行檢查外,現今也有各種 Rule / Fuzzing-based 的自動化掃描工具,讓開發者能夠更快速且低成本的進行程式檢查。我們使用了大量的合約訓練 AI 模型,並使用基於 Transformer 技術進行模型開發,能夠提供準確度及偵測速度都表現良好的 AI 漏洞偵測工具