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

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ư.

Tuyên bố miễn trừ: Bài viết này chỉ nhằm mục đích cung cấp thông tin dưới dạng blog cá nhân, không phải là khuyến nghị đầu tư. Nhà đầu tư cần tự nghiên cứu kỹ lưỡng trước khi đưa ra quyết định và chúng tôi không chịu trách nhiệm đối với bất kỳ quyết định đầu tư nào của bạn.

Theo Nghị quyết số 05/2025/NQ-CP ngày 09/09/2025 của Chính phủ về việc thí điểm triển khai thị trường tài sản số tại Việt Nam, TinTucBitcoin.com hiện chỉ cung cấp thông tin cho độc giả quốc tế và không phục vụ người dùng tại Việt Nam cho đến khi có hướng dẫn chính thức từ cơ quan chức năng.