Blog.
Explore the latest updates, insights, and resources from Provable—covering everything from product news to community highlights.
Filters
Announcing Aleo Stack v4.3.0
Announcing Aleo Stack v4.2.0
Announcing snarkOS v4.1.0
Introducing ARC-0046: Strengthening Aleo Network Security Through Prover Staking
Announcing snarkOS v4.0.0
Updates to Aleo Records & Varuna
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
The benefits of zero-knowledge for mechanism design: Increasing trust, credibility, and transparency
Loan decisions with neural networks using Leo
Fixed-Point Arithmetic in Leo
Provable Raises $200M in Series B to Expand Private-by-Default, Blockchain Platform
Discover Provable
Intro to Leo Programming Language
Welcome to Provable