https://manifest.trade/whitepaper.pdf
#solana 上第一个经过 #formalVerify 形式化证明的 CLOB 交易所