Category Labs 是一個專注於推進區塊鏈隱私與安全性的密碼學研究組織。他們的工作包括批量門檻加密（BTX），以及對匿名憑證與安全多方計算的貢獻，研究成果已被 IEEE S&P 與 SBC 等頂級會議接受。
新聞
Cadence is a new consensus protocol by @category_xyz with multiple-concurrent-proposers. This unlocks: - a major step towards solving MEV when combined with the BTX encrypted mempool design - 100ms block times initially - 219ms finality on average Learn more below 👇 https://x.com/category_xyz/sta
a more detailed article on how @category_xyz uses formal verification to secure the @monad client and protocol - worth a read as this is the future of software development https://x.com/category_xyz/status/2070507926196752714
fwiw parts of the monad client and protocol have been formally verified @category_xyz has a formal verification team - we are hiring if you expertise in this area