pa
Tôi đang nghĩ về lý do tại sao hợp đồng thông minh vẫn gặp khó khăn khi đưa ra quyết định dựa trên hoạt động blockchain trong quá khứ.
Hãy lấy một giao thức cho vay làm ví dụ. Hai ví có thể có số dư hiện tại hoàn toàn giống nhau, nhưng lịch sử của chúng có thể khác biệt hoàn toàn. Một ví có thể đã vay và trả nợ có trách nhiệm suốt nhiều năm, trong khi ví kia mới được tạo hôm qua.
Hợp đồng có thể xem trạng thái hiện tại của chúng. Nhưng làm thế nào để đánh giá mọi chuyện đã xảy ra trước đó?
Đó là lúc tôi bắt đầu tìm hiểu kỹ hơn về @SpaceandTime
Điều khiến tôi chú ý không chỉ đơn giản là nó sử dụng Proof of SQL. Mà là cách hợp đồng thông minh thực sự nhận được kết quả mà không cần tự thực hiện phép tính trên cơ sở dữ liệu.
Ở đây có một điểm khác biệt quan trọng.
Hợp đồng thông minh không đột nhiên biến thành cơ sở dữ liệu. Nó gửi một kế hoạch truy vấn SQL đã biên dịch trước đến QueryRouter của Space and Time, kèm theo khoản thanh toán và địa chỉ đích để gọi lại.
Truy vấn được xử lý trên các bảng của SXT Chain. Hệ thống tạo ra Proof of SQL cùng với kết quả, rồi xác minh bằng chứng trên chuỗi trước khi trả kết quả về hợp đồng đã gửi yêu cầu.
Nhưng callback cũng là một phần thú vị khác.
Hợp đồng nhận cần kiểm tra xem phản hồi có đến từ trình thực thi router được ủy quyền hay không, sau đó giải mã dữ liệu trả về trước khi sử dụng.
Nói cách khác, nhận dữ liệu và hành động dựa trên dữ liệu một cách an toàn là hai bước khác nhau.
Điều này làm thay đổi cách tôi nhìn nhận kiến trúc. Phép tính nặng được thực hiện bên ngoài hợp đồng gửi yêu cầu, trong khi việc xác minh bằng mật mã cho phép hợp đồng tin cậy kết quả trả về mà không cần tự xử lý toàn bộ tập dữ liệu. Space and Time +1
Khoan đã, còn một lớp nữa mà tôi không muốn bỏ qua.
Một bằng chứng hợp lệ không tự động có nghĩa là thông tin ban đầu là đúng.
Nếu thông tin sai được đưa vào cơ sở dữ liệu trong quá trình nhập dữ liệu, thì việc chứng minh một phép tính SQL được thực hiện chính xác trên dữ liệu đã được ghi nhận đó cũng không thể tự động sửa chữa sai sót ban đầu. Tính toàn vẹn dữ liệu và độ chính xác của dữ liệu có liên quan với nhau, nhưng không giống nhau. Proof .

@SpaceandTime #sxt $SXT