Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Following
133 Followers
87 Liked
7 Shared
All
Videos
What are the two most frequent ZK bugs we find? And how to dodge them? @FormallyJon shares on the @HouseofZK podcast
Which parts of a codebase are top targets in ZK security audits? @FormallyJon shares on the @HouseofZK podcast.
We’re pleased to announce our security auditing work with @Monero, a long-standing project within the privacy space.
Additionally, we want to clarify and address some claims and misrepresentations regarding our work.
1/8
Additionally, we want to clarify and address some claims and misrepresentations regarding our work.
1/8
Curious about the top 3 blockchain hacks of the last 2 weeks? Here you go:
The story continues below 🧵
The story continues below 🧵
ZK audits ≠ smart contract audits. What sets them apart? @FormallyJon breaks it down on the @HouseofZK podcast.
New blog: How do you build a secure zkVM application—and how do you audit one? (Part III in our zkVM security series).
We walk through a concrete example using @RiscZero, and show the security considerations that matter in real-world ZK app development.
Thread 🧵
1/6
We walk through a concrete example using @RiscZero, and show the security considerations that matter in real-world ZK app development.
Thread 🧵
1/6
When we started working on ZK tooling, there was nothing available. @FormallyJon shares our zero-knowledge tooling journey at @HouseofZK interview.
When we started working on ZK tooling, there was nothing available. @FormallyJon shares our zero-knowledge tooling journey.
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.
Login to explore more contents