Veridise

Tune in for a deep-dive fireside chat with Rami Khalil (@hashcashier), Senior Protocol Engineer at @RiscZero and @boundless_xyz, as we explore the design space for building applications on the RISC Zero zkVM.

Hosted by @FormallyJon from @VeridiseInc.
https://www.youtube.com/watch?v=fQ4T8D-YhbQ

🔍 We're hiring! Join Veridise as the Head of Product Marketing and lead the marketing for AuditHub, our next-generation blockchain auditing platform.

We’d love to hear from you → Find the job description on our careers page!

We've recently completed a security audit with @malda_xyz — a unified liquidity lending protocol on Ethereum and L2s, built on @RiscZero zkVM.

Thank you Malda for entrusting us with your security needs!

Your bi-weekly dose of top 3 blockchain security news is here!

The story continues below 🧵

How to prepare for a security audit: Commit selection & feature freeze.

It’s vital to earmark a specific commit of your codebase. This establishes a stable reference point, and ensures clarity throughout the process. This can be done up to the day before the audit begins.

1/3

Defining the scope of your blockchain security audit isn’t just admin work — it’s foundational.

Pinpoint specific parts of your blockchain project with the highest risk, such as smart contracts, connected back-end services, or ZK circuits.

1/3

We're back with the top 3 blockchain security news of the last two weeks!

The story continues below 🧵

Building smart contracts on @StellarOrg's Soroban? This blog post is a must-read.

Our security analyst Alberto compiled this practical security checklist based on real issues from our Soroban audits. Let's dive in 👇

1/7

When security tool outputs lack context, they become a time sink. The best tools amplify human judgment—not override it. We're cooking up exciting new features in AuditHub 👀

Looking for your weekly dose of top blockchain security news stories? Here you go!

The story continues below 🧵

🔐 New blog post: Since July 2024, we've worked closely with @RiscZero to raise the bar for zkVM security.

The result? Provable guarantees, and automated continuous verification — powered by our ZK tool, Picus 🧵

1/7

We're here with the top 3 blockchain security news of the week!

The story continues below 🧵

Heading to Sofia for @zkproof or @RealWorldCrypto?

Our Head of ZK Tooling @ShankaraPailoo2 and BD @kulm1nski will be in town—let’s connect and talk all things ZK security!

Ready for the week's top 3 blockchain security news? Here you go!

The story continues below 🧵

We're excited to announce that we've been awarded a grant from the @ethereumfndn to build an open-source Intermediate Representation (IR) for ZK circuit languages. We call this LLZK.

Thread (1/8) 🧵

Here's your daily dose of top blockchain security news stories!

The story continues below 🧵

Are you developing ZK-VM applications, such as those on @RiscZero? This is a talk you cannot miss.

Uncovering Hidden Security Risks in ZK-VM Applications by @FormallyJon
https://www.youtube.com/watch?v=uzjZkyiujo8

We're back with the top 3 blockchain security news of the week!

The story continues below 🧵

Panel about Future of ZK and Proving Services with @FormallyJon @vanishree_rao @DacEconomy @Shubhamb126 at @Zk_Hub_Global. Smoothly moderated by @zkLumi!

Greetings from @Zk_Hub_Global! Our CEO @FormallyJon is presenting our LLZK framework, which is a comprehensive DSL framework that unifies various ZK languages for better security. More info about LLZK will be released soon ™