Developing securely on Aleo blockchain: Common Vulnerability Patterns
We presented at Aleo zkHouse on 1st March 2024 in Denver. Aleo zkHouse was a three-day event for zero-knowledge enthusiasts […]
How to develop securely on Soroban? Storage types with unbounded data
Introducing Soroban Soroban is a new smart contract platform that seamlessly integrates into the existing Stellar blockchain. Soroban is independent
Breaking the Tree: Violating Invariants in Semaphore
Welcome back to another Veridise blog post! In this post we talk about contract invariants and why it is so