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