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.
How do you feel about Pi Squared today?
Total Votes 0
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