Coin sao không gian và thời gian giới thiệu bằng chứng về hệ thống SQL Prover

Công ty khởi nghiệp tiền điện tử Space and Time (SXT) có trụ sở tại California đã phát hành bộ chứng minh không có kiến ​​thức (ZK) dưới giây có tên là Proof of SQL. Lớp tính toán có thể xác minh cho AI và Blockchain được thiết kế để cấp cho người dùng quyền truy cập vào trình chứng minh không có kiến ​​thức hiệu suất cao này trên GitHub. Việc tích hợp bộ chứng minh có thể được thực hiện trên bất kỳ cơ sở dữ liệu SQL nào như Google BigQuery. Cơ sở dữ liệu như vậy có thể được tập trung hoặc phi tập trung.

Cho đến nay, Không gian và Thời gian đã bảo đảm một số DApp, tổ chức tài chính và doanh nghiệp Web 3.0 nổi bật nhất. Đáng chú ý, hệ thống chứng minh ban đầu được cung cấp cho một số khách hàng SxT ở dạng alpha vào tháng 8 năm 2023 nhưng bản phát hành GitHub mới nhất đã cung cấp cho công chúng.

Tính duy nhất của Bằng chứng SQL

Bằng chứng về SQL được thiết kế dưới dạng bằng chứng ZK mới đảm bảo về mặt mật mã cho việc tính toán chính xác các truy vấn cơ sở dữ liệu SQL đối với dữ liệu không bị giả mạo. Một điểm phức tạp chính của các mô hình ZK là chúng cho phép các nhà phát triển hoặc người dùng xác nhận tính hợp lệ hoặc tính xác thực của dữ liệu hoặc giao dịch mà không tiết lộ thông tin bí mật.

Nó mang lại cho các nhà phát triển cơ hội tính toán trên cả bộ dữ liệu trên chuỗi và ngoài chuỗi một cách không cần tin cậy. Sau đó, kết quả được chứng minh lại cho các hợp đồng thông minh của họ đúng lúc trong quá trình giao dịch nhằm hỗ trợ các giao thức Tài chính phi tập trung (DeFi) phức tạp hơn với các hợp đồng thông minh dựa trên dữ liệu.

Jay White, Tiến sĩ, Đồng sáng lập và Trưởng phòng Nghiên cứu tại SxT, người cũng là người phát minh ra giao thức Proof of SQL cho biết:

“Không gian và Thời gian rất vui mừng được đưa Web3 vào kỷ nguyên mới của các hợp đồng thông minh dựa trên dữ liệu và thế hệ DeFi tiếp theo.”

“Nhóm của chúng tôi đã đi tiên phong trong việc sử dụng bằng chứng ZK dưới giây để 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 của chuỗi cũng như dữ liệu ngoài chuỗi và nhận lại kết quả truy vấn SQL không đáng tin cậy trên chuỗi trong khi giao dịch mà không cần phải đợi Thời gian chứng minh là 30 phút,” ông nói thêm.

Bằng chứng về SQL và cái nhìn sâu sắc về triển vọng và khả năng chính

Với Proof of SQL, các thành viên cộng đồng có thể thực hiện các truy vấn không đáng tin cậy trên SxT trên Space and Time Studio.

Ngoài ra, nhà phát triển có thể tải kho lưu trữ xuống trực tiếp từ GitHub. Bằng chứng về khả năng của SQL trong việc thực hiện các truy vấn phân tích trên các bảng 100 nghìn hàng trong chưa đầy một giây trên một GPU đã được quảng cáo. Điều này bổ sung cho khả năng tổng hợp hàng triệu hàng dữ liệu được lập chỉ mục trong thời gian khối Ethereum trên một NVIDIA T4.

Thiết kế kiến ​​trúc của giao thức Proof of SQL thúc đẩy việc xử lý khối lượng dữ liệu lớn hơn so với các zkVM và bộ đồng xử lý thông thường.

Các zkVM tổng quát được biết đến rộng rãi là cung cấp một giải pháp mở rộng cho các tính toán tùy ý, tuy nhiên, quá trình xử lý dữ liệu cho thấy việc chứng minh trên hệ thống diễn ra chậm. Việc tích hợp các zkVM này với Proof of SQL mang lại hy vọng mới, cung cấp dữ liệu nguồn có thể kiểm chứng mà mã tùy ý có thể được thực thi.

Không gian và Thời gian đã mở cửa đón nhận sự đóng góp từ các thành viên cộng đồng. Nó cũng khuyến khích các nhóm kỹ thuật ZKP cộng tác trong repo.

Kế tiếp

Không gian và Thời gian giới thiệu Bằng chứng về Hệ thống SQL Prover