EthSystems เสร็จสิ้นการตรวจสอบเชิงรูปแบบของพูลความเป็นส่วนตัว ครอบคลุมไบต์โค้ด Sepolia

องค์กรเทคโนโลยีความเป็นส่วนตัวของ Ethereum อย่าง EthSystems ประกาศว่าได้เสร็จสิ้นการตรวจสอบเชิงรูปแบบของพูลความเป็นส่วนตัว โดยครอบคลุมตั้งแต่ข้อกำหนดที่เป็นลายลักษณ์อักษรไปจนถึงไบต์โค้ดบนเครือข่ายทดสอบ Sepolia ในระหว่างการตรวจสอบได้ใช้เครื่องมือหลายประเภท โดยโมเดล วงจร และแฮชใช้ Lean สัญญาใช้ Halmos และ Kontrol กระเป๋าเงินใช้ Aeneas และ Verus และการตรวจสอบและการปรับใช้ตรวจสอบโดยการสร้างใหม่แบบไบต์ต่อไบต์ การป้องกันการใช้จ่ายซ้ำและการอนุรักษ์มูลค่าได้รับการตรวจสอบโดยเครื่องพิสูจน์ทฤษฎี Lean ในการตรวจสอบพบปัญหาทั้งหมด 6 ข้อ โดย 3 ข้อเกิดจากเครื่องมือการตรวจสอบเอง ทีมงานยังได้ระบุสมมติฐานที่ยังคงต้องพึ่งพา รวมถึงการไม่มีการชนกันของแฮช การปฏิเสธการพิสูจน์ปลอมโดยเครื่องพิสูจน์ และพฤติกรรมของสัญญาที่สอดคล้องกับโมเดล

เนื้อหานี้จัดทำขึ้นเพื่อวัตถุประสงค์ด้านการให้ข้อมูลทั่วไปเท่านั้น และไม่ถือเป็นคำแนะนำด้านการเงิน การลงทุน กฎหมาย หรือภาษี อีเวนต์ รีวอร์ด โปรโมชันออนไลน์ หรือข้อมูลที่เกี่ยวข้องใดๆ ที่กล่าวถึงในที่นี้ ไม่ควรถือเป็นคำแนะนำ การชักชวน หรือคำเชิญชวนให้ซื้อ ขาย เทรด หรือดำเนินการอื่นใดเกี่ยวกับสินทรัพย์คริปโต สินทรัพย์คริปโตมีความผันผวนสูงและอาจส่งผลให้เกิดการขาดทุน ความพร้อมให้บริการของบริการ ผลิตภัณฑ์ และอีเวนต์ที่เกี่ยวข้องของ WEEX อาจแตกต่างกันไปตามภูมิภาค คุณมีหน้าที่ตรวจสอบให้แน่ใจว่าการเข้าร่วมของคุณเป็นไปตามกฎหมายและข้อบังคับท้องถิ่นที่ใช้บังคับ