Details
Pi Squared uses zero-knowledge proof (ZK) technology to verify the correct execution of any program without relying on a specific programming language (PL) or virtual machine (VM). It is based on the K framework and matching logic to provide a universal and efficient verification method. Designed to enable seamless interoperability of blockchains, languages and applications.
Fundraising
How do you feel about Pi Squared today?
Total Votes 2001
Significant Events
Jul, 2024
Similar Projects
Succinct
The Protocol for Programmable Truth
Axiom
ZK Coprocessor for on-chain applications
Fabric Cryptography
Building hardware for cryptography
PolyHedra
Infrastructure for Web3 Interoperability
Proven
Cryptographically-secure financial transparency
Jiritsu Network
Unlimited verified compute
NEBRA
Proof aggregation service on Ethereum
Lagrange
Zero-Knowledge Coprocessing protocol