미국 일리노이주 샴페인, 2024년 7월 2일, 체인와이어
파이 스퀘어드( Pi Squared , Proof of Proof)는 첫 번째 자본 조달을 완료했다고 발표했습니다. 폴리체인 자본(Polychain Capital)이 이끄는 이 신디케이트에는 ABCDE, 블록셀러레이트(Bloccelerate), 제너레이티브 벤처스(Generative Ventures), 로봇 벤처스(Robot Ventures), 삼성 넥스트(Samsung Next)가 참여했습니다. 슈모 추(Shumo Chu), 하리쉬 데바라잔(Harish Devarajan), 저스틴 드레이크(Justin Drake), 스리람 카난(Sreeram Kanaan), 송고르 키스(Csongor Kiss), 조지 램베스(George Lambeth), 일롱 리(Yilong Li), 캘빈 리우(Calvin Liu), 루시안 민추(Lucian Mincu), 카르틱 라주(Karthik Raju), 커먼 프리픽스(Common Prefix) 등이 엔젤 투자자로 참여했습니다.
Pi Squared는 영지식 (ZK) 기술을 구조화(CBC) 방식으로 독창적으로 활용하여 모든 블록체인 또는 dApp에 무신뢰성 원격 컴퓨팅, AI, 그리고 상호 운용 가능한 스마트 계약을 구현할 것입니다. 이는 수학적 증명의 무결성을 검사하는 보편적이고 놀라울 정도로 작은 ZK 회로를 통해 가능해질 것이며, 이를 통해 모든 언어와 가상 머신(VM)에 공통 언어, VM 또는 명령어 집합 아키텍처(ISA)로의 변환 없이도 형식적 의미론에서 바로 검증 가능한 컴퓨팅 정확성을 보장할 수 있습니다.
"저희의 사명은 검증 가능한 컴퓨팅에 혁명을 일으켜 모든 언어와 가상 머신에 보편적으로 적용하고, 본질적으로 '구문 기반 정확성'을 보장하며, 매우 빠른 속도를 제공하는 것입니다."라고 Pi Squared의 CEO이자 일리노이 대학교 어바나-샴페인 캠퍼스 컴퓨터공학과 교수인 그리고르 로슈는 말합니다. "이는 모든 블록체인(L1 및 L2)이 보편적이고 정확하며 상호 운용 가능하고 효율적일 수 있도록 범용 정산 레이어(Settlement Layer) (USL)을 포함한 다양한 분야에 적용될 것입니다. 여기서 끝나지 않습니다. 저희의 장기적인 사명은 모든 과학과 지식을 USL에 통합하는 것입니다."
Polychain 자본 의 GP인 카르틱 라주는 "Pi Squared의 증명 기술은 Web3를 비롯한 다양한 분야에 혁신적인 영향을 미칠 것입니다."라고 말했습니다. "Pi Squared의 범용 ZK 회로는 개발자부터 최종 사용자까지 모두에게 Web3의 도달 범위와 적용 가능성을 크게 확대할 것입니다."
Pi Squared는 최적의 최소 신뢰 기반으로 보편적이고 확장 가능한 차세대 검증 가능 컴퓨팅을 구현합니다. Pi Squared를 기반으로 하는 첫 번째 제품은 모듈형 블록체인 아키텍처인 Universal 정산 레이어(Settlement Layer) (USL)로, 다음과 같은 특징을 제공합니다.
보편성
컴파일러나 변환기가 필요 없이 고급 언어나 가상 머신 언어로 계산을 표현할 수 있습니다.
증명 가능한 정확성
USL에 의해 검증된 계산은 수학적으로 정확함이 증명되며, 외부 엔터티는 USL 상태의 정확성을 독립적으로 검증할 수 있습니다.
신뢰 기반 최소성
USL은 투명성과 최종 사용자의 인식을 높이기 위해 상위 계층 계산에서 모든 신뢰 가정을 노출하고 정확성 증명을 통해 신뢰 기반을 최소화합니다.
앱 상호 운용성
USL은 다양한 애플리케이션 모듈과 네트워크(예: 앱체인) 간의 상호 운용성을 지원합니다.
결정론과 재현성
검증은 외부 기관에서 재현 가능하고 독립적으로 검증할 수 있습니다.
따라서 Pi Squared의 USL은 일반 계산에 대한 종단 간 정확성을 보장하는 동시에 이러한 계산의 기반이 되는 신뢰 기반을 최소화합니다. USL은 특정 도메인 특정 언어(DSL), VM 또는 실행 환경을 요구하거나 촉진하지 않고도 검증 가능한 컴퓨팅을 표준 분산 컴퓨팅 패러다임 으로 장려하며, 동시에 효율성과 확장성을 제공합니다.
Pi Squared는 7월 8일부터 11일까지 브뤼셀에서 열리는 EthCC 행사에서 발표 및 전시를 진행합니다. 참석자들은 7월 8일 리스테이킹(reStaking) & Infra Day 와 7월 9일 L2con 에서 Pi Squared의 CEO Grigore Roșu의 강연을 들을 수 있습니다.
파이 제곱에 대하여
Pi Squared는 수학적 증명에 대한 ZK 증명을 의미합니다. Pi Squared는 ZK 기술을 생성에 의한 정확성을 기반으로 하는 근본적으로 고유한 방식으로 사용합니다. 보편적이고 놀라울 정도로 작은 ZK 회로는 모든 언어와 VM에 대해 검증 가능한 컴퓨팅 정확성 보장을 제공하며, 공통 언어, VM 또는 ISA로의 변환은 필요하지 않습니다. Pi Squared는 K 프레임워크와 런타임 검증의 창시자인 UIUC 교수 Grigore Rosu가 이끌고 있으며, 정형 방법론, 블록체인, AI/ML 분야의 성공적인 프로젝트를 수행한 연구원과 창립자들로 구성되어 있습니다.
Pi Squared의 CEO와 팀과의 미팅을 예약하려면 참석자는 contact@pi2.network 로 연락할 수 있습니다.
Pi Squared의 비전과 Proof of Proof에 대해 자세히 알아보려면 pi2.network를 방문하고 소셜 미디어 에서 Pi Squared를 팔로우하세요.
연락하다
마케팅 책임자
크리스 헤이즐턴
파이 스퀘어드 주식회사
미디어@pi2.network
Pi Squared가 Polychain 자본 이 주도한 시드 자금 1,250만 달러를 모아 Proof of Proof로 구동되는 범용 ZK 회로를 구축했다는 기사가 Metaverse Post 에 처음 게재되었습니다.
