Want to learn about the Cairo language for ZKPs and how to find bugs in them? Check out our new blog post: medium.com/veridise/medja…

Please join us at zkDay on Feb 28th in Denver! It will be a fun day full of ZK-related talks, discussions, and activities :) We look forward to seeing you there! Polychain Capital Manta Network (🔱,🔱) Scroll Aleo Cysic Veridise =nil; Foundation Accountable Magic HyperOracle

Our team had a fantastic time at Consensus this year! Thanks to the Blockchain Research Symposium, Mina Protocol (httpz) 🪶 and EVMNext for organizing these events & facilitating great conversations!! Jacob Van Geffen Benjamin Sepanski Isil Dillig

1/4 We are very happy to contribute to the #Starknet ecosystem through our security audits & automated security analysis tools. Read on to learn more! StarkWare (BTCFi arc) 🥷 Starknetics✨ Starknet (BTCFi arc) 🥷