Pi Squared
< Developer Portal />Write Smart Contracts in Any Language, for Any Blockchain
What is Pi Squared?
Pi Squared means (Zero Knowledge, or ZK) Proof of (Mathematical) Proof. Pi Squared enables trustless universal verified computing to be used in artificial intelligence, and multi-language interoperable smart contracts across any blockchain or decentralized application.
Pi Squared unlocks the ability for any app or blockchain to work seamlessly across protocols by providing a framework that minimizes the need for trust in critical components of the technology stack.
Get Early Access to Our Developer Program!
How Pi Squared helps developers
Pi Squared represents the next generation of verifiable computing:
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 ZK-ed mathematical proof, 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 universal proof checker applies across all languages and platforms, making it the ultimate tool for verifiable and trustless computing.
What Pi Squared Offers
Universal Language Machine
Write smart contracts in any language, including BYOL (Bring your own language). Currently we support Solidity, EVM, WASM and Rust. We will soon support Move, Python, Go, Javascript and many others.
Watch our ULM Workshop at Devcon!
Universal Settlement Layer
Generate proofs of execution and settle them on a common layer across ecosystems. Currently supports ZK proofs for Solidity, EVM, WASM.
(Stay tuned for more to come…)
Get Early Access to Our Developer Program!
Our Partners
