ตามข่าวเมื่อวันที่ 15 สิงหาคม บริการตรวจสอบอย่างเป็นทางการของโครงการวิเคราะห์ความปลอดภัยของสัญญาอัจฉริยะ Certora รองรับภาษาโปรแกรม Ethereum Vyper ทำให้นักพัฒนาสัญญาอัจฉริยะสามารถตรวจจับข้อผิดพลาดก่อนตรวจสอบหลังจากปรับใช้โค้ด
ตามข่าวเมื่อวันที่ 15 สิงหาคม บริการตรวจสอบอย่างเป็นทางการของโครงการวิเคราะห์ความปลอดภัยของสัญญาอัจฉริยะ Certora รองรับภาษาโปรแกรม Ethereum Vyper ทำให้นักพัฒนาสัญญาอัจฉริยะสามารถตรวจจับข้อผิดพลาดก่อนตรวจสอบหลังจากปรับใช้โค้ด
ความคิดเห็นทั้งหมด