Blog.
Explore the latest updates, insights, and resources from Provable—covering everything from product news to community highlights.
Filters
Introducing the Leo native testing framework
Announcing snarkOS v3.8.x
ProvaHack 2.0: Building Privacy dApps on Aleo
Announcing snarkOS v3.7.x
Deploy Aleo Nodes with One Click on Google Cloud Marketplace
Announcing snarkOS v3.6.x
Announcing snarkOS v3.4.x
The Leo programming language: fast, safe and worth the await! 🦁
Aleo Network Foundation and Provable Collaborate with Google Cloud to Scale the Layer 1 ZK Privacy-Focused Network
Announcing snarkOS v3.3.0
Aleo Specifications Now Publicly Available
Formal Verification of Constraint Systems
Celebrating AleoBFT formal verification milestone
How to use zero-knowledge to coordinate economic entities
Unlocking verifiable machine learning models in AI with Provable’s zkML transpiler