Công ty an ninh Web3 Certora nhận tài trợ từ Quỹ Ethereum

GateNews

2026-02-05 14:13:05

ETH1,64%

Odaily星球日报讯 Web3 An toàn công ty Certora thông báo nhận được tài trợ từ Quỹ Ethereum, số tiền cụ thể chưa được tiết lộ, số tiền này sẽ được sử dụng để hỗ trợ xác minh tính chính xác của việc tự động biên dịch trước, tự động biên dịch trước là một kỹ thuật tối ưu quan trọng trong tính toán bằng chứng không kiến thức, do Powdr Labs phát triển cho dự án zkEVM của Quỹ Ethereum, theo thông tin Certora dự định mở nguồn các quy chuẩn, chứng minh và khung xác minh do họ phát triển。（Chainwire）

Xem bản gốc

Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ bên thứ ba và không đại diện cho quan điểm hoặc ý kiến của Gate. Nội dung hiển thị trên trang này chỉ mang tính chất tham khảo và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Gate không đảm bảo tính chính xác hoặc đầy đủ của thông tin và sẽ không chịu trách nhiệm cho bất kỳ tổn thất nào phát sinh từ việc sử dụng thông tin này. Đầu tư vào tài sản ảo tiềm ẩn rủi ro cao và chịu biến động giá đáng kể. Bạn có thể mất toàn bộ vốn đầu tư. Vui lòng hiểu rõ các rủi ro liên quan và đưa ra quyết định thận trọng dựa trên tình hình tài chính và khả năng chấp nhận rủi ro của riêng bạn. Để biết thêm chi tiết, vui lòng tham khảo Tuyên bố miễn trừ trách nhiệm.