Overview
Welcome to the Pi Squared documentation!
This guide provides a soft landing for developers who are new to Pi Squared and want to understand our core concepts and technologies behind it.
What is Pi Squared?
In one sentence, Pi Squared (or Pi2, Pi^2, 𝝅2, 𝝅^2) is a platform that ensures universality, correctness, and performance in blockchain applications and infrastructure.
Unlike traditional solutions that require compiling or translating code to specific languages or virtual machines (VMs), Pi Squared allows you to write programs in any language, VM, or instruction set without losing security or efficiency.
The three pillars of Pi Squared
Developers should be able to use the tools they already know. With Pi Squared, you can write smart contracts and blockchain applications in any language — whether that's Rust, Python, JavaScript, or something else. You don't have to learn a niche, blockchain-specific language just to get started. Plus, you can choose how your programs are verified, whether it's using zero-knowledge proofs (ZKPs), mathematical proofs, or other verification methods.
Why the name "Pi Squared"?
Our name comes from our core technological approach: (Zero-Knowledge) Proof of (Mathematical) Proof.
This method allows us to take verifiable computing to the next level — making it truly universal (for all languages), correct-by-construction, and high-performance.
What do we do?
Web3 has incredible potential, but let's be real — it's complicated. Developers often struggle with new languages, complex virtual machines (VMs), and fragmented ecosystems, making it hard to build secure and efficient blockchain applications.
We eliminate these barriers by allowing developers to use any programming language, VM, or proof system while ensuring their applications are correct, scalable, and interoperable.
At its core, Pi Squared is built on three key components that work together to reshape how decentralized applications (dApps) are created:
The universality stack (USL, ULM, UCP): This ensures that different blockchains and programming languages can work together seamlessly. It can be thought of as a universal bridge that connects all decentralized technologies, preventing fragmentation.
Proof of Proof: This is our approach to verifiable computing, ensuring that every execution is provably correct. Instead of trusting a complex system of compilers, proof of proof guarantees correctness mathematically — making it secure by design.
The K Framework: A system that defines programming languages mathematically, ensuring that code runs exactly as intended. This eliminates the risk of bugs introduced by translators, compilers, or zkVMs (zero-knowledge virtual machines).
Together, these technologies remove friction for developers moving from Web2 to Web3.
Whether you're an experienced blockchain engineer or a developer coming from traditional software development, our infrastructure makes it possible to build decentralized applications with the tools you already know and trust — without unnecessary complexity.
Why do we do it?
The goal of Pi Squared is simple: reduce friction for developers entering Web3. That means:
By addressing these challenges, Pi Squared creates a future where Web3 development is as straightforward as building traditional applications.
Next steps
What are you waiting for? Don't let us tell you all about it. Explore our docs and see for yourself!
Last updated
