Passing tests wasn't the bar @the_matter_labs set for the Airbender V2 prover. Proof was. Picus verified 21 of 26 @zksync Airbender circuits as deterministic, ruling out a large class of soundness bugs ahead of the upgrade. Three criticals found and fixed along the way. This is how you ship a zkVM.

The ResupplyFi check approved a $9.6M borrow against 1 wei of collateral. The exchange rate fed in was zero, and zero passed the LTV ceiling. Veridise auditors treat oracle-fed arithmetic as a boundary problem. Here are a few learnings from the audit: veridise.com/blog/audit-insi…

🔐 How does private state actually work in @AleoHQ? In our latest blog, @VeridiseInc security analyst Mark Anthony @epizeuxius breaks down records in Leo — the core primitive behind Aleo’s privacy & scalability. Link to the full blog post below 🧵 1/3

🔐 Building on @AleoHQ? Records are powerful — and easy to misuse. In Part II of our Records in Leo series, Mark Anthony @epizeuxius, Security Analyst at @VeridiseInc, breaks down common record-handling pitfalls. Link to the full blog post below 🧵 1/3

Hello world, we are hiring! We have two open positions for Security Analysts: - Lead Security Analyst (Remote) - Security Analyst (Remote) Please visit our careers page for full job descriptions: veridise.com/careers/

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

Our CTO @FormallyJon's proudest moment? Seeing our team organize ZK Security Workshop with @TheSecureum :) Check out our recap: - Discover the winners - Browse our learning material - Watch insightful talks by @shenhaichen @theyisun @blockdeveth Recap 🧵

Gas optimization is the key to saving money on blockchain transactions! 💰 In our new video, @haruxeETH goes over the most important gas optimization techniques and security holes, so you can start saving blockspace and staying safe today! 🏃🏃🏃 piped.video/watch?v=C--z0GbC…

Dojo Game Jam #2 starts next Friday 10/20! We've increased the prize pool to $10K!! 1. Register here: bit.ly/dojo-game-jam-2 2. Introduce yourself in the #lookingforgroup channel of the Dojo Discord: bit.ly/dojostarkdiscord 3. Make provable game

Release week 🚀🚀 @0xHashstack @rajeebkmdoteth @epizeuxius @zeapherine

Join our Twitter Spaces with .@BrineFinance as we discuss about gasless multi-chain orderbooks! 🗓️When: 27 March, Monday @ 1 pm UTC Twitter Space link: nitter.net/i/spaces/1MYxNgjNddOKw Backup link: nitter.net/i/spaces/1jMJgLdlvQwxL Receive a .@Galxe OAT for tuning in: galxe.com/Hashstack/campaign…

We have .@redstone_defi, joining for an interesting conversation around data feeds. 📢 Tune in!! 📆 23 March, Thursday @ 1 pm UTC 🔗 nitter.net/i/spaces/1YpKkgmwgvAKj Receive a .@Galxe OAT for tuning in: galxe.com/Hashstack/campaign…

🐞🔍Curious to learn about security audits? Join our Twitter Spaces with .@QuillAudits to get insights on smart contract security! 🗓️When: 22 March, Wednesday @ 1 pm UTC Twitter Space link: nitter.net/i/spaces/1PlJQpYaZqqGE Receive a .@Galxe OAT for tuning in: galxe.com/Hashstack/campaign…