Tôi đã tìm hiểu sâu về lĩnh vực này, và có một điều nổi bật: hợp đồng thông minh rất giỏi trong việc thực thi các quy tắc, nhưng chúng gặp khó khăn khi những quy tắc đó phụ thuộc vào lượng lớn dữ liệu bên ngoài hoặc dữ liệu lịch sử.

Hãy xem xét một hợp đồng DeFi cần xác minh tài sản thế chấp, lịch sử giao dịch hoặc hoạt động trên nhiều chuỗi. Thông thường, điều này đòi hỏi các nhà cung cấp dữ liệu bên ngoài. Thách thức không chỉ là có được dữ liệu; mà còn là xác định liệu các phép tính và thông tin nền tảng có thực sự đáng tin cậy hay không.

Đây là lúc "proof of SQL" trở nên thú vị.

Thay vì yêu cầu một hợp đồng thông minh tự xử lý hàng nghìn bản ghi, Space and Time cho phép việc tính toán nặng diễn ra ngoài chuỗi. Một "prover" thực thi truy vấn SQL và tạo ra một bằng chứng mật mã xác nhận rằng kết quả tương ứng với truy vấn được yêu cầu và dữ liệu đã cam kết. Sau đó hợp đồng thông minh có thể xác minh kết quả này.

Tôi thích cách tiếp cận này vì nó giải quyết một hạn chế thực sự, thay vì chỉ là một câu chuyện "mở rộng quy mô" khác.

Tuy nhiên, việc thực thi vẫn rất quan trọng. Các yếu tố như tính sẵn có của dữ liệu, khả năng lập chỉ mục đáng tin cậy, mức độ phi tập trung của prover, chi phí và mức độ chấp nhận thực tế từ các nhà phát triển sẽ quyết định mức độ hữu ích thực sự của nó.

Tôi quan tâm đến các ứng dụng thực tế hơn là những bài kiểm tra hiệu năng ấn tượng.

Bạn có nghĩ rằng dữ liệu có thể xác minh sẽ trở thành hạ tầng thiết yếu cho DeFi, hay các giải pháp oracle hiện có sẽ đủ dùng?

#sxt $SXT @SpaceandTime