Xác minh thời gian chạy ra mắt bản tổng hợp ZK phổ biến trên MultiversX

Công ty kiểm toán bảo mật Runtime Verification có trụ sở tại Illinois, áp dụng các phương pháp xác minh chính thức tiên phong tại NASA để cải thiện độ an toàn, độ tin cậy và tính chính xác của hệ thống máy tính, đang ra mắt PI Squared, một ZK Rollup phổ quát sử dụng chuỗi khối MultiversX làm lớp đồng thuận.

Được tiết lộ trong buổi ra mắt vào ngày thứ ba của hội nghị xDay do MultiversX tổ chức, PI Squared sẽ giảm việc xác minh các tuyên bố tính toán thành xác minh bằng chứng toán học. Điều này sẽ được thực hiện thông qua một trình kiểm tra bằng chứng phổ quát, được triển khai dưới dạng mạch ZK (song song) tùy chỉnh.

Với sự tăng trưởng theo cấp số nhân của không gian blockchain, số vụ hack và khai thác hợp đồng thông minh ngày càng gia tăng, tạo ra nhu cầu về các tiêu chuẩn bảo mật tốt hơn. Do đó, giải pháp dựa trên bản tổng hợp ZK của Xác minh thời gian chạy là một công cụ quan trọng trong việc loại bỏ những vấn đề cản trở việc áp dụng, không giống như các giải pháp thay thế sử dụng công nghệ này chủ yếu để cải thiện khả năng mở rộng của mạng lớp 1.

Là ngôn ngữ lập trình/VM bất khả tri, nó sẽ cho phép bất kỳ nhà phát triển, người dùng và doanh nghiệp nào tận dụng các khả năng của chuỗi khối MultiversX trong quy trình làm việc của họ để xác minh bằng chứng tính chính xác một cách dễ dàng, không tin cậy và theo chương trình.

Động thái này cũng đặt hệ sinh thái MultiversX trở thành ứng cử viên hàng đầu cho các công ty khởi nghiệp và công ty muốn triển khai một cách an toàn các trường hợp sử dụng có giá trị cao bằng cách đưa ra bộ công cụ dành cho nhà phát triển có thể truy cập để tìm ra các lỗi tinh vi và lỗi logic từ giai đoạn thiết kế.

Sự kiện xDay đã thiết lập một làn sóng tăng trưởng mới trong không gian Web3, được thúc đẩy bởi các mối quan hệ đối tác lớn kết nối AI, Fintech, Gaming và hơn thế nữa với kiến trúc blockchain an toàn, có thể mở rộng và mạnh mẽ nhất trên thế giới.

Giới thiệu về xác minh thời gian chạy

Xác minh thời gian chạy đã đi tiên phong trong phương pháp xác minh chính thức để phát triển phần mềm trong 20 năm qua. Nó được bắt đầu tại NASA và dần dần tiến vào không gian blockchain, nơi có lẽ nó cần thiết nhất do tính phức tạp ngày càng tăng đi kèm với khả năng kết hợp hợp đồng thông minh và kiến trúc blockchain.

Giới thiệu về MultiversX

Một mạng blockchain phi tập trung, an toàn và có khả năng mở rộng cao được tạo ra để kích hoạt các ứng dụng hoàn toàn mới cho người dùng, doanh nghiệp, xã hội và biên giới metaverse mới.