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