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). ...