< Developer Portal />
What is Pi Squared?
Pi Squared is the most advanced verifiable settlement layer (VSL)—uniting all languages, apps, and ecosystems with lightning-fast proofs and consensus. The VSL delivers verifiable, secure, and efficient cross-chain interactions—all without intermediaries.
What Pi Squared Offers
Verifiable Settlement Layer
This demo of our Verifiable Settlement Layer (VSL) walks through generating proofs of execution and settling them on a common layer across ecosystems. Currently supports ZK proofs for Solidity, EVM, and WASM.
Verifiable
Settlement
Layer
Settlement
Layer
Bring Your
Own Language
Own Language
BYOL (Bring Your Own Language)
With BYOL developers can define and register their own language in our Verifiable Language Machine (VLM). This demo walks through the steps of creating a language semantics definition, uploading it, and registering it on-chain. Smart contracts written in that language can then be deployed and executed just like any other contract in any other language. This showcases VLM's flexibility in supporting diverse languages, opening smart contract development to any developer own language in our VLM.
Multi-language Swap
The Multi-language Swap demo highlights how two smart contracts, written in different languages, can interact seamlessly on VLM. This demonstrates VLM's capability for cross-language interoperability, enabling complex decentralized applications that transcend single-language limitations.
Multi-language
Swap
Swap

Multi-language Block Explorer
Our Multi-language Block Explorer demo showcases a block explorer tailored to VLM's multi-language environment. It allows users to view, analyze, and interact with contracts deployed in various languages. The explorer provides insights into each contract's language semantics, storage structure, and transaction history, giving users visibility into the diverse ecosystem of contracts enabled by VLM.
How Pi Squared can help developers
Interoperability
Pi Squared enables full interoperability across different blockchains and decentralized applications, breaking down silos and allowing seamless interaction.
Trust Minimization
By reducing the trust base of correctness certificates to an absolute minimum, Pi Squared ensures that the technology stack is secure and reliable.
No More Bugs
Traditional language implementations, like compilers and interpreters, are notorious for bugs. Pi Squared eliminates the need for these, making language updates as simple as plug-and-play.
Multi-language Support
Pi Squared's verifiable proof checker applies across all languages and platforms, making it the ultimate tool for verifiable and trustless computing.