เวิร์กโฟลว์การตรวจสอบสัญญาอัจฉริยะ

เรียนรู้ขั้นตอนการตรวจสอบสัญญาอัจฉริยะ

อ่านและค้นหาโค้ด

เอเจนต์ใช้ list_dir และ glob เพื่อค้นหาไฟล์สัญญาทั้งหมดในโฟลเดอร์การทำงานของคุณ และ read_file เปิดโค้ดแหล่งที่มาหลักเพื่อตรวจสอบ นี่คือจุดเริ่มต้น นักตรวจสอบพบช่องโหว่ในสัญญาอัจฉริยะโดยการอ่านโค้ดด้วยตนเอง มันรัน grep เพื่อค้นหาการเรียกใช้งานภายนอก การตรวจสอบการเข้าถึง และการเปลี่ยนแปลงสถานะทั้งหมดในโปรเจกต์ คุณเห็นผลการค้นหาทันทีในแชทเพื่อยืนยันทุกบรรทัดของโค้ดที่เกี่ยวข้อง ความล้มเหลวด้านความปลอดภัยหลังจากที่โปรโตคอลไปใช้งานจริงเป็นข้อกังวลหลักสำหรับการตรวจสอบสัญญาอัจฉริยะที่มีโครงสร้างก่อนการเผยแพร่ เรียนรู้การตรวจสอบสัญญาอัจฉริยะเพื่อเข้าใจตรรกะก่อนที่เอเจนต์จะเสนอการเปลี่ยนแปลงใดๆ ในฐานโค้ด

รันการทดสอบและรีวิว

เอเจนต์ใช้ Shell เพื่อรันคำสั่งทดสอบและคำสั่งตรวจสอบคงที่บนพีซีของคุณ ดังนั้นมันจึงบันทึกผลลัพธ์เป็นไฟล์ข้อความเพื่ออ้างอิงและร่างการค้นพบ คุณสามารถรีวิวดิฟเหล่านี้ได้ การรีวิวดิฟเหล่านี้ช่วยให้คุณเข้าใจกระบวนการตรวจสอบทั้งหมดอย่างชัดเจน การเริ่มต้นกับการตรวจสอบ solidity เกี่ยวข้องกับการอ่านโค้ดด้วยตนเอง เครื่องมือใช้ write_file เพื่อร่างบันทึกการค้นพบและการแก้ไขที่เสนอ มันแสดงดิฟให้คุณก่อนยอมรับการเปลี่ยนแปลงใดๆ ในไฟล์ของคุณ คุณสามารถสลับเป็นโหมด Ask first เพื่อหยุดก่อนทุกการกระทำที่เปลี่ยนแปลงสิ่งใดสิ่งหนึ่ง การผ่านการทดสอบยืนยันว่าการแก้ไขแก้ปัญหาได้ แต่บุคคลยังคงรีวิวดิฟ