Khớp lệnh có thể xác minh bằng ZK là một cách để vận hành một sổ lệnh nhanh chóng và riêng tư trong khi vẫn đảm bảo cho người dùng một cam kết mật mã rằng động cơ khớp lệnh đã tuân theo các quy tắc. Vấn đề mà nó giải quyết rất đơn giản: một CLOB cần một nhà điều hành (hoặc một nhóm nhỏ các nhà điều hành) để khớp lệnh nhanh chóng, nhưng nhà điều hành đó cũng có thể gian lận (sắp xếp lại, bỏ qua hoặc lấp đầy một cách chọn lọc). ZK thay đổi mô hình tin cậy: nhà điều hành có thể giữ tốc độ nhanh, nhưng không thể hoàn tất một cập nhật trừ khi họ chứng minh rằng nó đã được tính toán chính xác. 𝗛𝗼𝘄 𝗶𝘁 𝘄𝗼𝗿𝗸𝘀 (𝗰𝗼𝗻𝗰𝗲𝗽𝘁𝘂𝗮𝗹𝗹𝘆) ➤ Các lệnh được thu thập và khớp ngoài chuỗi (để bạn có thể có được thực thi với độ trễ thấp). ➤ Thay vì công bố toàn bộ luồng lệnh, hệ thống công bố: - 𝘢 𝘤𝘰𝘮𝘮𝘪𝘵𝘮𝘦𝘯𝘵 𝘵𝘰 𝘵𝘩𝘦 𝘣𝘢𝘵𝘤𝘩 / 𝘴𝘵𝘢𝘵𝘦 𝘵𝘳𝘢𝘯𝘴𝘪𝘵𝘪𝘰𝘯 (𝘰𝘧𝘵𝘦𝘯 𝘢 𝘴𝘵𝘢𝘵𝘦 𝘳𝘰𝘰𝘵) - 𝘢 𝘻𝘬-𝘱𝘳𝘰𝘰𝘧 𝘵𝘩𝘢𝘵 𝘵𝘩𝘦 𝘮𝘢𝘵𝘤𝘩𝘪𝘯𝘨 + 𝘳𝘪𝘴𝘬 𝘤𝘩𝘦𝘤𝘬𝘴 + 𝘣𝘢𝘭𝘢𝘯𝘤𝘦 𝘶𝘱𝘥𝘢𝘵𝘦𝘴 𝘸𝘦𝘳𝘦 𝘥𝘰𝘯𝘦 𝘢𝘤𝘤𝘰𝘳𝘥𝘪𝘯𝘨 𝘵𝘰 𝘵𝘩𝘦 𝘱𝘳𝘰𝘵𝘰𝘤𝘰𝘭 𝘳𝘶𝘭𝘦𝘴, - 𝘦𝘯𝘰𝘶𝘨𝘩 𝘥𝘢𝘵𝘢 𝘢𝘷𝘢𝘪𝘭𝘢𝘣𝘪𝘭𝘪𝘵𝘺 𝘴𝘰 𝘶𝘴𝘦𝘳𝘴 𝘤𝘢𝘯 𝘴𝘵𝘪𝘭𝘭 𝘦𝘹𝘪𝘵 𝘦𝘷𝘦𝘯 𝘪𝘧 𝘵𝘩𝘦 𝘰𝘱𝘦𝘳𝘢𝘵𝘰𝘳 𝘥𝘪𝘴𝘢𝘱𝘱𝘦𝘢𝘳𝘴. “Đủ khả năng cung cấp dữ liệu” là nơi mà lựa chọn thiết kế của @hibachi_xyz trở nên thú vị: Hibachi đang vận hành một CLOB hiệu suất cao và đăng tải dữ liệu trạng thái / giao dịch được mã hóa lên @Celestia (để các chiến lược và vị thế không công khai), trong khi vẫn công bố các bằng chứng để các cập nhật vẫn có thể xác minh, sử dụng SP1 (zkVM của Succinct) để chứng minh CLOB. 𝗕𝘂𝘁 𝘄𝗵𝗮𝘁 “𝗺𝗮𝘁𝗰𝗵𝗶𝗻𝗴 𝘄𝗮𝘀 𝗰𝗼𝗿𝗿𝗲𝗰𝘁” 𝗺𝗲𝗮𝗻𝘀 𝗶𝗻 𝗽𝗿𝗼𝗼𝗳 𝘁𝗲𝗿𝗺𝘀? Một zk-proof có thể thực thi cùng các bất biến mà bạn thường dựa vào một nhà điều hành sàn giao dịch để tuân theo, ví dụ: ➤ Các lệnh chỉ được khớp khi giá giao nhau (không có lấp đầy không thể). ➤ Chuỗi lấp đầy tôn trọng quy tắc ưu tiên của địa điểm (ví dụ: ưu tiên theo giá-thời gian, hoặc bất cứ điều gì mà địa điểm chỉ định). ➤ Số dư/margin được cập nhật chính xác (không có chỉnh sửa số dư ẩn). ➤ Cây trạng thái kết quả chính xác là những gì bạn nhận được bằng cách áp dụng các quy tắc vào cây trạng thái trước đó + lô hàng. Bạn có thể giữ nội dung riêng tư (các lệnh, kích thước, vị thế) bằng cách mã hóa những gì được công bố lên lớp DA, trong khi bằng chứng thuyết phục mọi người rằng cập nhật được mã hóa vẫn là một chuyển tiếp trạng thái hợp lệ.

Cập nhật quy định về an toàn robot (Mỹ/Châu Âu) Đến cuối năm 2025, câu chuyện quy định về "robot trong không gian công cộng" sẽ khác nhau giữa EU và Mỹ. Tại EU, hướng đi là hướng tới một hệ thống tuân thủ nhiều lớp: ➤ an toàn sản phẩm (đối với máy móc vật lý) ➤ an ninh mạng (bởi vì robot được kết nối) ➤ và quản trị AI (bởi vì tính tự động và nhận thức được điều khiển bởi AI) Các đội cần tài liệu, kiểm soát vòng đời, và (trong một số trường hợp) các dòng công việc phân loại rủi ro AI hoạt động song song (quy định cổ điển cho EU, nhiều hạn chế và giấy tờ). Tại Mỹ, bức tranh rõ ràng hơn theo từng lĩnh vực: các "cập nhật" liên bang rõ ràng nhất nằm trong tính tự động trên đường (báo cáo tai nạn NHTSA và các con đường triển khai/miễn trừ) và máy bay không người lái (thực thi ID từ xa của FAA). Đối với robot mặt đất trên vỉa hè và các địa điểm công cộng trong nhà, các quy tắc vẫn còn phân mảnh hơn và thường là địa phương.