Pi Squared가 차세대 검증 가능한 계산의 새로운 패러다임이 될 수 있을까요?

클라우드 컴퓨팅이 널리 사용될 수 있는지의 가장 주요한 결정 요소는 그 신뢰성입니다. 실제 응용 과정에서 클라우드 컴퓨팅의 모든 데이터는 완전해야 하며, 프로그램 실행 과정에서 높은 정확성을 가져야 합니다. 이렇게 하면 클라우드 컴퓨팅의 응용 범위를 효과적으로 확장할 수 있습니다. 또한, 클라우드 컴퓨팅 프로토콜은 서버 내 모든 피드백 결과를 판단할 수 있으며, 원격 서버는 관련 프로그램을 다시 조작할 필요가 없습니다. 최근 몇 년 동안, 검증 가능한 컴퓨팅은 연구자들의 높은 관심을 받았으며, 신뢰할 수 있는 클라우드 컴퓨팅 발전의 주요 트렌드가 되었습니다.
Pi Squared는 일리노이 대학교 어바나-샴페인 캠퍼스의 컴퓨터 과학 교수인 Grigore Rosu가 이끌고 있으며, 이 회사는 제로 지식 기술을 통해 검증 가능한 컴퓨팅을 실현하는 데 전념하고 있습니다. Pi Squared의 핵심 이념은 Rosu가 학계에서 수년간 연구한 결과에서 비롯되었으며, 그는 학생들과 함께 수년간 이 기술을 탐구하여 결국 Pi Squared의 개념을 형성했습니다.

업계 전문가들은 Pi Squared가 성공할 경우 검증 가능한 컴퓨팅을 완전히 혁신할 것이라고 보고 있습니다. 이 기술은 블록체인의 일반 결제 레이어(USL)뿐만 아니라 신뢰할 수 있는 클라우드 컴퓨팅, 과학 및 지식 검증 분야로도 확장되어 모든 언어와 가상 머신에 적용될 수 있으며, 본질적으로 올바르고 고속입니다.

Pi Squared의 응용 시나리오와 가치 공간은 매우 상상력이 풍부하다고 할 수 있습니다.
Pi Squared를 깊이 이해하기 전에, ZK 기술을 기반으로 한 다른 몇 가지 혁신 프로젝트와 그것들이 Pi Squared와의 차이점 및 연관성을 이해할 필요가 있습니다.

01

경쟁 제품 분석

ZKsync
ZKsync는 이더리움 확장 솔루션으로, ZK-rollup 기술을 활용하여 높은 처리량과 낮은 거래 비용을 실현합니다. 여러 거래를 배치 처리하고 ZK 증명을 생성하여 확장성을 달성합니다. ZKsync의 주요 장점은 거래 속도와 비용이 크게 감소하면서도 이더리움의 보안을 유지한다는 점입니다.
ZK-native
ZK-native는 기본 설계에서부터 제로 지식 증명 기술을 채택한 블록체인을 의미합니다. 이러한 블록체인은 일반적으로 더 강력한 개인 정보 보호 및 데이터 압축 능력을 가지고 있으며, 예를 들어 StarkNet 및 Mina Protocol이 있습니다. 이들은 프로토콜 레벨에서 ZK 기술을 직접 통합하여 거래 및 데이터의 개인 정보 보호와 효율성을 보장합니다.
ZK Chain
ZK Chain은 제로 지식 증명 기술을 핵심 구성 요소로 사용하는 블록체인 시스템을 의미합니다. 이러한 시스템은 일반적으로 블록체인의 개인 정보 보호 및 확장성을 향상시키기 위해 설계되었으며, 예를 들어 Aztec 및 Zcash가 있습니다. ZK Chain은 ZK-SNARK 또는 ZK-STARK와 같은 기술을 활용하여 사용자에게 강력한 개인 정보 보호 및 효율적인 거래 처리 능력을 제공합니다.

Pi Squared와 위의 기술 간의 주요 차이점은 그 범용성과 검증 방법에 있습니다. ZKsync, ZK-native 및 ZK Chain이 특정 블록체인의 성능 및 개인 정보 보호를 향상시키는 데 집중하는 반면, Pi Squared는 그 일반 결제 레이어(USL)를 통해 모든 블록체인, 가상 머신 및 프로그래밍 언어에 대한 범용 검증 가능한 컴퓨팅 솔루션을 제공합니다. Pi Squared의 PoP 기술은 블록체인에만 국한되지 않고 다른 컴퓨팅 분야로도 확장되어 진정한 보편적 컴퓨팅을 실현할 수 있습니다.

02

USL: Pi Squared의 비밀 무기

Pi Squared의 첫 번째 제품은 일반 결제 레이어(USL)로, 모듈화된 블록체인 아키텍처로 다음과 같은 핵심 특징을 가지고 있습니다:
(1) 범용성
USL은 어떤 언어 또는 가상 머신의 계산을 지원하며, 컴파일러가 필요하지 않습니다. 이는 개발자가 자신이 익숙한 프로그래밍 언어를 사용하여 블록체인 거래 결제를 수행할 수 있음을 의미합니다.
(2) 증명 가능한 정확성
USL은 수학적 증명을 통해 계산의 정확성을 검증하며, 어떤 외부 엔티티도 USL 상태의 정확성을 독립적으로 검증할 수 있습니다.
(3) 신뢰 기반 최소화
USL은 상위 계산에서의 신뢰 가정을 투명하게 노출하며, 정확성 증명을 통해 최종적으로 신뢰 기반을 최소화하여 사용자에게 신뢰와 투명성을 증가시킵니다.
(4) 응용 상호 운용성
USL은 서로 다른 응용 모듈과 네트워크 간의 상호 운용성을 지원하며, appchains 간의 상호 작용을 포함합니다.
(5) 결정성과 재현성
USL의 검증 과정은 결정적이며, 어떤 외부 엔티티도 독립적으로 반복 검증할 수 있습니다.
Pi Squared의 USL 아키텍처는 여러 계층과 구성 요소로 구성되어 있으며, 각 계층과 구성 요소는 효율적이고 검증 가능한 계산을 구현하는 데 중요한 역할을 합니다.
먼저, 계산 계층
계산 계층은 아키텍처의 최상위에 위치하며, 다양한 언어와 가상 머신이 계산을 수행하는 곳입니다. 거래 실행 엔진, 완전 기능의 응용 체인 및 실행 롤업을 포함합니다. 계산 계층의 계산은 매우 복잡할 수 있으며, 환경은 자체 최적화 및 병렬 처리를 구현할 수 있으며, USL은 이러한 계산이 어떻게 수행되는지 알 필요가 없습니다.
둘째, Sequencer Network
Sequencer Network는 계산 계층과 USL 간의 거래를 처리하는 역할을 합니다. Sequencers는 거래를 검증하고 블록에 수집하여 효율성을 촉진하고 거래 처리량을 증가시킵니다. Sequencer Network는 일반적으로 분산되어 있으며, 거래를 안전하게 정렬하기 위해 합의 알고리즘을 실행합니다. Sequencer Network 계층의 사전 확인은 낙관적이며, USL 검증 후 무효 거래를 철회할 수 있습니다.
셋째, 실행 계층 인터페이스
실행 계층 인터페이스는 계산 계층 아래에 위치하여 계산 계층 시스템이 USL과 통신할 수 있도록 합니다. 이는 "계산 거래"를 수용하며, 거래, 상태 변화 및 전이 메타데이터를 포함합니다. 메타데이터는 계산을 실행하는 프로그램, 신뢰할 수 있는 엔티티 목록 및 기타 세부 사항을 정의합니다.
넷째, Pi Squared의 USL 계층
USL 계층은 낙관적 롤업으로 작동하며, 계산 거래를 논리 이론의 수학적 진술로 해석합니다. USL은 계산 시퀀스의 수학적 증명을 생성하여 정확성을 보장하며, 주로 π² 네트워크와 증명자 풀(Prover Pool)로 구성됩니다.
마지막으로, π² 네트워크와 Prover Pool
π² 네트워크는 합의 프로토콜을 실행하는 노드로 구성되어 있으며, 거래 후 상태의 유효성을 검증합니다. 검증 과정은 투명하고 재현 가능하며, 어떤 외부 엔티티도 독립적으로 검증할 수 있습니다. Prover Pool은 거래 또는 블록의 제로 지식 증명(ZKP)을 생성하는 증명자 노드로 구성됩니다. ZKP는 거래 또는 블록을 재실행하고 일치하는 논리적 정확성 증명을 생성하여 구현됩니다. 생성된 ZKP는 원래 수학적 증명보다 훨씬 작아 더 빠르게 전송하고 검증할 수 있습니다.

03

USL의 Web3 분야에서의 응용 가치

Pi Squared 팀은 USL을 언어 및 가상 머신에 독립적인 계층으로 구상하여 Web3 산업의 크로스 체인 응용 및 유동성 접근성을 크게 향상시킬 것으로 기대하고 있습니다. 구체적인 응용은 다음과 같습니다:
Rollup-in-a-box
이 서비스는 L2/L3 롤업 및 응용 체인의 생성을 지원하며, 사용자는 시스템 특성을 선택할 수 있으며, 모든 거래는 USL에 의해 투명하게 결제됩니다.
Multi-chain bridging
다중 체인 브리징은 USL에서 실행되는 응용 및 롤업이 서로 다른 체인에서 원활하게 토큰을 브리징할 수 있도록 하며, 오프 체인 코드가 필요하지 않습니다.
Cross-chain financial applications
USL은 DeFi 응용이 서로 다른 롤업 및 응용 체인 간에 원활하게 전환할 수 있도록 하여 더 나은 스테이킹 및 대출 금리를 제공합니다. 예를 들어, 이더리움에서 ETH를 스테이킹하고 Cosmos 체인에서 USDC를 빌릴 수 있습니다.
Heterogeneous ZK verification
사용자는 USL이 지원하는 다양한 ZK 롤업 및 응용을 활용하여 자신이 익숙한 ZK 플랫폼을 선택할 수 있으며, USL은 해당 ZK 백엔드를 통해 거래를 검증합니다.

소결

Pi Squared는 혁신적인 PoP 기술과 일반 결제 레이어(USL)를 통해 검증 가능한 컴퓨팅 분야에서 새로운 기준을 세웠습니다. USL은 현재 블록체인 생태계의 많은 도전을 해결할 뿐만 아니라 미래의 과학 및 지식 검증을 위한 기초를 마련합니다.
USL은 많은 면에서 뛰어난 성능을 보이지만, 몇 가지 한계도 존재합니다. 예를 들어, USL은 개인 정보 보호를 강화하는 것을 목표로 하지 않으며, 계산 정확성의 일치 논리 증명에 대해서만 비밀을 유지합니다. 미래에는 특정 응용의 개인 정보 요구를 고려할 수 있습니다; 거래 구조는 신뢰 의존 항목 목록을 지정할 수 있도록 허용하며, 시스템 구성 요소에 의해 지정됩니다. USL은 신뢰 의존 항목 규격이 부족한 거래의 신뢰 기반을 능동적으로 발견하지 않으며, 초기에는 신뢰 기반 검증에 집중합니다.
하지만 우리는 기술적으로 중요한 돌파구를 통해 USL이 실제 문제를 해결하는 능력을 보여주고 있습니다. 앞으로 더 많은 응용의 출현과 인프라의 완비에 따라, Pi Squared는 블록체인 산업에 더 많은 혁신과 변화를 가져올 것입니다.