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.
Similar Projects
Fractal Network
Decentralized smart contract platform
ZKBase
All-featured Layer2 platform
Manta Network
Multi-modular ecosystem for ZK applications
Automata Network
Modular attestation layer
Iron Fish
Common Privacy Layer for Web3
zkPass
Privacy-preserving identity protocol
Orbiter Finance
L2 cross-chain bridge
ZKCross
A multichain execution layer