Because clearly I haven't been given enough work to do, this past weekend I blogged about formally-verifying a Fizzbuzz cs.utexas.edu/~ntaylor/blog/…

Took me a second to realise what this was actually saying.

making a proof assistant assistant out of Jocelyn Qiaochu Chen's new toy

ZKPs can be *very* tricky! Read on to learn more about a subtle bug in Circom-pairing and how a Veridise audit managed to catch it: medium.com/veridise/circo…

📢Semaphore just completed its security audit and formal verification! We wanted to thank our friends at Veridise for the amazing work. Expect a blog post next week with the release of v3. You can read the full report he github.com/semaphore-prot…

Are you curious to know how audits can go beyond patterns and checklists? Check out our recent blog post about violating invariants in Semaphore: medium.com/veridise/break… @PrivacyScaling

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

(1/5) At Veridise, we are passionate about building security analysis tools in a data-driven way. We recently performed a study of vulnerabilities in ZK circuits and built a tool to detect them: eprint.iacr.org/2023/190 Ethereum.org @privacyscaling

Our CTO Jon Stephens speaking about Veridise tools for finding ZK bugs at the Delendum Future Computing Workshop! Delendum

Our CTO Jon Stephens speaking about three of our tools (Picus, zkVanguard, and zkOrca) for proving and finding bugs in ZK circuits. Thanks to IOSG Venturesc 🔜 KBW & Token2049 for a wonderful and informative event :)

Secureum RACEs are smart contract security quizzes. Participation is free & requires one-time registering at forms.gle/iL2uQvGZrDq5Uu…. RACE-16 is designed by Secureum mentor Jon Stephens & Veridise. Top-16 performers will be invited to Veridise Workshop. Details on Discord.

ZK 360 Panel – “Future of ZK” 💭 Discussing the rise of ZK, industries poised for adoption, and regulation with: Benjamin Sepanski from Veridise Roy Lu from HashKey Capital Crypto Texan | katana ⚔️ from @0xPolygonLabs walter from Galaxy Dylan Kugler from Mina Foundation (httpz) 🪶

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/ Today we publish our Unit of Liquidity whitepaper: whitepaper.catalyst.exchange In this, we describe how Catalyst further generalises both the Uniswap and Balancer AMM equation. Let's go over how and why this will be a catalyst for cross-chain applications 🧵

We had a blast at Prague DeFi Summit & ETHPrague! A few awesome days of networking, hacking and fantastic talks on #DeFi, #interoperability, #zk, and more. 10 out of 10, will be back next year.

New blog post live! Dive into Intermediate Representations! This is the sixth part of the "ZK fundamentals" series. The article is written by Alp Bassa, our Research Scientist. Here's a summary 🧵 1/

We really enjoyed working with Edgeless! They were extremely responsive and clearly invested in taking the security of their smart contracts seriously

PSA: Notion Calendar works with Apple iCloud now! 🍎📅 See all your calendars—Apple and Google—in one tidy spot.

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.