Category Labs é um grupo de pesquisa em criptografia focado em avançar a privacidade e segurança em blockchain. Seu trabalho inclui criptografia limiar em lote (BTX) e contribuições para credenciais anônimas e computação multipartidária segura, com artigos aceitos em conferências de ponta como IEEE S&P e SBC.
Notícias
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