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

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)

ETH-7,43%
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Chủ đề liên quan
#
EthereumL2Outlook
Bình luận
0/400
Không có bình luận
  • Ghim