Welcome to Pi2

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 verifiability, 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

Verifiability

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.

Correctness

Pi Squared guarantees that all executions are correct by construction. This means once a language's formal semantics (its rules and behaviors) are defined, all execution and proving tools are automatically generated. In simpler terms, developers don't have to worry about manually verifying compilers, zkVMs, or interpreters — Pi Squared ensures they work as expected from the start.

Performance

Pi Squared doesn't just prioritize flexibility and correctness — it's also fast. It uses a technique called semantics-based execution, which means it runs code in a way that matches or even outperforms traditional compilers and interpreters. This also allows for unique optimizations that aren't possible with conventional blockchain development, making apps more efficient and scalable.

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 highly-performant.

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 verifiability stack (VSL, VLM, VCP): 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:

Stick to the languages you know

Whether you code in Python, JavaScript, or something else, Pi Squared lets you build without trying to make you learn a new language.

Trustless and secure

Built on zero-knowledge proofs and formal methods for provable correctness.

Truly universal

Works across different blockchains, reducing fragmentation and increasing adoption.

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!

Verifiable Settlement Layer

Proof of Proof