Pi Squared logo
Website

Pi Squared

Pi Squared (Proof of Proof) enables trustless remote computing, AI, and interoperable smart contracts for any blockchain or dApp.Built upon the K framework and matching logic, Pi Squared offers a universal and efficient verification method. Its primary goal is to facilitate seamless interoperability across blockchains, programming languages, and applications.

Seed Round: $12.5 Million

IMPORTANT: By investing in this business you agree to ourDisclaimer. All information including our rating, is provided merely for informational purposes. CryptoTotem does not provide investment advice.

Overview

Project industryBlockchain Infrastructure / AI & Neural Networks / Web 3.0
Product typeDapp
WhitepaperPi Squared White Paper Open

What is Pi Squared

Pi Squared harnesses zero-knowledge (ZK) technology in a fundamentally unique and correct-by-construction manner. This allows a universally applicable, surprisingly compact ZK circuit to offer verifiable computing correctness guarantees to all languages and virtual machines alike without requiring any translation to a common language, virtual machine (VM), or instruction set architecture (ISA).

Our aim with Pi Squared is to create a Universal Settlement Layer (USL) that simplifies blockchain/language/application interoperability and completely eliminates the need for traditional, often error-prone language implementations, such as compilers, transpilers, or interpreters. Pi Squared's USL is grounded in recent advancements in ZK technology, formal semantics, and logic reasoning techniques.

Details

Raised: 12,500,000 USD

Legal

Registration year: 2024

Project team

Grigore Rosu
Grigore Rosu
Founder & CEO
Grigore Rosu linkedin
Patrick MacKay
Patrick MacKay
COO
Xiaohong Chen
Xiaohong Chen
CTO
Xiaohong Chen linkedin
Dwight Guth
Dwight Guth
Head of Engineering
Sriram Vishwanath
Sriram Vishwanath
Head of BD/Growth
Chris Hazelton
Chris Hazelton
Head of Marketing
Chris Hazelton linkedin
Miruna Roșca
Miruna Roșca
Head of Cryptography
Miruna Roșca linkedin
Ilja Zakharov
Ilja Zakharov
Engineering Manager
Ilja Zakharov linkedin
Adam Fiedler
Adam Fiedler
Lead Software Engineer
Adam Fiedler linkedin
Musab Alturki
Musab Alturki
Senior Blockchain Lead
Musab Alturki linkedin
Mihai Calancea
Mihai Calancea
ZK Proof Team Lead
Nicholas Harness
Nicholas Harness
Ecosystem Lead
Nicholas Harness linkedin
Roberto Gomes Rosmaninho Neto
Roberto Gomes Rosmaninho Neto
Compiler Engineer
Roberto Gomes Rosmaninho Neto linkedin
Yi Zhang
Yi Zhang
Software Engineer
Chenglong Ma
Chenglong Ma
Full-stack Engineer
Chenglong Ma twitter
Reeka Maharaj
Reeka Maharaj
Technical Writer
Reeka Maharaj linkedin
Brandon Moore
Brandon Moore
Software Engineer
Brandon Moore linkedin
Theodoros Kasampalis
Theodoros Kasampalis
Compiler Engineer
Traian-Florin Șerbănuță
Traian-Florin Șerbănuță
Software Engineer
Traian-Florin Șerbănuță linkedin
Nishant Rodrigues
Nishant Rodrigues
Research Collaborator
Octavian Mircea Sebe
Octavian Mircea Sebe
Software Engineer
Octavian Mircea Sebe linkedin
Yan Liu
Yan Liu
Software Engineer
Yan Liu linkedin
Dorel Lucanu
Dorel Lucanu
Research Collaborator
Dorel Lucanu linkedin
Bolton Bailey
Bolton Bailey
Proof Engineer
Bolton Bailey linkedin
Steven Eker
Steven Eker
Senior Software Engineer
Steven Eker linkedin
Max Fan
Max Fan
Intern
Max Fan linkedin
Alex Oltean
Alex Oltean
Software Engineer
Curt J. Sampson
Curt J. Sampson
Senior Software Engineer

Advisors

Andrew Miller
Andrew Miller
Pratyush Mishra
Pratyush Mishra
Yilong Li
Yilong Li
Sreeram Kanan
Sreeram Kanan
Harjasleen Malvai
Harjasleen Malvai

Social media

Pi Squared web-sitePi Squared LinkedInPi Squared X (Twitter)Pi Squared Github

Leave a Reply

Your email address will not be published. Required fields are marked *

Sponsored Crypto Projects

Newly Published