Pi Squared가 차세대 검증 가능한 컴퓨팅 패러다임이 될 수 있습니까?

클라우드 컴퓨팅이 널리 사용될 수 있는지 여부를 결정하는 가장 중요한 요인 중 하나는 클라우드 컴퓨팅의 신뢰성입니다. 실제 응용 과정에서 클라우드 컴퓨팅의 모든 데이터는 완전해야 하며 동시에 프로그램 실행 중에 높은 정확도를 가져야 클라우드 컴퓨팅의 응용 범위가 효과적으로 확장될 수 있습니다. 또한 클라우드 컴퓨팅 프로토콜은 서버의 모든 피드백 결과를 판단할 수 있으며, 원격 서버는 관련 절차를 다시 수행할 필요가 없습니다. 최근 몇 년 동안 검증 가능한 컴퓨팅은 연구자들로부터 큰 관심을 끌었으며 신뢰할 수 있는 클라우드 컴퓨팅 개발의 주요 추세가 되었습니다.

일리노이 대학교 어바나-샴페인 캠퍼스의 컴퓨터 과학 교수인 Grigore Rosu가 이끄는 Pi Squared는 영지식 기술을 통해 검증 가능한 계산을 구현하는 데 주력하는 회사입니다. Pi Squared의 핵심 아이디어는 Rosu의 학계에서의 수년간의 연구에서 비롯되었습니다. 그와 그의 학생들은 수년간 이 기술을 탐구하여 마침내 Pi Squared의 개념을 형성했습니다.

업계 관계자에 따르면 Pi Squared가 성공하면 검증 가능한 컴퓨팅에 혁명을 일으킬 것입니다. 이 기술은 블록체인 및 신뢰할 수 있는 클라우드 컴퓨팅의 USL(Universal Settlement Layer)에서 사용될 뿐만 아니라 과학 검증 분야로도 확장될 것입니다. 그리고 모든 언어와 가상 머신에서 작동하며 본질적으로 정확하고 빠릅니다.

Pi Squared의 응용 시나리오와 가치 공간은 매우 상상력이 풍부하다고 말할 수 있습니다.

Pi Squared에 대해 자세히 알아보기 전에 먼저 ZK 기술을 기반으로 한 다른 여러 혁신적인 프로젝트와 Pi Squared와의 차이점 및 연관성을 이해해야 합니다.

경쟁제품 분석

ZKsync

ZKsync는 ZK 롤업 기술을 활용하여 높은 처리량과 낮은 거래 수수료를 달성하는 이더리움 확장 솔루션입니다. 여러 트랜잭션을 일괄 처리하고 ZK 증명을 생성하여 확장성을 달성합니다. ZKsync의 가장 큰 장점은 Ethereum의 보안을 유지하면서 거래 속도와 수수료가 크게 감소된다는 것입니다.

ZK 네이티브

ZK 네이티브는 기본 설계의 영지식 증명 기술을 사용하는 블록체인을 의미합니다. 이러한 블록체인은 StarkNet 및 Mina 프로토콜과 같이 더 강력한 개인 정보 보호 및 데이터 압축 기능을 갖춘 경우가 많습니다. 프로토콜 수준에서 ZK 기술을 직접 통합하여 거래와 데이터의 개인정보 보호와 효율성을 보장합니다.

ZK 체인

ZK체인

ZK Chain은 영지식 증명 기술을 핵심 구성 요소로 사용하는 블록체인 시스템을 말합니다. 이러한 시스템은 종종 Aztec 및 Zcash와 같은 블록체인의 개인 정보 보호 및 확장성을 향상하도록 설계되었습니다. ZK Chain은 ZK-SNARK 또는 ZK-STARK와 같은 기술을 활용하여 사용자에게 강력한 개인 정보 보호 및 효율적인 거래 처리 기능을 제공합니다.

Pi Squared와 위에서 언급한 기술의 주요 차이점은 다양성과 검증 방법입니다. ZKsync, ZK-native, ZK Chain은 모두 특정 블록체인의 성능 향상과 개인 정보 보호에 중점을 두는 반면, Pi Squared는 USL(Universal Settlement Layer)을 통해 모든 블록체인, 가상 머신 및 프로그래밍 언어에 대한 보편적인 검증 가능성을 제공하는 솔루션을 계산합니다. . Pi Squared의 PoP 기술은 블록체인에 적합할 뿐만 아니라 진정한 유비쿼터스 컴퓨팅을 달성하기 위해 다른 컴퓨팅 분야로 확장될 수도 있습니다.

USL: Pi Squared의 트럼프 카드

Pi Squared의 첫 번째 제품은 다음과 같은 핵심 기능을 갖춘 모듈식 블록체인 아키텍처인 USL(Universal Settlement Layer)입니다.

(1) 보편성

USL은 컴파일러 없이 모든 언어 또는 가상 머신에서 계산을 지원합니다. 이는 개발자가 블록체인 거래 결제에 익숙한 프로그래밍 언어를 사용할 수 있음을 의미합니다.

(2) 입증 가능한 정확성

USL은 수학적 증명을 통해 계산의 정확성을 검증하며, 외부 주체는 USL 상태의 정확성을 독립적으로 검증할 수 있습니다.

(3) 신뢰기반의 최소화

USL은 상위 계층 계산에서 신뢰 가정을 투명하게 공개하여 궁극적으로 정확성 증명을 통해 신뢰 기반을 최소화하고 사용자 신뢰와 투명성을 높입니다.

(4) 애플리케이션 상호 운용성

USL은 앱체인 간의 상호 작용과 같은 다양한 애플리케이션 모듈과 네트워크 간의 상호 운용성을 지원합니다.

(5) 확실성과 반복성

USL의 검증 프로세스는 결정론적이며 외부 엔터티에 의해 독립적으로 반복될 수 있습니다.

Pi Squared의 USL 아키텍처는 여러 계층과 구성 요소로 구성되며, 각 계층은 효율적이고 검증 가능한 계산을 가능하게 하는 데 중요한 역할을 합니다.

첫째, 컴퓨팅 계층

컴퓨팅 계층은 아키텍처의 최상위에 위치하며 다양한 언어와 가상 머신이 계산을 수행하는 곳입니다. 거래 실행 엔진, 완전한 기능을 갖춘 애플리케이션 체인 및 실행 롤업이 포함됩니다. 컴퓨팅 계층의 계산은 매우 복잡할 수 있으며 USL이 이러한 계산이 수행되는 방식을 이해할 필요 없이 환경에서 자체 최적화 및 병렬 처리를 구현할 수 있습니다.

두 번째, 시퀀서 네트워크

시퀀서 네트워크는 컴퓨팅 계층과 USL 간의 트랜잭션 처리를 담당합니다. 시퀀서는 트랜잭션을 확인하고 블록으로 수집하여 효율성을 높이고 트랜잭션 처리량을 높입니다. 시퀀서 네트워크는 일반적으로 분산되어 있으며 트랜잭션을 안전하게 순서화하기 위해 합의 알고리즘을 실행합니다. 시퀀서 네트워크 계층의 사전 확인은 낙관적이며 유효하지 않은 거래는 USL 확인 후 되돌릴 수 있습니다.

셋째, 실행 레이어 인터페이스

실행 계층 인터페이스는 컴퓨팅 계층 아래에 위치하며 컴퓨팅 계층 시스템이 USL과 통신할 수 있도록 합니다. 트랜잭션, 상태 변경 및 전환 메타데이터를 포함한 "계산된 트랜잭션"을 허용합니다. 메타데이터는 계산을 수행하는 프로그램, 신뢰할 수 있는 엔터티 목록 및 기타 세부 정보를 정의합니다.

넷째, Pi Squared의 USL 레이어

USL 계층은 낙관적 롤업으로 작동하여 계산 트랜잭션을 논리 이론의 수학적 설명으로 해석합니다. USL은 정확성을 보장하기 위해 계산 순서의 수학적 증명을 생성하며, 주로 π² 네트워크와 Prover Pool로 구성됩니다.

마지막으로 π² Network 및 Prover Pool

π² 네트워크는 거래 후 상태의 유효성을 확인하는 합의 프로토콜을 실행하는 노드로 구성됩니다. 검증 프로세스는 투명하고 반복 가능하며 외부 기관에 의해 독립적으로 검증될 수 있습니다. 증명자 풀은 트랜잭션이나 블록의 영지식 증명(ZKP)을 생성하는 증명자 노드로 구성됩니다. ZKP는 트랜잭션이나 블록을 다시 실행하고 논리 정확성이 일치한다는 증거를 생성하는 방식으로 작동합니다. 결과 ZKP는 원래 수학적 증명보다 훨씬 작으며 더 빠르게 전송 및 검증될 수 있습니다.

Web3 분야의 USL 적용 가치

Pi Squared 팀은 USL을 Web3 산업의 크로스체인 애플리케이션과 유동성 액세스를 크게 향상시킬 언어 및 가상 머신 독립적인 레이어로 구상합니다. 특정 응용 분야는 다음과 같습니다.

롤업-인-박스

이 서비스는 L2/L3 롤업 및 애플리케이션 체인 생성을 지원하고, 사용자는 시스템 기능을 선택할 수 있으며, 모든 거래는 USL에 의해 투명하게 처리됩니다.

다중 체인 브리징

다중 체인 브리징을 사용하면 USL에서 실행되는 애플리케이션과 롤업이 오프체인 코드 없이도 다른 체인의 토큰을 원활하게 브리지할 수 있습니다.

크로스체인 금융 애플리케이션

USL을 사용하면 DeFi 애플리케이션이 다양한 롤업과 애플리케이션 체인 간에 원활하게 전환하여 더 나은 스테이킹 및 대출 비율을 제공할 수 있습니다. 예를 들어 코스모스 체인의 이더리움에 ETH를 스테이킹하고 USDC를 빌려줍니다.

이기종 ZK 검증

사용자는 USL이 지원하는 다양한 ZK 롤업과 애플리케이션을 사용해 자신에게 익숙한 ZK 플랫폼을 선택할 수 있으며, USL은 해당 ZK 백엔드를 통해 거래를 검증한다.

요약

Pi Squared는 혁신적인 PoP 기술과 USL(Universal Settlement Layer)을 통해 검증 가능한 컴퓨팅 분야의 새로운 벤치마크를 설정합니다. USL은 현재 블록체인 생태계의 많은 과제를 해결할 뿐만 아니라 미래의 과학 및 지식 검증을 위한 기반을 마련합니다.

USL은 여러 측면에서 잘 작동하지만 몇 가지 제한 사항도 있습니다. 예를 들어 USL은 개인 정보 보호를 강화하는 것을 목표로 하지 않으며 계산 정확성에 대한 일치 논리 증명만 비공개로 유지합니다. 애플리케이션별 개인 정보 보호 요구 사항은 향후에 고려될 수 있습니다. 트랜잭션 구조를 통해 시스템 구성 요소에 의해 지정된 신뢰 종속성 목록을 지정할 수 있습니다. USL은 신뢰 종속성 사양이 부족한 거래의 신뢰 기반을 사전에 발견하지 않으며 초기에는 신뢰 기반 검증에 중점을 둡니다.

그러나 우리는 USL이 실제로 실질적인 문제를 해결하는 능력을 입증한 기술 분야의 중요한 혁신을 통해 알 수 있습니다. 앞으로 더 많은 애플리케이션이 증가하고 인프라가 개선됨에 따라 Pi Squared는 확실히 블록체인 산업에 더 많은 혁신과 변화를 가져올 것입니다.