Had a great time catching up on existing projects and learning about new ones at #zkweek. The future of ZK looks bright! the Pit 🕳️

Starting soon!

Recently, Wilson Nguyen Wilson Nguyen, Dan Boneh Dan Boneh (both from Stanford University) and Srinath Setty Srinath Setty (Microsoft Research) published a paper named “Revisiting the Nova Proof System on a Cycle of Curves”. 🧵 👇

Very interesting paper that shows how seemingly minor deviations from a theoretical description can have major impacts

Thanks so much to Zero Knowledge Podcast and Anna Rose for setting this up! I had a great time talking about some of the work we have been doing at Veridise!

It’s nice to let someone else do the talking for a while! Jacob did a great job talking about Medjai, Veridise’s formal verifier for Cairo contracts

Another great talk from a member of Veridise at #EthCC. Shankara talked about Picus, our tool for verifying that zk circuits are properly constrained.

Have questions about zk, audits or security tools from Veridise? Come visit our booth at zkDay 🗓️ (we have swag)

Just out: our guest essay for POLITICO on the AI Executive Order. We argue that its singling out of the risks of large foundation models is inadequate, unnecessary, and benefits a few at the cost of broader innovation. We also justify formal methods! politico.com/newsletters/di…

We are hiring: Head of Business Development If you are living and breathing blockchain, have killer instincts for partnerships and can close any deal, we'd love to hear from you! Full details and application here: veridise.com/careers-head-o…

Stop by ZK day or Scale summit today to see Veridise! We have swag

Modulus has been building some super interesting tech

Fun panel, thanks 🤓Kenny.manta for moderating!

Looking at the breakdown of this data was really interesting. It encompassed a lot of our work to date and highlighted how critical auditing is, especially for ZK!

Thanks zkMonk for inviting me to talk at your bootcamp. It is very important that people new to ZK and Web3 learn about security considerations early as it is so critical in this space

There always seems to be a new ZK language but this article provides a few thoughts on our experience looking at a few of them from a language perspective

RISC Zero is building the first formally verified RISC-V zkVM. Using Veridise's Picus tool, we're mathematically proving determinism in our circuits. Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise.

Had an interesting chat about Aztec's Noir programming language with Michael Klein. We discussed a wide range of topics including how Noir differs from other ZK languages, security features built into Noir and formal methods tools. Definitely worth a watch

Thanks for having me House of ZK. This was a nice way to end a very busy EthDenver

LLZK is live! This is all thanks to our amazing LLZK team Shankara Pailoor, Ian Glen Neal, Tim and Daniel. Also thanks to Ethereum Foundation for their support