Blog.
Explore the latest updates, insights, and resources from Provable—covering everything from product news to community highlights.
Filters
Introducing the New and Improved Provable Explorer
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