ZK 검증 가능 매칭은 빠르고 안전한 주문장을 운영하면서도 매칭 엔진이 규칙을 준수했다는 암호학적 보장을 사용자에게 제공하는 방식입니다. 이 방식이 해결하는 문제는 간단합니다. CLOB(클라우드 주문장)에는 주문을 빠르게 매칭할 운영자(또는 소수의 운영자)가 필요하지만, 이 운영자는 규칙을 어길 수도 있습니다(주문을 변경하거나, 건너뛰거나, 선택적으로 체결하는 등). ZK는 신뢰 모델을 바꿉니다. 운영자는 빠른 속도를 유지하면서도, 계산이 정확했음을 증명하지 않으면 업데이트를 확정할 수 없습니다. 작동 방식(개념적) ➤ 주문은 오프체인에서 수집 및 매칭됩니다(따라서 지연 시간이 짧습니다). ➤ 전체 주문 흐름을 게시하는 대신 시스템은 다음을 게시합니다. - 배치/주간 거래에 대한 의견(종종 주간 루트) - 매칭 + 위험 검토 + 잔액 업데이트가 완료되었음을 증명하는 ZK 증명 프로토콜에 따라, 사용자가 운영자가 사라지더라도 계속 종료할 수 있도록 충분한 데이터가 제공됩니다. (accordinating to the protocol rules, - enough data available so users can still exit by the operator disappears.) "충분한 데이터 가용성"이라는 측면에서 @hibachi_xyz의 설계 선택이 흥미롭습니다. Hibachi는 고성능 CLOB을 실행하고 암호화된 상태/거래 데이터를 @Celestia에 게시하여 전략과 포지션을 공개하지 않으면서도, SP1(Succinct의 zkVM)을 사용하여 CLOB을 증명함으로써 업데이트의 검증 가능성을 유지하는 증명을 게시합니다. 그렇다면 증명 용어에서 "매칭이 정확했다"는 것은 무엇을 의미할까요? zk 증명은 일반적으로 거래소 운영자가 준수해야 하는 것과 동일한 불변 조건을 강제할 수 있습니다. 예를 들어: ➤ 주문은 가격이 교차할 때만 체결되었습니다(불가능한 체결 없음). ➤ 체결 순서는 거래소의 우선순위 규칙(예: 가격-시간 우선순위 또는 거래소에서 지정한 규칙)을 준수했습니다. ➤ 잔액/마진이 정확하게 업데이트되었습니다(숨겨진 잔액 수정 없음). ➤ 최종 상태 루트는 이전 상태 루트에 규칙을 적용한 후 배치 처리를 한 결과와 정확히 일치합니다. DA 레이어에 게시되는 내용을 암호화하여 내용(주문, 수량, 포지션)을 비공개로 유지할 수 있으며, 암호화된 업데이트가 여전히 유효한 상태 전환임을 증명하는 자료를 활용할 수 있습니다.