Jacob Van Geffen

4/ It seems like the team at @MinaProtocol and @o1_labs are doing some really exciting work, and I can't wait to see how the o1js framework comes together!

3/Regina went on to talk about ongoing work at Mina and @o1_labs. #o1js (previously #SnarkyJS) is a Typescript-based language for smart contract development built with ease of usability in mind. She also mentioned that Mina has projects in the works to bring ZK proofs to Optimism

1/ Had a great time attending the talk by @zkregi at @0xEthChicago on the state of ZK! First off, Regina introduced @MinaProtocol, a layer-one blockchain built with a zk-SNARK system called Pickles (can read more at o1-labs.github.io/proof-systems/…)

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! @StarkWareLtd @Starknetics @Starknet

Our team had a fantastic time at Consensus this year! Thanks to the Blockchain Research Symposium, @MinaProtocol and @EVMNext for organizing these events & facilitating great conversations!! @iam_jsv @bensepanski @IsilDillig

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! @polychaincap @MantaNetwork @Scroll_ZKP @AleoHQ @cysic_xyz @VeridiseInc @nil_foundation @ModulusLabs @HyperOracle

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…