Một két sắt ngân hàng được bảo vệ bằng thép, khóa hẹn giờ (time lock) và lính gác vũ trang. Mỗi lớp bù đắp cho những điểm yếu của các lớp còn lại. Thép chống lại lực tác động vật lý. Khóa hẹn giờ ngăn truy cập từ người trong cuộc. Các lính gác phản ứng khi xảy ra vi phạm trong thời gian thực. Không có một lớp nào là hoàn hảo, nhưng sự kết hợp của chúng tạo ra thứ mạnh hơn bất kỳ thành phần đơn lẻ nào.
“Trust Engine” của Newton—sự kết hợp giữa TEE, ZKP và EigenLayer AVS—nhắm tới một thứ tương tự. Nhưng không giống như một két sắt ngân hàng, nơi các nguyên lý vật lý đã được hiểu rõ và các chế độ hỏng hóc có thể dự đoán, sự kết hợp của Newton giữa các nguyên ngữ mật mã tạo ra các tính chất nổi (emergent) có thể mỏng manh hơn vẻ bề ngoài.
Tổng hợp niềm tin ba lớp
Hãy phân rã những gì Newton đã lắp ghép. Lớp một: Môi trường thực thi tin cậy (Trusted Execution Environments), cung cấp cách ly phần cứng cho tính toán ngoài chuỗi. Lớp hai: Chứng minh không kiến thức (Zero-Knowledge Proofs), cho phép xác minh mật mã về tính đúng đắn của phép tính đó. Lớp ba: Dịch vụ được xác thực chủ động của EigenLayer (Actively Validated Service), bổ sung việc cưỡng chế mang tính kinh tế thông qua các nhà vận hành ký quỹ (staked operators) xác nhận các chứng minh.
Mỗi lớp giải quyết một lỗ hổng riêng biệt. TEE bảo vệ chống lại việc chiếm quyền ở cấp độ máy chủ. ZKP bảo vệ chống lại gian lận tính toán. AVS bảo vệ chống lại sự thông đồng hoặc giả mạo xác thực.
Trên giấy tờ, điều này có vẻ toàn diện. Trong thực tế, sự tương tác lại tạo ra độ phức tạp có thể làm suy yếu toàn bộ cấu trúc.
Thuế độ trễ
Tác động bậc một là ma sát vận hành. TEE phải khởi tạo, nạp mã, thực thi và tạo ra một bằng chứng. ZKP phải được tạo ra và được xác minh. Các nhà vận hành AVS phải đạt được đồng thuận về xác nhận. Mỗi bước đều cộng thêm độ trễ và mức độ trễ đó tích lũy.
Với các chiến lược giao dịch tần suất cao—chính là trường hợp sử dụng mà Newton nhắm tới—chỉ vài mili giây cũng quan trọng. Chi phí xác minh của bộ máy niềm tin có thể khiến Newton bị đẩy khỏi chính những thị trường mà nó nhắm đến. Giao thức đối mặt với một sự đánh đổi mang tính nền tảng: khả năng xác minh tuyệt đối so với tốc độ. Trong DeFi, tốc độ thường thắng.
Đây không phải là một mối lo mang tính lý thuyết. Cơ hội arbitrage xuyên chuỗi tồn tại trong vài giây. Nếu bộ máy niềm tin của Newton gây ra thậm chí chỉ một khối trễ, cơ hội sẽ biến mất. Chính tính năng khiến giao thức an toàn có thể làm nó kém khả thi về mặt thương mại đối với các trường hợp sử dụng sinh lời cao nhất.
Vấn đề về khả năng kết hợp (Composability)
Tác động bậc hai tinh vi hơn. Bộ máy niềm tin của Newton tạo ra các xác nhận (attestations) được xác minh trên chuỗi. Nhưng các xác nhận này đại diện cho một nguyên thủy mới mà các giao thức khác phải tích hợp để tận dụng các đảm bảo bảo mật của Newton.
Điều này tạo ra một vấn đề phối hợp. Để việc xác minh của Newton có ý nghĩa, các giao thức khác phải nhận ra và hành động dựa trên các xác nhận (attestations) của nó. Nếu không có sự chấp nhận rộng rãi, bộ máy niềm tin trở thành một khu vườn có tường rào—an toàn, nhưng bị cô lập. Chính tính năng khiến Newton hấp dẫn đối với tuân thủ của tổ chức (các vết kiểm toán có thể xác minh) lại tạo ra ma sát khi tích hợp với hệ sinh thái DeFi rộng hơn.
So sánh với các ZK rollup thuần túy, vốn cung cấp khả năng xác minh mà không cần hạ tầng xác thực từ bên ngoài. Chúng không cần đối tác để tin vào các chứng minh của mình; toán học tự chứa đựng. Lớp AVS của Newton đưa vào sự phụ thuộc đối tác mà các hệ thống mật mã thuần túy tránh được.
Sự phụ thuộc vào phần cứng
Mối quan ngại bậc ba có lẽ là nền tảng nhất. TEE dựa vào các nhà sản xuất phần cứng cụ thể và các đảm bảo bảo mật của họ. Intel SGX đã phải đối mặt với nhiều lỗ hổng. Chuỗi cung ứng bị tập trung hóa. Mô hình đe doạ bao gồm các tác nhân cấp nhà nước, những người về mặt lý thuyết có thể xâm phạm lớp phần cứng.
Bộ máy niềm tin của Newton kế thừa các lỗ hổng này. Nếu TEE bị phá vỡ, toàn bộ chuỗi xác minh sẽ sụp đổ. ZKP chứng minh việc thực thi đúng trong TEE—nhưng nếu bản thân TEE bị xâm phạm, thì bằng chứng không chứng minh được điều gì có giá trị.
Đây là một điểm lỗi đơn lẻ trong một hệ thống được thiết kế để loại bỏ niềm tin. Sự mỉa mai thật rõ ràng: một giao thức được xây dựng cho tự động hóa không cần tin cậy lại phụ thuộc vào phần cứng do chỉ một số ít tập đoàn sản xuất. Lớp bảo mật kinh tế tiền mã hóa (EigenLayer) không thể bù đắp cho một TEE bị xâm phạm; nó chỉ có thể xác minh những gì TEE báo cáo.
Câu hỏi về độ ổn định
Sự tổng hợp của ba lớp này tạo ra một hệ thống mà độ ổn định phụ thuộc vào mắt xích yếu nhất. Nhưng các lớp không độc lập. Lỗ hổng của TEE làm suy giảm giá trị của ZKP. Độ trễ của AVS làm suy yếu lợi thế về tốc độ. Ma sát tích hợp làm suy yếu hiệu ứng mạng.
Bộ máy niềm tin của Newton không phải là một phép cộng đơn giản các tính chất bảo mật. Đó là một sự tổng hợp không ổn định, nơi sức mạnh của từng thành phần trở thành điểm bất lợi khi xét theo góc độ hệ thống. Giao thức đặt cược rằng sự kết hợp tạo ra tính bền vững mang tính “nổi lên” (emergent robustness). Các bằng chứng cho thấy nó có thể tạo ra sự mong manh “nổi lên” (emergent fragility).
Nếu mô hình bảo mật của một giao thức đồng thời phụ thuộc vào tính toàn vẹn của phần cứng, tính đúng đắn của phần mềm và sự khớp về động lực kinh tế, thì việc một trong các thành phần thất bại có nhất thiết làm vô hiệu toàn bộ hệ thống hay các thành phần còn lại có thể bù đắp?
$VANRY