Pi Squared
블록체인 ZK 솔루션
공연
비교
세부사항
이 콘텐츠는 RD AI가 생성했으며, 참고용으로만 제공됩니다
Pi Squared는 특정 프로그래밍 언어(PL) 또는 가상 머신(VM)에 의존하지 않고 모든 프로그램의 올바른 실행을 검증하기 위해 제로 지식 증명(ZK) 기술을 사용합니다. K 프레임워크와 매칭 로직을 기반으로 보편적이고 효율적인 검증 방법을 제공합니다. 블록체인, 언어 및 애플리케이션의 원활한 상호 운용성을 지원하도록 설계되었습니다.
업데이트 따라가기
팔로우 목록
인물
Pi Squared 소개
Pi Squared는 보편적 검증 가능 컴퓨팅에 초점을 맞춘 블록체인 프로젝트입니다. 핵심 사업은 Verifiable Settlement Layer(VSL)로, 다양한 도메인에서 투명하고 프로그래밍 가능하며 검증 가능한 실행을 가능하게 하는 분산 네트워크입니다. 특정 프로그래밍 언어나 가상 머신에 종속된 일반적인 ZK 프로젝트와 달리, Pi Squared는 형식 의미론을 활용하여 모든 언어가 직접 암호학적 증명을 생성할 수 있도록 하며, 맞춤형 컴파일러나 특수 VM이 필요하지 않습니다. 핵심 경쟁 우위는 보편성에 있습니다. 형식 의미론을 기반으로 삼음으로써 Pi Squared는 이더리움, 비트코인 또는 맞춤형 애플리케이션 등 모든 소스의 계산을 번역 계층 없이 검증할 수 있습니다. 이 접근 방식은 블록체인 생태계의 단편화라는 주요 시장 문제를 해결합니다. 현재 개발자는 각기 다른 언어와 VM을 가진 여러 체인 중에서 선택해야 하며, 이는 유동성 고립과 상호운용성 문제를 야기합니다. Pi Squared의 VSL은 이 모든 생태계를 검증할 수 있는 단일 정산 계층을 제공하여 통합을 목표로 합니다. 지난 6개월(2026-02-28 ~ 2026-08-31) 동안 Pi Squared는 VSL Devnet을 출시했으며, 이는 개발자가 네트워크와 상호작용할 수 있는 첫 번째 라이브 환경입니다. Devnet은 Wormhole의 Native Token Transfer(NTT) 프레임워크와 통합되어 안전한 크로스체인 자산 전송을 지원하며, 이더리움과 비트코인 상태의 실시간 복제를 제공하여 구성 가능한 멀티체인 개발을 촉진합니다. 또한 프로젝트는 2026년을 결제의 전환점으로 강조하며, AI 기반 트랜잭션 증가를 처리하기 위해 병렬적이고 검증 가능한 정산 시스템의 필요성을 강조했습니다. 관련 이니셔티브인 FastSet은 높은 처리량과 즉각적인 최종성을 갖춘 차세대 결제 인프라 구축에 중점을 둡니다. 이 기간 동안 보고된 부정적인 사건은 없었지만, 프로젝트는 여전히 초기 단계에 있으며 Devnet 수준의 성숙도를 보입니다.
블록체인 ZK 솔루션인 Pi Squared가 Polychain Capital이 주도한 1,250만 달러 시드 라운드를 완료했다. 이는 초기 자본 검증을 의미하며, 검증 가능한 컴퓨팅을 위한 범용 ZK 회로 개발을 가능하게 한다. 이후에는 VSL(Verifiable Settlement Layer) devnet을 출시했는데, 이는 증명 기반 검증을 통해 단편화된 생태계를 통합하는 크로스체인 결제 레이어로 나아가는 이정표다. 이러한 단계들은 장기적 중요성을 확립한다: 시드 라운드는 핵심 R&D를 위한 자원을 확보했고, devnet은 다양한 언어와 VM에서 범용 검증 가능성을 테스트할 수 있는 최초의 라이브 환경을 제공하여 신뢰 최소화된 결제 인프라를 위한 기반을 마련한다.
Grigore Rosu (공동 창립자 겸 CEO): UIUC 컴퓨터과학 교수, Formal Systems Laboratory 책임자. NASA 연구원 출신으로 '런타임 검증(runtime verification)'이라는 용어를 창시했습니다. 연구 관심 분야는 프로그래밍 언어, 정형 기법, 소프트웨어 공학, 암호학입니다. UC 샌디에이고에서 박사 학위를 받았습니다. NSF CAREER 상, UIUC 우수 신진 교수상, 연구 우수 학장상을 수상했습니다. Xiaohong Chen (CTO): 정형 기법 엔지니어이자 ZK 연구자입니다. 프로그램 명세/검증, 프로그램 논리, 확장 가능한 영지식 솔루션에 중점을 두고 있습니다. 베이징대학교에서 학사, UIUC에서 박사 학위를 받았습니다.