Dạo gần đây tôi phát hiện @NewtonProtocol đã tốn khá nhiều dung lượng để nói về Attestation, Verification và Replay. Ban đầu tôi thật sự không hiểu lắm, vì theo nhận thức của mình, chỉ cần kết quả cuối cùng đúng thì dường như chuyện “trong quá trình đó được làm như thế nào” không quan trọng. Người thực thi là ai, trong quá trình thực thi đã xảy ra những gì—những thứ đó giống như chi tiết triển khai hơn là điều mà giao thức thực sự quan tâm.
Cho đến khi sau này tôi sắp lại toàn bộ luồng thực thi từ đầu: từ Transaction Intent đi vào Gateway, đến Policy Evaluation, rồi Operator thực hiện, sau đó mới đến phần Attestation. Lúc đó tôi mới nhận ra nghi vấn của mình nằm ở đâu.
$NEWT có vẻ như thứ mà nó thực sự quan tâm không phải là việc kết quả có đúng hay không, mà là vì sao kết quả đó đáng tin. Transaction Intent không phải cứ đi vào hệ thống là lập tức được thực thi; nó trước tiên phải trải qua Policy Evaluation. Operator hoàn thành xong nhiệm vụ cũng không đồng nghĩa ngay lập tức trở thành kết quả cuối cùng; phía sau còn cần Attestation, và nếu cần thì thậm chí có thể Replay.
Cứ nhìn tiếp, tôi càng thấy rằng: rốt cuộc chúng đều đang trả lời câu hỏi—việc thực thi này có được tiến hành đúng theo các quy tắc mà cả mạng cùng công nhận hay không?
Đến đây tôi mới nhận ra #Newt ghi lại không phải là kết quả của một lần thực thi, mà là cả quá trình của một lần thực thi. Sau đó tôi lại cẩn thận ngẫm nghĩ, và chợt nghĩ đến một câu hỏi mà trước đây mình chưa từng nghiêm túc cân nhắc.
Vì sao nhiều hệ thống lại tập trung vào kết quả chứng minh, còn Newton thì lại tốn nhiều công sức để chứng minh quá trình?
Tôi càng lúc càng cảm thấy rằng đằng sau hai kiểu thiết kế này thực ra là hai cách đặt niềm tin hoàn toàn khác nhau: nếu chỉ chứng minh kết quả, thì cuối cùng bạn vẫn phải tin người đã nói với bạn rằng kết quả đúng. Nhưng nếu toàn bộ quá trình thực thi có thể được kiểm chứng, thì thứ thực sự cần tin không còn là một Operator nào đó, mà là “đường đi” của quá trình thực thi—mà bất kỳ ai cũng có thể lặp lại và tự kiểm chứng.
Vì vậy tôi nghĩ Newton thực sự không phải muốn tái cấu trúc luồng thực thi; nó đang thách thức một giả định mặc định đã tồn tại nhiều năm: rằng kết quả đúng là đủ rồi.
Ít nhất theo Newton có vẻ là chưa đủ.
Có lẽ đây mới là ý nghĩa thật sự của Attestation, Verification và Replay. Chúng không bảo vệ chỉ riêng kết quả, mà bảo vệ toàn bộ quá trình khiến kết quả đó trở nên đúng đắn.
Cho đến khi sau này tôi sắp lại toàn bộ luồng thực thi từ đầu: từ Transaction Intent đi vào Gateway, đến Policy Evaluation, rồi Operator thực hiện, sau đó mới đến phần Attestation. Lúc đó tôi mới nhận ra nghi vấn của mình nằm ở đâu.
$NEWT có vẻ như thứ mà nó thực sự quan tâm không phải là việc kết quả có đúng hay không, mà là vì sao kết quả đó đáng tin. Transaction Intent không phải cứ đi vào hệ thống là lập tức được thực thi; nó trước tiên phải trải qua Policy Evaluation. Operator hoàn thành xong nhiệm vụ cũng không đồng nghĩa ngay lập tức trở thành kết quả cuối cùng; phía sau còn cần Attestation, và nếu cần thì thậm chí có thể Replay.
Cứ nhìn tiếp, tôi càng thấy rằng: rốt cuộc chúng đều đang trả lời câu hỏi—việc thực thi này có được tiến hành đúng theo các quy tắc mà cả mạng cùng công nhận hay không?
Đến đây tôi mới nhận ra #Newt ghi lại không phải là kết quả của một lần thực thi, mà là cả quá trình của một lần thực thi. Sau đó tôi lại cẩn thận ngẫm nghĩ, và chợt nghĩ đến một câu hỏi mà trước đây mình chưa từng nghiêm túc cân nhắc.
Vì sao nhiều hệ thống lại tập trung vào kết quả chứng minh, còn Newton thì lại tốn nhiều công sức để chứng minh quá trình?
Tôi càng lúc càng cảm thấy rằng đằng sau hai kiểu thiết kế này thực ra là hai cách đặt niềm tin hoàn toàn khác nhau: nếu chỉ chứng minh kết quả, thì cuối cùng bạn vẫn phải tin người đã nói với bạn rằng kết quả đúng. Nhưng nếu toàn bộ quá trình thực thi có thể được kiểm chứng, thì thứ thực sự cần tin không còn là một Operator nào đó, mà là “đường đi” của quá trình thực thi—mà bất kỳ ai cũng có thể lặp lại và tự kiểm chứng.
Vì vậy tôi nghĩ Newton thực sự không phải muốn tái cấu trúc luồng thực thi; nó đang thách thức một giả định mặc định đã tồn tại nhiều năm: rằng kết quả đúng là đủ rồi.
Ít nhất theo Newton có vẻ là chưa đủ.
Có lẽ đây mới là ý nghĩa thật sự của Attestation, Verification và Replay. Chúng không bảo vệ chỉ riêng kết quả, mà bảo vệ toàn bộ quá trình khiến kết quả đó trở nên đúng đắn.