นิวยอร์กซิตี รัฐนิวยอร์ก 21 พฤษภาคม 2026, Chainwire
Certora แพลตฟอร์มการรับรองความปลอดภัยแบบครบวงจรที่ทีมชั้นนำด้าน Web3 ให้ความไว้วางใจ ได้รับทุนจำนวน 2,010,000 Canton Coin (ประมาณ 300,000 ดอลลาร์สหรัฐ) จากกองทุนพัฒนา Canton เพื่อสร้างเครื่องมือวิเคราะห์โค้ดแบบสแตติกโอเพ่นซอร์สตัวใหม่สำหรับโปรเจ็กต์ Daml โครงการนี้มีเป้าหมายเพื่อสนับสนุนงานต่อเนื่องของ Certora ในการทำให้พฤติกรรมของสมาร์ตคอนแทรกต์โปร่งใสอย่างสมบูรณ์และตรวจสอบได้ด้วยเครื่องจักร พร้อมขยายขีดความสามารถดังกล่าวไปยังสถาบันที่สร้างระบบบน Canton Network
เครื่องมือของ Certora จะวิเคราะห์ไฟล์ .dar ที่คอมไพล์แล้ว ซึ่งเป็นแพ็กเกจสมาร์ตคอนแทรกต์ที่คอมไพล์แล้วของ Canton เพื่อตรวจจับและแสดงภาพการทำงานร่วมกันข้ามแพ็กเกจ ซึ่งเป็นหนึ่งในประเด็นที่ซับซ้อนและยากที่สุดของระบบสมาร์ตคอนแทรกต์ เครื่องมือนี้จะระบุทุกกรณีที่แพ็กเกจหนึ่งมีอำนาจในการเรียกใช้อีกแพ็กเกจหนึ่ง รวมถึงการอ้างอิงอย่างละเอียด เช่น พาธของไฟล์ต้นทางและเลขบรรทัดที่แน่นอน การติดตามซัพพลายเชนเต็มรูปแบบของแต่ละสัญญา Daml เป็นสิ่งจำเป็นต่อการทำความเข้าใจผลกระทบด้านความเป็นส่วนตัวของการโต้ตอบกับสมาร์ตคอนแทรกต์บน Canton ระดับการมองเห็นเช่นนี้มีความสำคัญอย่างยิ่งในสถาปัตยกรรมที่ให้ความสำคัญกับความเป็นส่วนตัวของ Canton ซึ่งการเปิดเผยข้อมูลโดยไม่ได้ตั้งใจอาจก่อให้เกิดผลกระทบร้ายแรง เครื่องมือของ Certora จะทำให้การวิเคราะห์ที่องค์กรต้องการก่อนจะดีพลอยหรือโต้ตอบกับสัญญา Daml เป็นแบบอัตโนมัติ
การมอบอำนาจข้ามแพ็กเกจเป็นหนึ่งในส่วนที่ยากที่สุดของระบบสมาร์ตคอนแทรกต์แบบหลายฝ่ายที่จะตรวจสอบด้วยตนเอง ด้วยการทำให้กระบวนการนี้เป็นแบบอัตโนมัติ เครื่องมือนี้จึงช่วยลดภาระให้กับทีมพัฒนา ทีมความปลอดภัย และทีมกำกับดูแล พร้อมทั้งเพิ่มความมั่นใจให้กับสถาบันที่ประเมินแอปพลิเคชันบน Canton
เครื่องมือนี้จะถูกเผยแพร่ภายใต้ไลเซนส์ Apache 2.0 และถูกรวมเข้าโดยตรงใน dpm ซึ่งเป็นเครื่องมือบรรทัดคำสั่งของ Canton สำหรับใช้ในการสร้าง ทดสอบ และรันแอปพลิเคชัน Canton ทำให้นักพัฒนาที่สร้างแอปพลิเคชันแบบหลายฝ่ายบน Daml เข้าถึงได้อย่างง่ายดาย
สำหรับธนาคาร สถาบันการเงิน และผู้ให้บริการโครงสร้างพื้นฐานที่กำลังประเมินโครงสร้างพื้นฐานบัญชีแยกประเภทแบบกระจาย การทำความเข้าใจพฤติกรรมของสมาร์ตคอนแทรกต์อย่างแม่นยำก่อนการดีพลอยเป็นเงื่อนไขเบื้องต้น เครื่องมือของ Certora นำความเข้มงวดในระดับนั้นมาสู่ระบบนิเวศของ Canton
“เมื่อสถาบันการเงินย้ายโครงสร้างพื้นฐานที่มีความสำคัญมาสู่ระบบบัญชีแยกประเภทแบบกระจาย มาตรฐานด้านการรับรองความถูกต้องของสมาร์ตคอนแทรกต์จำเป็นต้องยกระดับขึ้นตามไปด้วย การทำงานของ Certora ร่วมกับ Canton Foundation มีเป้าหมายเพื่อให้บรรลุระดับนั้น โดยนำการวิเคราะห์แบบอัตโนมัติที่เข้มงวดซึ่งเราได้สร้างไว้สำหรับ DeFi มาสู่สถาบันที่ต้องการมากที่สุด” มูลี ซากีฟ ผู้ร่วมก่อตั้ง Certora กล่าว
ความเชื่อมั่นในระบบแบบกระจายเป็นความท้าทายสำคัญของการยอมรับบล็อกเชน สถาปัตยกรรมที่ให้ความสำคัญกับความเป็นส่วนตัวของ Canton มอบวิธีที่ปลอดภัยในการเข้าร่วมในบล็อกเชนสาธารณะ แต่แม้กระทั่งผู้ตรวจสอบที่เชื่อถือได้ก็ยังจำเป็นต้องเข้าใจและตรวจสอบพฤติกรรมของสมาร์ตคอนแทรกต์ได้อย่างสมบูรณ์
Certora จะมอบข้อมูลเชิงลึกที่ชัดเจนและนำไปใช้ได้จริงเกี่ยวกับวิธีที่คอนแทรกต์โต้ตอบกันข้ามแพ็กเกจ ช่วยให้ผู้พัฒนาและผู้ปฏิบัติงานสามารถประเมินความเสี่ยงด้านความปลอดภัยก่อนการดีพลอย หากต้องการเรียนรู้เพิ่มเติม โปรดไปที่ certora.com
เกี่ยวกับ Certora
Certora เป็นพาร์ตเนอร์ด้านการรับรองความปลอดภัยที่ทีมชั้นนำใน Web3 ให้ความไว้วางใจ ก่อตั้งขึ้นในปี 2018 โดยผู้บุกเบิกด้านภาษาโปรแกรมและวิธีการเชิงรูปแบบ Certora ช่วยให้โปรโตคอลชั้นนำอย่าง Lido, Aave, Uniswap และ Compound รักษาความปลอดภัยของมูลค่าหลายพันล้านดอลลาร์ได้อย่างมั่นใจ
เกี่ยวกับ Canton Foundation
The Canton Foundation เป็นองค์กรกำกับดูแลอิสระของ Canton Network เครือข่ายบล็อกเชนที่เน้นความเป็นส่วนตัวซึ่งสร้างขึ้นสำหรับบริการทางการเงินที่อยู่ภายใต้การกำกับดูแล มูลนิธิดูแลการกำกับดูแลเครือข่าย การพัฒนาระบบนิเวศ และการรับสมาชิกใหม่เข้าร่วมเครือข่าย
ติดต่อ
ผู้จัดการฝ่ายประชาสัมพันธ์อาวุโส
ลอเรน บูคอสกี้
[email protected]