Blog.
Explore the latest updates, insights, and resources from Provable—covering everything from product news to community highlights.
Filters
Announcing Aleo Stack v4.7.0
From Leo to Shield: A Stronger Privacy Wallet on Aleo
Interfaces and Dynamic Dispatch in Leo
Announcing Aleo Stack v4.6.0
Introducing Shield: The Privacy-First Wallet for Aleo
Announcing Aleo Stack v4.5.0
Fuzzing the Aleo VM: Two Approaches to Bulletproof Security
Announcing Aleo Stack v4.4.0
Provable Acquires Leo Wallet with Commitment to Support & Expand Product Offering
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