Space and Time phát hành SQL Prover ZK thứ hai và mã nguồn mở nó

Là lớp điện toán có thể xác minh cho AI và blockchain, Space and Time (SxT) hôm nay đã phát hành bộ chứng minh SQL trên GitHub, một bộ chứng minh ZK hiệu suất cao để xử lý dữ liệu.

SQL Prover là một bộ chứng minh ZK mới được phát triển bởi SxT nhằm đảm bảo về mặt mật mã rằng các truy vấn cơ sở dữ liệu SQL được tính toán chính xác trên dữ liệu không bị giả mạo. Bằng cách sử dụng bộ chứng minh SQL, các nhà phát triển có thể thực hiện các phép tính trên các tập dữ liệu trên chuỗi và ngoài chuỗi mà không cần tin cậy, đồng thời chứng minh kịp thời kết quả cho các hợp đồng thông minh trong quá trình giao dịch để hỗ trợ các giao thức DeFi dựa trên dữ liệu phức tạp hơn.

Tiến sĩ Jay White, đồng sáng lập và giám đốc nghiên cứu tại SxT và là người phát minh ra giao thức SQL Prover, cho biết: “Không gian và Thời gian rất vui mừng được dẫn dắt Web3 vào một kỷ nguyên mới của các hợp đồng thông minh dựa trên dữ liệu và DeFi thế hệ tiếp theo”. Nhóm của chúng tôi đã đi tiên phong trong công cụ chứng minh ZK cấp hai của Châu Á để các hợp đồng thông minh và tác nhân AI có thể đặt câu hỏi về hoạt động chuỗi cũng như dữ liệu ngoài chuỗi và nhận kết quả truy vấn SQL không đáng tin cậy trực tuyến trong khi giao dịch mà không cần chờ 30 phút chứng minh. "

SQL Prover đã được phát hành ở phiên bản alpha cho một nhóm khách hàng SxT chọn lọc vào tháng 8. Với bản phát hành ngày hôm nay trên GitHub, giao thức này hiện đã có sẵn cho công chúng. Các thành viên cộng đồng có thể chạy các truy vấn không đáng tin cậy trên SxT trên Space and Time Studio và các nhà phát triển có thể tải xuống kho lưu trữ trực tiếp từ GitHub.

Bộ chứng minh SQL là bộ chứng minh ZK đầu tiên chạy trong vài giây. Trong các điểm chuẩn mới nhất của Nhóm mật mã học SxT, giao thức có thể thực hiện các truy vấn phân tích trên hơn 100.000 bảng hàng trong chưa đầy một giây trên một GPU và đạt được thời gian chặn Ethereum nhanh hơn 100% trên một NVIDIA T 4. trong nhà.

So với zkVM và bộ đồng xử lý có mục đích chung, bộ chứng minh SQL cung cấp kiến trúc hiệu suất cao hơn để xử lý lượng lớn dữ liệu. Mặc dù zkVM có mục đích chung cung cấp giải pháp có thể mở rộng để tính toán tùy ý, nhưng quá trình xử lý dữ liệu tỏ ra chậm.

Trình chuẩn SQL có thể được tích hợp với các zkVM này để cung cấp dữ liệu nguồn có thể kiểm chứng cho phép thực thi mã tùy ý. Space and Time khuyến khích và mời các thành viên cộng đồng cũng như các nhóm kỹ thuật ZKP khác cộng tác trong repo. Bộ chứng minh có thể được tích hợp vào bất kỳ cơ sở dữ liệu SQL nào (chẳng hạn như Google BigQuery), dù là tập trung hay phi tập trung và đã được sử dụng trong một số ứng dụng Web3, tổ chức tài chính và doanh nghiệp nổi tiếng.

Về không gian và thời gian

Không gian và Thời gian là lớp điện toán có thể xác minh được cho AI và blockchain, kết hợp dữ liệu trên chuỗi và ngoài chuỗi chống giả mạo để cung cấp các kịch bản ứng dụng cấp doanh nghiệp cho hợp đồng thông minh và LLM (Mô hình ngôn ngữ lớn). Space and Time đã phát triển một loại mật mã mới có tên SQL Prover, cho phép các nhà phát triển kết nối trực tiếp kết quả phân tích với hợp đồng thông minh, từ đó mở ra một số lượng lớn các kịch bản ứng dụng và logic kinh doanh mới mạnh mẽ trên công nghệ blockchain. Không gian và Thời gian được xây dựng ngay từ đầu như một nền tảng dữ liệu đa chuỗi phục vụ các dịch vụ tài chính, trò chơi, DeFi hoặc bất kỳ dự án nào yêu cầu xác minh dữ liệu giữa doanh nghiệp, chuỗi khối và AI.

Để biết thêm thông tin , hãy truy cập: Trang web | Twitter Discord LinkedIn |