RISC Zero Ra mắt ZkVM 1.0 để phát triển DApp

by

Là một nhà nghiên cứu có nền tảng về công nghệ blockchain và bằng chứng không có kiến ​​thức, tôi rất vui mừng về những phát triển gần đây trong lĩnh vực này, đặc biệt là việc ra mắt zkVM 1.0 của RISC Zero và Bằng chứng SQL của Không gian và Thời gian.

RISC Zero, một nền tảng tiên phong cho điện toán có thể kiểm chứng kiến ​​thức bằng không do zk-STARK điều khiển, đã công bố zkVM 1.0 sẵn sàng sản xuất. Theo báo cáo của The Block, zkVM có mục đích chung mới này nổi bật so với các lựa chọn thay thế hiện có do ứng dụng của nó trong việc tạo các ứng dụng Tài chính phi tập trung (DeFi) trên nhiều chuỗi khối khác nhau bằng cách sử dụng bằng chứng không có kiến ​​thức.

Các tính năng của zkVM 1.0 của RISC Zero

Quy trình chứng minh hiệu quả về mặt chi phí của zkVM 1.0 được quảng cáo là một trong những tính năng chính của nó. Nhóm đằng sau nền tảng này cũng nhấn mạnh các số liệu hiệu suất tốt hơn của nó như một lợi thế bổ sung. Đáng chú ý, zkVM 1.0 có khả năng tạo bằng chứng cho các chương trình khác nhau, giống như nó được phát triển trên Rust.

Trên nền tảng đổi mới của RISC Zero, lý luận phức tạp có thể phát triển mạnh mẽ, vượt qua các hạn chế truyền thống liên quan đến quy mô hoặc chi phí gas. Mục tiêu của chúng tôi là chuyển một phần đáng kể gánh nặng tính toán khỏi các Ứng dụng phi tập trung (DApps) trên chuỗi. Thông qua các bằng chứng không chứa kiến ​​thức, chúng tôi nén và xác thực các tính toán một cách xác thực ở tốc độ ấn tượng. Quá trình xác minh này diễn ra mà không cần người xác minh phải đích thân thực hiện các tính toán.

Với tư cách là một nhà phân tích, tôi có thể khẳng định rằng cơ chế này tăng cường đáng kể khả năng mở rộng của các ứng dụng blockchain bằng cách cho phép xử lý các giao dịch phức tạp ngoài chuỗi trong khi vẫn đảm bảo xác thực trên chuỗi. Các ứng dụng của nó mở rộng đến chuỗi khối lớp 2, cầu nối chuỗi chéo và các lĩnh vực yêu cầu tính toán hiệu quả và có thể kiểm chứng.

Trong trường hợp thông thường, zkEVM được thiết kế dành riêng cho hệ sinh thái Máy ảo Ethereum (ETH-VM). Tuy nhiên, zkVM đại diện cho một loại máy ảo khác sử dụng bằng chứng Không có kiến ​​thức (ZK) để hỗ trợ các Ứng dụng phi tập trung (DApps). Ngoài zkVM 1.0 mới ra mắt gần đây, các lựa chọn thay thế đáng chú ý bao gồm Nexus zkVM, Jolt từ nhóm mật mã của Andreessen Horowitz và SPI từ Succinct Labs – hai lựa chọn sau đã lần lượt được tích hợp vào sự cộng tác của Polygon và AggLayer.

Trong tương lai không xa, zkVM 1.0 sẽ cho phép các DApp giao tiếp với nhau trên các chuỗi khối được trang bị Trình xác minh RISC ZERO. Do đó, các ứng dụng này có thể hoạt động trơn tru trên nhiều nền tảng như Ethereum, Basis, Optimism, Wanchain, Arbitrum và Starknet.

Để bắt đầu ra mắt zkVM 1.0, RISC Zero đã tổ chức một sự kiện thiết lập đáng tin cậy. Quy tắc này đã được các công ty kiểm toán bên ngoài kiểm tra kỹ lưỡng theo xác nhận của dự án.

Bằng chứng ra mắt không gian và thời gian của SQL

Công ty tiền điện tử California Space and Time (SXT) đã tiết lộ hệ thống chứng minh ZK dưới giây của họ có tên là Proof of SQL.

Trình chứng minh không có kiến ​​thức hiệu suất cao này trên GitHub được tạo để người dùng có quyền truy cập vào nó. Bằng chứng về SQL, một bằng chứng Không có kiến ​​thức (ZK) cải tiến, đảm bảo thực thi xác thực các truy vấn cơ sở dữ liệu SQL trên dữ liệu không bị thay đổi thông qua các phương tiện mã hóa.

Với tư cách là nhà phân tích mô hình ZK, tôi nhấn mạnh rằng một lợi thế đáng kể của mô hình Không kiến ​​thức (ZK) là khả năng xác thực tính chính xác hoặc trung thực của dữ liệu hoặc giao dịch nhất định mà không tiết lộ thông tin nhạy cảm. Thuộc tính này làm cho nó khác biệt với các giải pháp thay thế trên thị trường.

2024-06-18 11:51