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