Security Analyst @ Veridise
Joined April 2014
- Tweets16
- Following32
- Followers11
- Likes42
Mark Anthony retweeted
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.
Mark Anthony retweeted
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…
🤖 Made with AI
Mark Anthony retweeted
🔐 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
Mark Anthony retweeted
🔐 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
Mark Anthony retweeted
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/
Mark Anthony retweeted
Big data drop❗Breakdown of 100 Veridise security audits.
@TheBlock__ covers our top insights from 1605 vulnerability findings.
Key takeaways below 🧵
1/8
Mark Anthony retweeted
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 🧵
Mark Anthony retweeted
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! 🏃🏃🏃
youtube.com/watch?v=C--z0GbC…
Mark Anthony retweeted
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
Mark Anthony retweeted
Join our Twitter Spaces with .@BrineFinance as we discuss about gasless multi-chain orderbooks!
🗓️When: 27 March, Monday @ 1 pm UTC
Twitter Space link: xitter.cf/i/spaces/1MYxNgjNddOKw
Backup link: xitter.cf/i/spaces/1jMJgLdlvQwxL
Receive a .@Galxe OAT for tuning in: galxe.com/Hashstack/campaign…
Mark Anthony retweeted
We have .@redstone_defi, joining for an interesting conversation around data feeds.
📢 Tune in!!
📆 23 March, Thursday @ 1 pm UTC
🔗 xitter.cf/i/spaces/1YpKkgmwgvAKj
Receive a .@Galxe OAT for tuning in: galxe.com/Hashstack/campaign…
Mark Anthony retweeted
🐞🔍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: xitter.cf/i/spaces/1PlJQpYaZqqGE
Receive a .@Galxe OAT for tuning in: galxe.com/Hashstack/campaign…
