Pi²를 해석하다: 명문 대학의 학계 거물이 이끄는 ZK 범용 결제 계층, 1200만 달러 펀딩 유치
글: TechFlow
시장은 불장 같지 않고, 일차 시장의 자금 조달 소식은 다시 곰장 같지 않다.
최근 며칠 동안 BTC가 계속 하락하는 와중에도, 일차 시장에서는 거액의 투자 소식이 끊이지 않고 있다.
AI 거물 Sentiment의 8,500만 달러 규모 투자 건(관련 기사: 인맥 가치 8,500만 달러? 폴리곤 공동창업자가 이끄는 AI 프로젝트 Sentient 분석) 외에도, 이번 주 눈여겨볼 만한 또 다른 투자 프로젝트는 ZK 관련 프로젝트 Pi Squared이다.
7월 2일, Pi Squared는 Polychain Capital이 리드한 시드 라운드에서 1,200만 달러를 조달했다고 발표했으며, ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, Samsung Next 등 다수의 기관들이 참여했다.
또한 천사 투자자로는 이더리움 재단의 저스틴 드레이크(Justin Drake)와 EigenLayer 창시자 스리람 카난(Sreeram Kannan)이 포함됐다.
공개된 정보에 따르면, Pi Squared라는 이름(파이 제곱)은 고도의 수학적 의미를 내포하고 있으며, 무한소수로 반복되는 원주율에 제곱을 더해 마치 난해하면서도 신비로운 기술 감성을 연출한다.
실제로 이 프로젝트는 "범용 ZK 회로"와 "범용 정산 레이어" 구축에 집중하고 있는데, 소개를 읽어보면 "모든 단어는 알지만 무슨 말인지 모르겠다"는 느낌을 받게 된다.
여전히 난해한 인프라, 여전히 고평가를 받는 ZK 기술, 그리고 유명 VC들과 핵심 인사들이 천사 투자자로 참여...
과시적인 대형 프로젝트에 반감을 가지는 것이 손실을 피할 수 있는 보장은 아니지만, 자금 조달이 확정된 새로운 프로젝트를 무시하는 것도 현명하지 못하다.
그렇다면 이 '파이 제곱(Pi Squared)'은 도대체 어떤 배경을 지닌 존재일까?
파이 제곱, 명문 학계 거물이 이끄는 프로젝트
칠판 위에 파이 제곱을 그리면 누가 봐도 이해하기 어렵겠지만, 학계의 거물이 같은 것을 그린다면 전혀 다른 인상을 준다.
Pi Squared는 실제로 일리노이대학교 어배너-샴페인(UIUC) 컴퓨터과학 교수인 그리고레 로수(Grigore Rosu)가 설립을 주도했으며, 그는 이 프로젝트의 CEO이기도 하다.
로수 교수는 2014년부터 해당 대학교의 정교수로서 형식 검증(formal verification) 및 런타임 검증(runtime verification) 분야를 전공해왔다. 쉽게 말해 형식 검증은 수학적 방법을 이용해 소프트웨어 및 하드웨어 시스템의 정확성을 증명하여 다양한 상황에서도 정상 작동함을 보장하는 것이며, 런타임 검증은 시스템 동작을 실시간으로 모니터링하여 안정성과 보안성을 강화하는 기술이다.
위키피디아에 따르면, 로수 교수가 발표한 여러 논문들은 미국 컴퓨터 협회(ACM)와 국제 자동 소프트웨어 공학 협회(ICSE)로부터 최고 논문상을 수상하기도 했다.
그러나 이것이 암호화폐 프로젝트와 무슨 관계가 있을까?
Pi Squared의 주요 사업 설명을 살펴보면, 특정 프로그래밍 언어(PL)나 가상머신(VM)에 의존하지 않고도 모든 프로그램의 실행 정확성을 제로지식 증명(ZK) 기술로 검증하며, 범용적이고 효율적인 검증 방법을 제공해 블록체인, 언어, 애플리케이션 간의 원활한 상호 운용성을 실현하려는 목표를 갖고 있음을 알 수 있다.
이는 바로 로수 교수가 오랫동안 연구해온 검증(verification) 분야와 정확히 일치하며, 학계 거물이 자신의 전문성을 발휘할 수 있는 적합한 무대라고 할 수 있다.
학계의 거물이 기술 중심 프로젝트를 이끈다는 점에서 신뢰도는 자연스럽게 높아진다.
또한 Pi Squared의 CTO인 천샤오홍(Xiaohong Chen) 박사는 북경대학에서 학사를 마친 후 미국 일리노이대학교 어배너-샴페인(UIUC)에서 박사 과정을 수료했으며, 역시 탄탄한 학문적 배경을 지녔다. 로수 교수와 동일한 학교 출신이며 연구 분야도 유사해 사제 혹은 동료 관계일 가능성이 크다.
또 다른 공동 창업자이자 COO인 패트릭 맥케이(Patrick MacKay) 또한 일리노이대학교 어배너-샴페인(UIUC) 출신으로, 로수 교수가 이전에 창업한 스타트업 Runtime Verification의 COO였으며, 사실상 오랜 동료이자 직책까지 그대로 이어온 셈이다. 해당 Runtime Verification 회사의 업무에는 공개 블록체인상의 가상머신 및 스마트 계약에 대한 보안 감사도 포함되어 있었다.
학계의 거물이 이끌고, 오랜 동료들과 동문들이 매끄럽게 합류한 Pi Squared는 학문적·산업적 역량이 두터운 팀 구성으로, VC들의 관심을 받는 것도 당연해 보인다.
USL: 시스템 거래 정산 촉진
이제 Pi Squared가 추진 중인 '범용 정산 레이어(Universal Settlement Layer, USL)'가 무엇인지 좀 더 자세히 살펴보자.
우선 명확히 해야 할 것은, Pi Squared는 직접적으로 사용자에게 서비스를 제공하지 않으며, 암호화폐 개발자 및 다양한 플랫폼에 제품을 제공한다는 점이다.
Pi Squared의 목표는 블록체인, 프로그래밍 언어, 애플리케이션 간의 상호 운용성을 간소화하고, 기존의 오류가 발생하기 쉬운 언어 구현 방식(예: 컴파일러, 트랜스파일러, 인터프리터 등)에 대한 의존성을 완전히 제거하는 범용 정산 레이어(USL)를 구축하는 것이다.
간단히 말하면, 이를 '초월적 번역기'로 생각할 수 있다. 다양한 블록체인, 프로그래밍 언어, 애플리케이션이 서로 원활하게 소통하도록 돕는 것이며, 개발자들은 이를 통해 더욱 쉽게 크로스체인, 크로스언어 애플리케이션을 개발할 수 있게 된다.
Pi Squared 공식 웹사이트의 이 다이어그램은 이 초월적 번역기의 작동 원리를 잘 설명해주고 있다:
-
거래 시작: 사용자(예: 앨리스)가 1 WETH를 밥(Bob)에게 이체하는 요청을 보낸다. 여기서 WETH는 ERC20 표준을 따르는 토큰이다.
-
범용 정산: 거래 요청은 EVM이나 Python 등 임의의 가상 머신과 프로그래밍 언어를 지원하는 환경으로 전송된다. 이것이 바로所谓 '범용 정산 레이어(USL)'인데, 해당 언어 또는 VM에 대한 공식 사양(formal specification)만 존재한다면, 어떤 언어나 VM에서도 계산을 표현할 수 있다. 즉, 가상 머신이나 프로그래밍 언어를 가리지 않는다는 의미다.
-
증명 생성: 2단계의 계산 과정에 대해 수학적 증명을 생성하여 거래의 정확성을 입증한다. 이 증명은 매우 정밀하지만, 크기가 매우 클 수 있다.
-
증명 검증: 이후 ZK-ED(제로지식 – 매칭 논리) 증명 검사기를 사용해 위의 '큰 증명'을 검증한다. 이 검사기는 용량이 작고 대규모 병렬 처리가 가능하다.
-
ZK 압축: 최종적으로 앞선 거래의 정확성을 입증하는 작은 제로지식 증명을 생성한다. 이 제로지식 증명은 용량이 작아 효율적으로 전송되고 검증될 수 있다.
따라서 위의 과정은 단순한 거래 요청에서 시작해 수학적 증명의 생성 및 검증을 거쳐, 결국 거래의 정확성과 프라이버시를 보장하는 더 작은 제로지식 증명을 만들어내는 전체 흐름을 보여준다.
이 전체 과정은 다양한 프로그래밍 언어와 실행 환경을 지원하며, 고효율성과 신뢰 없음(trustless)의 특성을 지녀 크로스체인 연결 등 고도의 보안과 프라이버시 보호가 필요한 다양한 응용 분야에 적합하다.
프로젝트의 생태계 위치를 보면, Pi Squared는 기술 스택의 중간층에 위치한다. 상위에는 컴퓨팅 레이어와 정렬 서비스(ordering service), 하위에는 합의 메커니즘과 데이터 가용성 레이어가 있다.
Pi Squared의 USL을 일종의 옵티미스틱 롤업으로 볼 수 있으며, 상위의 컴퓨팅 레이어와 하위의 합의 레이어를 연결하면서 거래 계산의 정확성을 해석하고 검증하는 역할을 수행한다.
동시에 Pi Squared는 자체 네트워크를 운영할 예정이며, 합의 프로토콜을 실행하는 노드들을 운영할 것으로 보이며, 스테이킹 기반의 경제 시스템을 도입할 가능성도 있어 프로젝트 토큰과 직접 연관될 수 있다.
다만 현재까지 공개된 문서에는 토큰과 관련된 정보는 전혀 없으며, 네트워크 설계상 토큰이 존재할 여지는 열려 있으나, 구체적인 계획은 추가 정보 공개를 통해 확인해야 한다.
Pi Squared는 아직 개념 검증(PoC) 단계에 있다. 로수 교수는 2024년 말에 테스트넷에 진입할 예정이라고 밝혔으며, 현재는 여전히 준비 및 홍보 단계이며, 참여 가능한 활동이나 과제도 없다.
우리는 이 프로젝트를 지속적으로 주목할 것이다. 아무리 '절대 물타기하지 않겠다'고 외쳐도, 언젠가는 참여할 만한 기회가 반드시 찾아올 것이다.
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
深潮TechFlow
