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

by

Là một nhà phân tích giàu kinh nghiệm có nền tảng về công nghệ chuỗi khối và mật mã, tôi đặc biệt bị thu hút bởi sản phẩm mới nhất của Space and Time (SxT), Proof of SQL. Ngăn xếp trình chứng minh không có kiến ​​thức (ZK) dưới giây này được thiết kế để cho phép các truy vấn không cần tin cậy trên cơ sở dữ liệu SQL, khiến nó trở thành một công cụ thiết yếu cho thế hệ ứng dụng tài chính phi tập trung (DeFi) tiếp theo.

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

Cho đến nay, Không gian và Thời gian đã được công nhận khi lưu trữ một số Ứng dụng phi tập trung (DApp), tổ chức tài chính và doanh nghiệp hàng đầu trong bối cảnh Web 3.0. Đáng chú ý, hệ thống Prover của họ lần đầu tiên được giới thiệu cho một số lượng khách hàng SxT hạn chế ở giai đoạn alpha vào tháng 8 năm 2023. Tuy nhiên, bản cập nhật GitHub gần đây đã giúp công chúng có thể truy cập được hệ thống này.

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

Bằng chứng SQL, được thiết kế sáng tạo dưới dạng bằng chứng không có kiến ​​thức (ZK), đả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. Một khía cạnh quan trọng của mô hình ZK là chúng cho phép nhà phát triển và người dùng xác thực tính trung thực hoặc toàn vẹn của dữ liệu hoặc giao dịch mà không tiết lộ thông tin bí mật.

Các nhà phát triển có thể xử lý dữ liệu từ các nguồn trên chuỗi và ngoài chuỗi một cách an toàn, không cần tin cậy bằng phương pháp này. Sau đó, các kết quả tính toán sẽ được xác minh và gửi trở lại hợp đồng thông minh của họ trong thời gian thực trong quá trình giao dịch, cho phép các giao thức DeFi phức tạp hơn sử dụng hợp đồng thông minh dựa trên dữ liệu.

“Jay White, Tiến sĩ, người đồng sáng lập và trưởng nhóm nghiên cứu tại SxT, nổi tiếng là người đã phát minh ra giao thức Proof of SQL. Anh ấy không chia sẻ vai trò này với bất kỳ ai.”

Là một nhà phân tích dày dạn kinh nghiệm chuyên về lĩnh vực công nghệ Web3, tôi rất vui mừng về vai trò của Không gian và Thời gian trong việc tiên phong trong không gian đổi mới này. Chúng tôi đang trên đà mở ra một kỷ nguyên mới với các hợp đồng thông minh dựa trên dữ liệu sẽ cách mạng hóa cách chúng ta tương tác trong bối cảnh tài chính phi tập trung (DeFi).

Tôi đã lãnh đạo nhóm của mình phát triển các bằng chứng ZK dưới giây, cho phép các hợp đồng thông minh và tác nhân AI đặt ra các truy vấn về hoạt động của blockchain và dữ liệu bên ngoài. Để đáp lại, chúng tôi cung cấp ngay lập tức các kết quả truy vấn SQL không đáng tin cậy trên chuỗi trong các giao dịch, loại bỏ nhu cầu phải chịu đựng thời gian kiểm chứng kéo dài 30 phút.

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

Bằng cách sử dụng Proof of SQL, người dùng trong cộng đồng được trao quyền thực hiện các truy vấn không cần tin cậy trực tiếp trên SxT thông qua giao diện trực quan của Space and Time Studio. Cách tiếp cận này đảm bảo tính toàn vẹn và bảo mật dữ liệu trong khi vẫn duy trì tính chất phi tập trung của hệ thống.

Các nhà phát triển có tùy chọn lấy kho lưu trữ trực tiếp từ GitHub để thay thế. Thật ấn tượng, khả năng xử lý các truy vấn phân tích của SQL trên các bảng có 100.000 hàng trong vòng chưa đầy một giây chỉ sử dụng một GPU đã được nêu bật. Hơn nữa, người ta tuyên bố rằng SQL có thể tổng hợp dữ liệu cho hàng triệu bản ghi được lập chỉ mục trong thời gian chặn Ethereum trên một GPU NVIDIA T4.

Cấu trúc kiến ​​trúc của giao thức Proof of SQL cho phép xử lý lượng dữ liệu lớn hơn so với các zkVM và bộ đồng xử lý thông thường.

Chuyên gia: Các zkVM tổng quát nổi tiếng vì tính linh hoạt trong việc xử lý các phép tính khác nhau. Tuy nhiên, người ta nhận thấy rằng việc chứng minh việc xử lý dữ liệu có thể tốn nhiều thời gian trong hệ thống này. Việc đưa Proof of SQL vào hỗn hợp là một sự phát triển đầy hứa hẹn. Bằng cách cung cấp dữ liệu gốc đã được xác minh, ngay cả việc thực thi mã phức tạp cũng có thể được kiểm chứng.

Không gian và Thời gian hoan nghênh ý kiến ​​đóng góp từ cộng đồng và mời các nhóm kỹ thuật ZKP cộng tác trong kho lưu trữ của nó.

2024-06-13 17:43