Binance Square

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)
Tout le contenu
--
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 🌞
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 🧵
Dive into the top 3 blockchain security stories from the past two weeks!

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!
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!
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!
Greetings from @EthCC — Our CTO @KFerles is sharing how we deliver lasting determinism for zkVMs such as @RiscZero
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 🧵
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 🧵
Get an overview of Veridise’s ZK tools and a glimpse into what’s next. @IsilDillig shares our future directions at the @a16zcrypto event.
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.
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.
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.
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.
Under-constrained circuits are the most common source of ZK circuit vulnerabilities. What does this really mean in technical terms? @IsilDillig shares.
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.
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.
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 🧵
Ready for the top 3 blockchain security news of the last two weeks?

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
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
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
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
Learn @zktrivo's (Engineer Team Lead at @o1_labs) experience working with Veridise, and how we've supported @MinaProtocol community.
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.
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.
💡 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.
We're back with the top 3 blockchain security news of the last 3 weeks: The story continues below 🧵
We're back with the top 3 blockchain security news of the last 3 weeks:

The story continues below 🧵
Connectez-vous pour découvrir d’autres contenus
Découvrez les dernières actus sur les cryptos
⚡️ Prenez part aux dernières discussions sur les cryptos
💬 Interagissez avec vos créateurs préféré(e)s
👍 Profitez du contenu qui vous intéresse
Adresse e-mail/Nº de téléphone

Dernières actualités

--
Voir plus
Plan du site
Préférences en matière de cookies
CGU de la plateforme