Jacob Van Geffen

[Jacob Van Geffen @iam_jsv]

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!

[Jacob Van Geffen @iam_jsv]

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 https://t.co/gw8Hk7g4B4)

[Jacob Van Geffen @iam_jsv]

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

[Veridise @VeridiseInc]

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

[Veridise @VeridiseInc]

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

[Veridise @VeridiseInc]

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

[Isil Dillig @IsilDillig]

Want to learn about the Cairo language for ZKPs and how to find bugs in them? Check out our new blog post: https://t.co/fuce2cfp9S