บริษัทความปลอดภัย Web3 Certora ได้รับทุนสนับสนุนจากมูลนิธิ Ethereum

Odaily星球日报讯 บริษัทความปลอดภัย Web3 Certora ประกาศว่าได้รับทุนสนับสนุนจากมูลนิธิ Ethereum โดยจำนวนเงินยังไม่ได้เปิดเผย เงินทุนที่เกี่ยวข้องจะถูกนำไปใช้สนับสนุนความถูกต้องของการตรวจสอบอัตโนมัติที่เป็นการคอมไพล์ล่วงหน้า การคอมไพล์ล่วงหน้าอัตโนมัติเป็นเทคนิคการปรับปรุงที่สำคัญในคำนวณแบบ Zero-Knowledge ซึ่งพัฒนาโดย Powdr Labs สำหรับโครงการ zkEVM ของมูลนิธิ Ethereum จากรายงาน Certora วางแผนที่จะเปิดซอร์สเฟรมเวิร์กสำหรับการพัฒนา มาตรฐาน การพิสูจน์ และการตรวจสอบของตนเอง (Chainwire)