ZK-varmennettava matching on tapa ajaa nopeaa, yksityistä tilauskirjaa samalla kun käyttäjille annetaan kryptografinen takuu siitä, että matching engine noudattaa sääntöjä. Se ratkaisee yksinkertaisen ongelman: CLOB tarvitsee operaattorin (tai pienen joukon operaattoreita) saadakseen tilaukset nopeasti yhteen, mutta kyseinen operaattori voi myös huijata (järjestää uudelleen, ohittaa tai valikoivasti täyttää). ZK muuttaa luottamusmallia: operaattori voi pysyä nopeana, mutta ei voi viimeistellä päivitystä, ellei hän todista, että se on laskettu oikein. Miten se toimii (käsitteellisesti) ➤ Tilaukset kerätään ja sovitetaan off-chainin kautta (jotta saat matalan viiveen suorituksen). ➤ Sen sijaan, että koko tilausvirta julkaistaisiin, järjestelmä julkaisee: - sitoutuminen erä-tilasiirtymään (usein tilajuuri) - zk-todiste siitä, että matching + risk checks + balance updates on tehty protokollasääntöjen mukaisesti, - riittävästi datan saatavuus, jotta käyttäjät voivat silti poistua, vaikka operaattori katoaisi. Juuri tuo "riittävä datan saatavuus" on se, missä @hibachi_xyz:n suunnitteluvalinta on mielenkiintoinen: Hibachi käyttää suorituskykyistä CLOB:ia ja julkaisee salattuja tila- ja kauppatietoja @Celestia:lle (jotta strategiat ja asemat eivät ole julkisia), samalla kun julkaisee todistuksia, jotta päivitykset pysyvät todennettavissa, käyttäen SP1:tä (Succinctin zkVM) CLOB:n todistamiseen. Mutta mitä "matching was correct" tarkoittaa todistuksen termein? zk-proof voi pakottaa samat invariantit, joita normaalisti luottaisit vaihtooperaattorin noudattamaan, esimerkiksi: ➤ Tilaukset yhdistettiin vain, kun hinnat menevät päälle (ei mahdottomia täyttöjä). ➤ Täyttöjärjestys noudatti tapahtumapaikan prioriteettisääntöä (esim. hinta-aika-prioriteetti tai mitä tahansa paikka määrää). ➤ Saldot/marginaalit päivitettiin oikein (ei piilotettuja saldomuokkauksia). ...