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

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