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

ETH0,5%
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)
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ các nguồn bên thứ ba và chỉ mang tính chất tham khảo. Thông tin này không phản ánh quan điểm hoặc ý kiến của Gate 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. Giao dịch tài sản ảo tiềm ẩn rủi ro cao. Vui lòng không chỉ dựa vào thông tin trên trang này khi đưa ra quyết định. Để biết thêm chi tiết, vui lòng xem Tuyên bố miễn trừ trách nhiệm.
Bình luận
0/400
Không có bình luận