Trời ơi, tôi cứ nghĩ mãi về bản chứng minh di động đó nhưng lại ở nhầm chuỗi.
Tuần trước tôi đã nhìn vào một kết quả xác minh Newton sạch sẽ mà nó lại làm quá nhiều việc “xã hội”. Cùng một bản chứng minh. Máy bàn khác. Giả định lớn hơn.
Đó là điều cứ làm tôi bận tâm.
Không phải là việc chứng thực có được xác minh hay không. Nó đã được xác minh. Rõ ràng là vậy. Cổng Newton protocol đã nhận tác vụ. Rego đọc chính sách. PolicyData kéo trạng thái bên ngoài vào. Các nhà khai thác đã ký. BLS aggregate được ghi nhận. Bên kia, bộ xác minh nói “đúng”. Tốt thôi. Rất di động. Đó là phần mà mọi người đều thích.
Phần xấu bắt đầu sau đó.
Có người lấy proof đó và dùng nó để ủy quyền một giao dịch trên một chain hoàn toàn khác với các tham số rủi ro khác. Một vault khác. Một đối tác khác. Mọi thứ đều khác. Nhưng vì proof nói là được phép, họ cứ thế chạy.
Không ai kiểm tra xem ngữ cảnh chính sách ban đầu còn áp dụng hay không. Không ai hỏi liệu các nguồn dữ liệu có giống nhau không. Không ai xác minh rằng tập hợp nhà vận hành trên chain B có giống hệt chain A không. Họ chỉ thấy màu xanh và tiếp tục.
Đó là mối nguy thầm lặng mà chẳng ai nói đến. Newton khiến các proof có thể di động. Nhưng di động mà không có ngữ cảnh chỉ là tuân thủ kiểu “sùng bái hàng hóa” (cargo cult compliance).
Newton Mainnet Beta là lớp ủy quyền mà DeFi còn thiếu.
Nó kiểm tra mọi giao dịch dựa trên các chính sách đang hoạt động trước khi thực hiện. Tuân thủ, danh tính, an ninh, rủi ro—tất cả đều được thực thi ở cấp độ giao dịch. Không giám sát sau đó. Được thực thi trước. Mọi quyết định tạo ra một chứng nhận có chữ ký (attestation) được ghi trực tiếp lên onchain.
Vault SDK đóng gói tất cả. Chainalysis Hexagate cho tuân thủ. Vaults.fyi cho phân tích. RedStone và Credora cho dữ liệu rủi ro. Được bảo mật bởi Eigen Labs, Succinct, Rhinestone và Octane. Magic Labs xây dựng nó, cùng đội ngũ đứng sau hạ tầng ví của Polymarket. 57 triệu ví. 200 nghìn nhà phát triển. Được hậu thuẫn bởi PayPal Ventures.
Bốn lĩnh vực thực thi: sàng lọc lệnh trừng phạt OFAC, xác minh đủ điều kiện danh tính, chặn mối đe dọa an ninh theo thời gian thực, theo dõi sức khỏe đối tác, theo dõi mức độ đòn bẩy, và thẩm định độ tươi của oracle.
Tôi đã dành cả cuối tuần để đưa bản beta qua những thử nghiệm và gặp một số ma sát thực sự.
Module tính di động của proof có lỗi không khớp chain ID. Proof được tạo trên Ethereum mainnet sẽ được xác thực thành công trên Base Sepolia mà không kiểm tra xem chain ID trong payload proof có khớp với chain đích hay không. Hợp đồng verifier chỉ kiểm tra chữ ký và kết luận “đúng”.
Việc tuần tự hóa ngữ cảnh chính sách có một lỗ hổng. Khi một proof được chuyển sang chain khác, các tham chiếu PolicyData không được xác thực dựa trên các nguồn dữ liệu của chain đích. Một chính sách kiểm tra giá RedStone trên Ethereum sẽ âm thầm tham chiếu hoàn toàn khác các nguồn giá trên Arbitrum.
Việc xác minh tập hợp nhà vận hành không thành công khi không kiểm tra rằng chữ ký gộp BLS đến từ các nhà vận hành đã đăng ký trên chain đích. Một proof được ký bởi các nhà vận hành của Ethereum vẫn được xác thực trên Optimism, dù tập hợp nhà vận hành hoàn toàn khác nhau.
Cấu hình cổng của Gateway có một thiếu sót. Cùng một cổng được dùng cho cả ý định giao dịch inbound và việc chuyển tiếp bằng chứng (proof) outbound, tạo ra khả năng xung đột định tuyến tiềm ẩn trong điều kiện thông lượng cao.
Cửa sổ hết hạn của proof không được đồng bộ giữa các chain. Một proof tạo với thời hạn 5 phút trên Ethereum vẫn được coi là hợp lệ trên Polygon sau 5 phút, vì verifier của chain đích dùng một mốc tham chiếu thời gian block khác nhau.
Vấn đề bảo vệ phát lại chứng nhận xuyên chuỗi (cross chain attestation replay protection) là do xung đột nonce. Có thể gửi cùng một proof hai lần trên chain đích trong một khoảng thời gian nhất định vì việc tạo nonce không tính đến số lượng giao dịch của chain đích.
Thời gian chờ đánh giá chính sách không cấu hình được theo từng chain. Một chính sách phức tạp mất 4 giây trên Ethereum sẽ bị timeout trên Avalanche vì chain đích có thời gian block nghiêm ngặt hơn.
Không cái nào trong số này làm hỏng kiến trúc cốt lõi. Hệ thống vẫn ổn định. Nhưng đó là những điểm ma sát thực sự quan trọng khi bạn bắt đầu chuyển proof qua các chain.
Newton bắt đầu với các vault. Sau đó mở rộng sang RWA, stablecoin, và các tác nhân AI.
Một thị trường Internet of Policies neo giữ tất cả. $NEWT $NEWT powers everything. Các thông báo hợp tác rơi vào ngày 23. Thông báo về Vault SDK cũng diễn ra khi đó.
Đây là điều tôi cứ quay lại mãi. Chúng tôi đã xây dựng cả hệ thống tài chính này trênchain và bỏ qua phần ủy quyền. Newton đã thêm thứ lẽ ra phải có từ ngày đầu. Nhưng bây giờ chúng ta có một vấn đề mới. Chúng ta đang coi các proof như thể chúng có thể áp dụng phổ quát, trong khi thực tế không phải vậy.
Proof sạch. Việc xác minh là vững chắc. Nhưng ngữ cảnh? Đó là trách nhiệm của chúng ta.
Tôi có phải là người duy nhất nghĩ rằng chúng ta cần thực sự kiểm tra proof đó đến từ đâu và nó sẽ đi đến đâu không?
Mọi người ơi, tính di động (portability) rất mạnh. Nhưng sự thận trọng đang bị hiểu quá mức. Chúng ta không thể chỉ tin vào màu xanh.