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 2944
97%
3%
Bullish
Bearish
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
Jiritsu Network
Unlimited verified compute
NEBRA
Proof aggregation service on Ethereum
Aligned
ZK verification layer
Lagrange
Zero-Knowledge Coprocessing protocol