Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Suivis
131 Abonnés
76 J’aime
6 Partagé(s)
Tous
Vidéos
Cannes, you were amazing! Thanks to everyone who stopped by our booth, and to @EthCC for hosting us. Here’s a visual feast from the week 🌞
Dive into the top 3 blockchain security stories from the past two weeks!
Story continues below 🧵
Story continues below 🧵
Missed @KFerles’s @EthCC talk, “zkVM determinism that lasts: From audits to continuous verification”? Watch the full presentation here, we had a packed room!
Day 1 at @EthCC wrapped up — and all the swag in the photo? Gone. The raccoon was a crowd favorite 🦝
We’ve still got a few left, so swing by tomorrow if you’re around!
We’ve still got a few left, so swing by tomorrow if you’re around!
Greetings from @EthCC — Our CTO @KFerles is sharing how we deliver lasting determinism for zkVMs such as @RiscZero
New blog post! Identifying Common Vulnerabilities in zkVMs
(this is Part II of our zkVM Security Series)
While zkVMs help abstract away ZK complexity, they don’t eliminate all pitfalls 🧵
(this is Part II of our zkVM Security Series)
While zkVMs help abstract away ZK complexity, they don’t eliminate all pitfalls 🧵
Get an overview of Veridise’s ZK tools and a glimpse into what’s next. @IsilDillig shares our future directions at the @a16zcrypto event.
Our ZK detection tools previously timed out on 30% of ZK circuits. How did we solve this? @IsilDillig shares insights from our recent research paper.
How do we keep ZK circuits rock-solid and deterministic during audits? Our co-founder @IsilDillig shares insights on combining static analysis and SMT solvers in our ZK tools.
Are over-constrained circuits a challenge in zero-knowledge circuits?
Which poses a bigger threat: under-constrained or over-constrained circuits? @IsilDillig breaks it down.
Which poses a bigger threat: under-constrained or over-constrained circuits? @IsilDillig breaks it down.
Under-constrained circuits are the most common source of ZK circuit vulnerabilities. What does this really mean in technical terms? @IsilDillig shares.
What happens if your ZK circuit has a bug? What does an incorrect ZK circuit even mean? Our co-founder @IsilDillig explores these critical questions from a formal methods perspective at the @a16zcrypto event.
Get a quick 3-minute introduction to ZK proofs, the tech stack, and general workflow. Our co-founder @IsilDillig breaks it down at the @a16zcrypto event.
Ready for the top 3 blockchain security news of the last two weeks?
Here you go! The story continues below 🧵
Here you go! The story continues below 🧵
Bonjour! Veridise is heading to @EthCC in Cannes, France, from June 30 to July 3.
We'll have a booth at the main conference and our CTO @KFerles will be speaking on stage about zkVM security.
Come to say hi! 🧵
1/4
We'll have a booth at the main conference and our CTO @KFerles will be speaking on stage about zkVM security.
Come to say hi! 🧵
1/4
Zero-knowledge virtual machines (zkVMs) are changing how we build provable apps. They let devs write programs in familiar languages—then prove correctness without re-executing them.
Tyler, our security analyst, wrote up a great explainer to kick off our zkVM Security Series 🧵
1/6
Tyler, our security analyst, wrote up a great explainer to kick off our zkVM Security Series 🧵
1/6
Learn @zktrivo's (Engineer Team Lead at @o1_labs) experience working with Veridise, and how we've supported @MinaProtocol community.
Discover Olivier's @zk_evm insights, as he shares his experience working with Veridise on the security audit of Linea's ZK-VM. Olivier works as Arithmetization Lead at @LineaBuild.
💡 Why formal verification matters in blockchain:
Testing finds bugs that exist.
Formal verification proves certain bugs can’t exist.
When securing millions in DeFi, math is king.
Testing finds bugs that exist.
Formal verification proves certain bugs can’t exist.
When securing millions in DeFi, math is king.
We're back with the top 3 blockchain security news of the last 3 weeks:
The story continues below 🧵
The story continues below 🧵
Connectez-vous pour découvrir d’autres contenus