Một chi tiết trong hạ tầng dữ liệu mà tôi thường dễ bỏ qua là sự khác biệt giữa một phép tính chính xác và một câu trả lời đáng tin cậy.
Một bảng điều khiển có thể hiển thị một con số được tính toán hoàn toàn chính xác nhưng vẫn gây hiểu lầm nếu dữ liệu nguồn không đầy đủ hoặc đã bị thay đổi. Thông thường, người dùng phải tin tưởng cả đơn vị vận hành cơ sở dữ liệu lẫn đoạn mã tạo ra kết quả. Đây là một giả định nghiêm trọng khi con số đó ảnh hưởng đến việc cho vay, kiểm tra tài sản thế chấp, thanh toán hoặc hành động tiếp theo của một tác nhân AI.
Space and Time tách biệt quá trình tính toán khỏi quá trình xác minh. Tài liệu của dự án mô tả các cam kết mật mã đối với bảng dữ liệu, được cập nhật thông qua sự đồng thuận của các trình xác thực. Một bên chứng minh có thể chạy truy vấn SQL ngoài chuỗi và tạo ra một Proof of SQL. Bên xác minh có thể kiểm tra xem dữ liệu có khớp với cam kết hay không, cũng như phép tính được yêu cầu có được thực hiện chính xác hay không. Một hợp đồng thông minh có thể xác minh bằng chứng này mà không cần tự lưu trữ toàn bộ tập dữ liệu.
Ranh giới này rất quan trọng. Một bằng chứng có thể cho thấy kết quả suy ra từ tập dữ liệu và truy vấn đã được cam kết. Nhưng nó không tự động chứng minh rằng nguồn ban đầu là trung thực, đầy đủ hay có ý nghĩa. Chất lượng dữ liệu và quy trình nhập dữ liệu vẫn rất quan trọng.
Sự phân biệt này có thể trở nên quan trọng khi các giao thức DeFi dựa vào thông tin lịch sử hoặc thông tin liên chuỗi, cũng như khi các hệ thống AI hành động dựa trên hồ sơ bên ngoài. Thay vì chỉ dựa vào uy tín để chấp nhận phản hồi từ API, một ứng dụng có thể yêu cầu bằng chứng về cách câu trả lời được tạo ra.
Tính toán có thể xác minh tạo ra cầu nối giữa các tập dữ liệu lớn ngoài chuỗi và các quyết định trên chuỗi. Giá trị của nó sẽ phụ thuộc vào việc các nhà phát triển có sử dụng nó ở những nơi mà việc kiểm tra độc lập có thể làm thay đổi kết quả hay không, thay vì xem bằng chứng như vật trang trí.
Tôi muốn biết các nhà phát triển sẽ áp dụng mô hình này như thế nào.
#sxt $SXT @SpaceandTime
Một bảng điều khiển có thể hiển thị một con số được tính toán hoàn toàn chính xác nhưng vẫn gây hiểu lầm nếu dữ liệu nguồn không đầy đủ hoặc đã bị thay đổi. Thông thường, người dùng phải tin tưởng cả đơn vị vận hành cơ sở dữ liệu lẫn đoạn mã tạo ra kết quả. Đây là một giả định nghiêm trọng khi con số đó ảnh hưởng đến việc cho vay, kiểm tra tài sản thế chấp, thanh toán hoặc hành động tiếp theo của một tác nhân AI.
Space and Time tách biệt quá trình tính toán khỏi quá trình xác minh. Tài liệu của dự án mô tả các cam kết mật mã đối với bảng dữ liệu, được cập nhật thông qua sự đồng thuận của các trình xác thực. Một bên chứng minh có thể chạy truy vấn SQL ngoài chuỗi và tạo ra một Proof of SQL. Bên xác minh có thể kiểm tra xem dữ liệu có khớp với cam kết hay không, cũng như phép tính được yêu cầu có được thực hiện chính xác hay không. Một hợp đồng thông minh có thể xác minh bằng chứng này mà không cần tự lưu trữ toàn bộ tập dữ liệu.
Ranh giới này rất quan trọng. Một bằng chứng có thể cho thấy kết quả suy ra từ tập dữ liệu và truy vấn đã được cam kết. Nhưng nó không tự động chứng minh rằng nguồn ban đầu là trung thực, đầy đủ hay có ý nghĩa. Chất lượng dữ liệu và quy trình nhập dữ liệu vẫn rất quan trọng.
Sự phân biệt này có thể trở nên quan trọng khi các giao thức DeFi dựa vào thông tin lịch sử hoặc thông tin liên chuỗi, cũng như khi các hệ thống AI hành động dựa trên hồ sơ bên ngoài. Thay vì chỉ dựa vào uy tín để chấp nhận phản hồi từ API, một ứng dụng có thể yêu cầu bằng chứng về cách câu trả lời được tạo ra.
Tính toán có thể xác minh tạo ra cầu nối giữa các tập dữ liệu lớn ngoài chuỗi và các quyết định trên chuỗi. Giá trị của nó sẽ phụ thuộc vào việc các nhà phát triển có sử dụng nó ở những nơi mà việc kiểm tra độc lập có thể làm thay đổi kết quả hay không, thay vì xem bằng chứng như vật trang trí.
Tôi muốn biết các nhà phát triển sẽ áp dụng mô hình này như thế nào.
#sxt $SXT @SpaceandTime
