Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Following
130 Followers
64 Liked
6 Shared
Posts
Videos
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
💡 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 🧵
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
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’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!
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 🧵
The story continues below 🧵
We recently collaborated with @SuccinctLabs to verify the determinism of SP1 circuits using Picus—Veridise’s formal verification tool for zero-knowledge circuits.
This marks the first step toward formally verifying the entire SP1 zkVM 🧵
1/6
This marks the first step toward formally verifying the entire SP1 zkVM 🧵
1/6
Announcing our updated Audit Archive!
Access all our public security audits in one place. Filter by client, view issue summaries, and download full report PDFs.
It's a treasure trove! 💎 👉 https://veridise.com/audits-archive/
Access all our public security audits in one place. Filter by client, view issue summaries, and download full report PDFs.
It's a treasure trove! 💎 👉 https://veridise.com/audits-archive/
Tune in for an technical fireside conversation with @mjdklein, a software engineer from @aztecnetwork, as we explore the intricacies of the @NoirLang programming language! cc @__zkhack__ 💙
YouTube video recording: https://www.youtube.com/watch?v=HlVxg7YzNVI
YouTube video recording: https://www.youtube.com/watch?v=HlVxg7YzNVI
Congratulations to @MinaProtocol on the significant milestone of launching the NFT standard!
To ensure the safety of the NFT standard, Mina Foundation engaged @VeridiseInc for a security audit, which is now complete ✅
Let's dive in 🧵
1/7
To ensure the safety of the NFT standard, Mina Foundation engaged @VeridiseInc for a security audit, which is now complete ✅
Let's dive in 🧵
1/7
Looking for the top 3 blockchain security news of the last two weeks? Here you go!
The story continues below 🧵
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
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
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 🧵
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
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 🧵
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
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 🧵
The story continues below 🧵
Login to explore more contents
Explore the latest crypto news
⚡️ Be a part of the latests discussions in crypto
💬 Interact with your favorite creators
👍 Enjoy content that interests you
Email / Phone number
Trending Topics
MyTradingStyle
439,008 views
12,418 Discussing
#GENIUSActPass
The U.S. Senate passed the GENIUS Act in a 68-30 vote, marking the first major crypto bill to ever clear the Senate. The bill now moves to the House, which must decide whether to advance its own version or take up the Senate’s bill.
💬 What impact do you think the GENIUS Act will have on the crypto industry if it becomes law? What role would stablecoins play in the future of finance? Share your thoughts!
#MyTradingStyle
Every trader develops a unique style shaped by their personality, risk tolerance, and goals. Whether you’re conservative or aggressive, your trading style influences the strategies you use and your overall results.
💬 What’s your unique trading style? Share your favorite strategies and why they work for you.
👉 Complete daily tasks on Task Center to earn Binance Points:
• Create a post using #GENIUSActPass , #MyTradingStyle or the $USDC cashtag
• Share your Trader’s Profile,
• Or share a trade using the widget to earn 5 points!
(Tap the “+” on the Binance App homepage and select Task Center)
Activity Period: 2025-06-18 06:00 (UTC) to 2025-06-19 06:00 (UTC)
Rewards are first-come, first-served, so don’t forget to claim your points daily!
🚨 Trader’s League Season 2 is live: Create a post with the Trade Sharing widget and #TradersLeague to unlock extra rewards!
👉 Full T&Cs here
👉 Explore Trader’s League
Binance Square Official
135 Likes
47.7k views
GENIUSActPass
1.2M views
14,904 Discussing
DAOBaseAIBinanceTGE
1.8M views
4,638 Discussing
