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