CertiK giành 2 khoản grant từ Ethereum Foundation

robot
Đang tạo bản tóm tắt

Theo báo cáo mới nhất, trong quý 1 năm 2025, Tổ chức Ethereum đã cấp hai khoản tài trợ nghiên cứu cho CertiK, một đơn vị nổi tiếng trong lĩnh vực bảo mật blockchain. Các dự án này tập trung vào công cụ phát triển và phương pháp chính thức để xác minh mạch zkVM.

Đánh Giá Công Cụ Verus: CertiK sẽ đánh giá Verus, một công cụ xác minh Rust, nhằm kiểm tra các mạch viết bằng Rust và các mô-đun tiền biên dịch của EVM.

Đơn Giản Hóa Xác Minh Mạch zkVM: Dự án này phát triển chiến lược để đơn giản hóa xác minh mạch zkVM, chú trọng vào số học mô-đun và các trường hợp nhiều giá trị đóng gói trong một phần tử miền.

Công nghệ xác minh chính thức của CertiK đã được áp dụng rộng rãi trên nhiều dự án Web3 hàng đầu như zkWasm, hợp đồng chính TON, Cosmos SDK, và HyperEnclave TEE của Ant Group. Nội dung chỉ mang tính thông tin thị trường và không phải là khuyến nghị đầu tư.

Cảm ơn các bạn đã đọc bài viết này!

Hãy Like, Comment và Follow TinTucBitcoin để luôn cập nhật những tin tức mới nhất về thị trường tiền điện tử và không bỏ lỡ bất kỳ thông tin quan trọng nào nhé!

This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Phần thưởng
  • Bình luận
  • Chia sẻ
Bình luận
0/400
Không có bình luận
Giao dịch tiền điện tử mọi lúc mọi nơi
qrCode
Quét để tải xuống ứng dụng Gate
Cộng đồng
Tiếng Việt
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)