파이 제곱 해석하기: 명문대 출신의 학계 엘리트들이 주도하는 파이 스퀘어
지난 며칠 동안 BTC는 하락세를 보였지만, 주요 시장에서는 계속해서 중요한 자금 조달 거래가 발표되고 있습니다. 이번 주 주목할 만한 자금 조달 프로젝트는 AI 대기업 센티먼트가 8,500만 달러를 조달한 것 외에도 ZK 기술과 관련된 파이 스퀘어드(Pi Squared)가 있습니다.
7월 2일, 파이 스퀘어드는 폴리체인 캐피털이 주도하고 ABCDE, 블록셀레이트, 제너레이티브 벤처스, 로봇 벤처스, 삼성 넥스트가 참여한 1,200만 달러의 시드 펀딩을 확보했다고 발표했습니다. 엔젤 투자자로는 이더리움 재단의 저스틴 드레이크와 아이겐레이어의 설립자 스리람 카난이 참여했습니다.
공개된 정보에 따르면 파이 제곱이라는 이름은 심오한 수학적 의미를 암시하며, 파이 제곱의 무한한 특성으로 인해 기술적 깊이와 신비로움을 자아냅니다. 프로젝트 자체는 ‘범용 ZK 회로’와 ‘범용 결제 계층’을 구축하는 데 초점을 맞추고 있으며, 단어는 익숙하지만 이해하기 어려운 방식으로 설명되는 경우가 많습니다.
프로젝트의 고상하고 이해하기 어려워 보이는 성격에도 불구하고, 유명 VC와 엔젤 투자자로 잘 알려진 개인이 결합한 파이 스퀘어드는 무시하기 어려운 프로젝트입니다. 그렇다면 파이 제곱이란 정확히 무엇일까요?
파이 제곱: 명문 대학 출신의 학계 엘리트들이 이끄는 파이 스퀘어
칠판에 파이 제곱을 그리는 것이 많은 사람들에게는 당황스러울 수 있지만, 학계 엘리트들이 이 작업을 하면 그 효과는 완전히 달라집니다.
파이 스퀘어드는 일리노이대학교 어바나-샴페인 캠퍼스(UIUC)의 컴퓨터공학과 교수이자 프로젝트의 CEO를 맡고 있는 Grigore Rosu가 이끌고 있습니다.
2014년에는 정식 검증과 런타임 검증을 전문으로 하는 UIUC의 정교수가 되었습니다. 간단히 말해, 형식적 검증은 수학적 방법을 사용하여 소프트웨어 및 하드웨어 시스템의 정확성을 증명하고 다양한 조건에서 제대로 작동하는지 확인하는 것입니다. 반면 런타임 검증은 시스템 동작을 실시간으로 모니터링하여 안정성과 보안을 강화하는 것입니다.
위키백과에 따르면 Grigore Rosu 교수는 미국 컴퓨터 기계학회(ACM)와 국제 자동 소프트웨어 엔지니어링 컨퍼런스(ASE)에서 최고상을 받은 수많은 논문을 발표했습니다.
하지만 이것이 암호화폐 프로젝트와 어떤 관련이 있을까요?
파이 스퀘어드의 주요 사업 설명을 살펴보면, 영지식 증명(ZK) 기술을 사용하여 사용된 프로그래밍 언어(PL)나 가상 머신(VM)에 관계없이 모든 프로그램의 올바른 실행을 검증한다는 것을 알 수 있습니다. 이는 블록체인, 언어, 애플리케이션 간의 원활한 상호운용성을 달성하기 위한 범용적이고 효율적인 검증 방법을 제공합니다.
이는 그리고레 로수 교수의 검증 전문 지식과 완벽하게 일치하므로 그의 학문적 지식을 이상적으로 응용할 수 있습니다.
USL: 시스템 거래 결제 촉진
파이 스퀘어드가 만들고자 하는 ‘범용 결제 레이어(USL)’에 대해 자세히 살펴보겠습니다.
먼저, 파이 스퀘어드는 최종 사용자를 직접 대상으로 하지 않고 다양한 암호화폐 및 개발자 커뮤니티를 위한 제품을 제공한다는 점에 유의해야 합니다.
파이 스퀘어드의 목표는 블록체인, 언어, 애플리케이션 간의 상호운용성을 간소화하여 컴파일러, 번역기, 통역기와 같이 오류가 발생하기 쉬운 기존의 언어 구현이 필요 없는 USL을 만드는 것입니다.
간단히 이해하자면, 다양한 블록체인, 프로그래밍 언어, 애플리케이션이 서로 원활하게 작동할 수 있게 해줍니다. 개발자는 크로스 체인 및 크로스 언어 애플리케이션을 더 쉽게 만들 수 있습니다.
다음은 이 슈퍼 번역기의 역할을 설명하는 파이 제곱 웹사이트의 다이어그램입니다:
- 거래 시작: 사용자(예: 앨리스)가 밥에게 1 WETH를 전송하는 등 트랜잭션 요청을 시작합니다. WETH는 ERC20 호환 토큰입니다.
- 범용 결제: 트랜잭션 요청이 EVM이나 Python과 같은 모든 가상 머신과 프로그래밍 언어를 지원하는 환경에 제출됩니다. 이는 범용 결제 계층으로, 특정 언어나 가상 머신에 대한 공식 사양이 있는 한 모든 언어나 가상 머신으로 계산을 표현할 수 있습니다.
- 증명 생성: 2단계에서는 트랜잭션의 정확성을 확인하기 위해 수학적 증명이 생성됩니다. 이 증명은 매우 정확하지만 매우 클 수 있습니다.
- 증명 확인: “큰 증명”을 검증하기 위해 ZK-ED(영지식-일치 논리) 증명 검사기가 사용됩니다. 이 검사기는 크기가 작고 대규모 병렬 작업을 처리할 수 있습니다.
- ZK 압축: 마지막으로 트랜잭션의 정확성을 검증하기 위해 영지식 증명을 생성합니다. 이 영지식 증명은 크기가 작고 효율적으로 전송 및 검증할 수 있습니다.
따라서 위의 과정은 간단한 트랜잭션 요청이 어떻게 수학적 증명의 생성 및 검증으로 이어져 궁극적으로 트랜잭션의 정확성과 프라이버시를 보장하는 더 작은 영지식 증명을 생성할 수 있는지를 보여줍니다.
프로젝트의 생태계 관점에서 파이 스퀘어드는 기술 스택에서 계산 계층과 시퀀싱 서비스 위, 합의 및 데이터 가용성 계층 아래, 중간 위치를 차지합니다.
파이 스퀘어드의 USL은 위의 계산 계층과 아래의 합의 계층을 연결하여 계산 트랜잭션의 정확성을 해석하고 검증하는 낙관적인 롤업으로 볼 수 있습니다.
또한 파이 스퀘어드는 합의 프로토콜을 실행하는 노드가 있는 자체 네트워크를 언급하며 프로젝트의 토큰과 직접적으로 관련된 스테이킹 기반 경제 시스템 가능성을 시사했습니다. 그러나 아직까지 프로젝트 문서에는 토큰에 대한 정보가 공개되지 않아 향후 토큰의 미래에 대해 추측할 수 있는 여지가 남아 있습니다.
파이 스퀘어드는 아직 개념 증명 단계에 있습니다. 로수 교수는 이 프로젝트가 2024년 말까지 테스트넷 단계에 진입할 것이라고 말했습니다. 현재는 워밍업 및 홍보 단계에 있으며 참여할 수 있는 활동이나 작업은 없습니다.
저희는 이 프로젝트를 계속 모니터링할 것입니다. 인수인계를 피하라는 요청이 있더라도 참여할 만한 기회는 항상 있을 것입니다.