Jan Camenisch
Cryptography Researcher at Category XYZ · Team at Sovrin · Distinguished Researcher at Subzero Labs
Jan Camenisch is currently the Distinguished Researcher at Subzero Labs. He graduated from ETH Zürich.
Current Roles
News Mentions
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