Common Prefix

Pi Squared

Pi Squared is developing a Universal Settlement Layer designed to settle blockchain transactions, known as "claims," across various programming languages. They achieve this using formal verification proofs and their proprietary SNARK circuit for enhanced succinctness. Their initial implementation includes a Cosmos-based chain capable of verifying state transitions for both EVM and WASM chains. Common Prefix is collaborating with Pi Squared on the implementation of the Cosmos USL and the develpoment of EVM and WASM claim generators. These generators produce state transition claims by accessing only a portion of the state, rather than having access to a full node of every source chain.

Team on this Client

Snowfork