Building on Stellar Soroban? Don't miss this! Our security analyst Evgeniy Shishkin has identified an issue with a specific build-test-deploy pattern. If not addressed promptly, this could lead to severe consequences for a project. 1/2

🚀 Exciting Panel Alert!🚀 Join us at SecureFi Brussels 2024 for an in-depth panel on Formal Verification! - Alexander Hicks from Ethereum - Kostas Ferles from Veridise - Julian Sutherland from - Mooly Sagiv from Secure your spot now! #Web3Security #Solidity

We are pleased to announce that we have successfully completed a security audit with Veridise. Veridise is the industry-leading security audit company specializing in Formal Methods. Full audit report PDF below 🧵

Big data drop❗Breakdown of 100 Veridise security audits. The Block covers our top insights from 1605 vulnerability findings. Key takeaways below 🧵 1/8

Read this in-depth interview with our Research Scientist Alp Bassa (Alp Bassa). Alp discusses security tools, zero-knowledge proof audits, and blockchain security’s future. Thank you, Mpost Media Group!

Thank you Monroe for entrusting us with your security audit needs. And thank you for the kind words 🙏

We are committed to security and transparency. For us, security is non-negotiable in DeFi. We are proud to share the audit reports of our Flash Unstake smart contracts, performed by the respected firms Halborn and Veridise ⚡ ⚡ Rest easy knowing your assets are

Let's work together to formally verify zkEVMs! verified-zkevm.org Grant applications for Stage 1 will be opening asap.

Great post from Argument on how the risc-V compiler is now part of your TCB and how frequent bugs in there happen! argument.xyz/blog/riscv-goo…

Don’t just take our word for it—hear directly from industry leaders their experience working with Veridise: Linea.eth, o1Labs (httpz), RISC Zero, and Demox Labs.

🔐 New blog post: Since July 2024, we've worked closely with RISC Zero to raise the bar for zkVM security. The result? Provable guarantees, and automated continuous verification — powered by our ZK tool, Picus 🧵 1/7

On Feb 17 2025 I reported a critical vulnerability to Scroll. $100m+ in TVL was at risk for more than 2 months. Anyone could force Scroll L2 into an indefinite re-org, halting the chain so that no user transactions would be included in blocks and the chain would not move

Great chatting with Kostas Ferles , Jon Stephens . We dug into AuditHub , they are way ahead of all the security tools that I have seen for zk.