การยืนยันอย่างเป็นทางการสามารถลดข้อบกพร่องและช่องโหว่ในสัญญาอัจฉริยะได้อย่างไร
การตรวจสอบสัญญาอัจฉริยะอย่างเป็นทางการเป็นแนวโน้มที่เกิดขึ้นใหม่ในพื้นที่ของสกุลเงินดิจิทัลที่มุ่งเน้นไปที่การลดอินสแตนซ์ของข้อบกพร่องและช่องโหว่ของสัญญาอัจฉริยะที่นำไปสู่การแฮ็กรายละเอียดสูงจำนวนมากและปัญหาด้านความปลอดภัยเฉพาะที่. การตรวจสอบอย่างเป็นทางการมีแอปพลิเคชันที่หลากหลายเกี่ยวกับระบบฮาร์ดแวร์และซอฟต์แวร์ มีความสำคัญอย่างยิ่งเมื่อความซับซ้อนของระบบเพิ่มขึ้นโดยเฉพาะกับฮาร์ดแวร์ ในเครือข่ายบล็อกเชนบทลงโทษของช่องโหว่และช่องโหว่ของสัญญาอัจฉริยะทำให้เกิดความจำเป็นในการปรับปรุงการเขียนโปรแกรมและการตรวจสอบสัญญาอัจฉริยะ. ความเป็นมาเกี่ยวกับการยืนยันอย่างเป็นทางการ ใช้การตรวจสอบอย่างเป็นทางการ วิธีการที่เป็นทางการ เพื่อตรวจสอบว่าการออกแบบฮาร์ดแวร์หรือระบบซอฟต์แวร์ตรงตามคุณสมบัติเฉพาะหรือไม่ วิธีการทางการเป็นเทคนิคทางคณิตศาสตร์ประเภทหนึ่งสำหรับข้อกำหนดการพัฒนาและการตรวจสอบทั้งระบบฮาร์ดแวร์และซอฟต์แวร์ การใช้วิธีการที่เป็นทางการเพื่อพิสูจน์หรือพิสูจน์ความถูกต้องของอัลกอริทึมที่ตั้งใจไว้เรียกว่าการตรวจสอบอย่างเป็นทางการ. มาร์ตินเดวิสได้รับเครดิตจากการพัฒนาหลักฐานทางคณิตศาสตร์ที่สร้างขึ้นด้วยคอมพิวเตอร์เครื่องแรกในปี 2497 แนวคิดนี้เริ่มได้รับความสนใจในทศวรรษที่ 1960 สำหรับการตรวจสอบความถูกต้องของโปรแกรมคอมพิวเตอร์ในภาษาต้น ๆ เช่นภาษาปาสคาลและภาษาจาวา ปฏิบัติตามข้อบกพร่องของคอมพิวเตอร์ที่มีรายละเอียดสูงเช่นไฟล์ ข้อผิดพลาด Pentium FDIV ในปี 1994 ความเชื่อมั่นที่ว่าการตรวจสอบอย่างเป็นทางการจำเป็นต้องมีอยู่ทั่วไปเริ่มที่การสโนว์บอล. การทดสอบซอฟต์แวร์หรือระบบฮาร์ดแวร์สามารถแบ่งออกเป็นสองขั้นตอนทั่วไป: การตรวจสอบ การยืนยัน การตรวจสอบความถูกต้องคือการพิจารณาว่าผลิตภัณฑ์ตรงตามความต้องการของผู้ใช้หรือไม่. Verification กำลังทดสอบว่าผลิตภัณฑ์เป็นไปตามข้อกำหนดหรือไม่. การตรวจสอบประกอบด้วยการสร้างแบบจำลองทางคณิตศาสตร์เชิงนามธรรมที่สัมพันธ์กับข้อกำหนดการออกแบบของผลิตภัณฑ์ (เช่นอัลกอริทึมชิปฮาร์ดแวร์) ในขณะที่วิธีการอย่างเป็นทางการที่ใช้ในการสร้างแบบจำลองส่วนใหญ่เกิดจากพื้นฐานทางวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี. การใช้การตรวจสอบอย่างเป็นทางการกลายเป็นสิ่งสำคัญอย่างยิ่งในระบบฮาร์ดแวร์ซึ่งผู้ผลิตฮาร์ดแวร์รายใหญ่เกือบทุกแห่งใช้เพื่อให้แน่ใจว่าผลิตภัณฑ์ของตนมีความทนทาน อย่างไรก็ตามการใช้งานยังไม่แพร่หลายในซอฟต์แวร์เหมือนกับที่ใช้ในฮาร์ดแวร์ซึ่งส่วนใหญ่เกิดจากลักษณะทางการค้าของการผลิตฮาร์ดแวร์. อย่างไรก็ตามไดนามิกดังกล่าวเริ่มเปลี่ยนไปตามการถือกำเนิดของ blockchains และ cryptocurrencies ซึ่งการถ่ายโอนมูลค่าจำนวนมากจะดำเนินการโดยอัตโนมัติผ่านเครือข่ายแบบกระจายอำนาจ ด้วยมูลค่าที่เป็นเดิมพันมากกว่าระบบแบบเดิมความถูกต้องของสัญญาอัจฉริยะจึงกลายเป็นปัญหาเร่งด่วน. ก ประวัติย่อ การใช้ประโยชน์จากสัญญาอย่างชาญฉลาดคือการทำความเข้าใจผลของช่องโหว่ง่ายๆในรหัสสัญญา. เหตุใดจึงควรใช้สำหรับสัญญาอัจฉริยะ? ตามล่าสุด ศึกษา ดำเนินการกับสัญญาอัจฉริยะ Ethereum เกือบ 1 ล้านสัญญาโดย 34,200 รายการถูกตั้งค่าสถานะว่ามีความเสี่ยงใน 10 […]