BTC

$57868.964

-0.43%

ETH

$2348.582

-0.81%

BNB

$540.051

-0.54%

XRP

$0.571

6.39%

보도 자료

Pi Squared는 증명 증명으로 구동되는 범용 ZK 회로를 구축하기 위해 Polychain Capital이 주도하는 시드 펀딩에서 12.5만 달러를 모금했습니다.

2년 2024월 XNUMX일 - 대략 4 분 읽는 데 몇 분

사진 2024 06 26 21 53 36 1719428034V9eVxERTS9 1

미국 일리노이주 샴페인, 2년 2024월 XNUMX일, Chainwire

파이 제곱, (증명 증명)은 첫 번째 자본 조달을 종료했다고 발표했습니다. 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) 기술을 사용하여 모든 블록체인 또는 dApp에 대해 무신뢰 원격 컴퓨팅, AI 및 상호 운용 가능한 스마트 계약을 가능하게 합니다. 이는 수학적 증명의 무결성을 확인하는 보편적이고 무시무시하게 작은 ZK 회로의 생성을 통해 가능해질 것입니다. 이는 모든 언어와 가상 머신(VM)에 검증 가능한 컴퓨팅 정확성 보장을 형식적 의미론에서 직접 제공할 것입니다. 공용 언어, ​​VM 또는 명령어 세트 아키텍처(ISA)로 변환합니다.

Pi Squared의 CEO이자 일리노이 대학교 Urbana-Champaign 캠퍼스의 CS 교수인 Grigore Roşu는 "우리의 임무는 검증 가능한 컴퓨팅에 혁명을 일으켜 모든 언어와 가상 머신에 보편적으로 사용하고 본질적으로 구성에 따라 수정하고 매우 빠르게 만드는 것입니다."라고 말합니다. . “이것은 범용 결산 계층(USL)을 포함한 많은 애플리케이션을 갖게 될 것이므로 모든 블록체인, L1 및 L2는 보편적이고 정확하며 상호 운용 가능하고 효율적일 수 있습니다. 여기서 끝나지 않습니다. 우리의 장기적인 임무는 모든 과학과 지식을 USL에 정착시키는 것입니다.” 

Polychain Capital의 GP인 Karthik Raju는 “Pi Squared의 증명 기술 증명은 Web3와 그 이상 전반에 혁신적인 영향을 미칠 것입니다.”라고 말했습니다. "Pi Squared의 범용 ZK 회로는 개발자부터 최종 사용자까지 모든 사람을 위한 Web3의 도달 범위와 적용성을 크게 향상시킬 것입니다."

Pi Squared는 최적의 최소한의 신뢰 기반으로 보편적이고 확장 가능한 차세대 검증 가능한 컴퓨팅을 가능하게 합니다. Pi Squared로 구동되는 첫 번째 제품은 다음과 같은 특성을 가능하게 하는 모듈형 블록체인용 아키텍처인 USL(Universal Settlement Layer)입니다.

보편성

계산은 컴파일러나 번역기 없이도 고급 또는 가상 기계 언어로 표현될 수 있습니다.

입증 가능한 정확성

USL에 의해 검증된 계산은 수학적으로 정확하다는 것이 입증되며, 모든 외부 엔터티는 USL 상태의 정확성을 독립적으로 검증할 수 있습니다.

신뢰 기반 최소성

USL은 투명성과 최종 사용자 인식을 높이기 위해 상위 계층 계산에서 모든 신뢰 가정을 공개하고 정확성 증명을 통해 신뢰 기반을 최소화합니다.

앱 상호 운용성

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

결정성과 재현성

검증은 재현 가능하며 모든 외부 엔터티에서 독립적으로 검증할 수 있습니다.

따라서 Pi Squared의 USL은 일반 계산에 대한 엔드투엔드 정확성을 보장하는 동시에 이러한 계산의 기반이 되는 신뢰 기반을 최소화합니다. USL은 특정 도메인별 언어(DSL), VM 또는 실행 환경을 요구하거나 홍보하지 않고도 검증 가능한 컴퓨팅을 표준 분산 컴퓨팅 패러다임으로 촉진하는 동시에 효율적이고 확장 가능합니다.

Pi Squared는 8월 11일부터 XNUMX일까지 브뤼셀 EthCC 주변 행사에서 발표 및 전시할 예정입니다. 참석자들은 Pi Squared의 CEO인 Grigore Roşu의 연설을 들을 수 있습니다. 재촬영 및 인프라 데이 8월 XNUMX일과 L2con 7월 9th합니다.

파이 제곱 정보

파이 제곱 수학적 증명의 ZK 증명을 의미합니다. Pi Squared는 구성별로 정확하고 근본적으로 독특한 방식으로 ZK 기술을 사용합니다. 보편적이고 매우 작은 ZK 회로는 공통 언어, VM 또는 ISA로 변환하지 않고도 모든 언어와 VM에 대해 검증 가능한 컴퓨팅 정확성을 보장합니다. Pi Squared는 K 프레임워크 및 Runtime Verification의 창시자인 UIUC 교수 Grigore Rosu가 이끌고 있으며, 형식적 방법론, 블록체인 및 AI/ML 분야에서 성공적인 프로젝트의 연구자 및 창립자로 구성되어 있습니다.

Pi Squared의 CEO 및 팀과의 회의를 예약하려면 참석자는 다음 연락처로 연락할 수 있습니다. contact@pi2.network. 

Pi Squared의 비전과 증명 증명에 대해 자세히 알아보려면 다음을 방문하세요. pi2.network Pi Squared를 팔로우하세요. 소셜 미디어.

고객문의

마케팅 책임자
크리스 헤이즐턴
파이 스퀘어드 Inc
media@pi2.network

보도 자료

Pi Squared는 증명 증명으로 구동되는 범용 ZK 회로를 구축하기 위해 Polychain Capital이 주도하는 시드 펀딩에서 12.5만 달러를 모금했습니다.

사진 2024 06 26 21 53 36 1719428034V9eVxERTS9 1

미국 일리노이주 샴페인, 2년 2024월 XNUMX일, Chainwire

파이 제곱, (증명 증명)은 첫 번째 자본 조달을 종료했다고 발표했습니다. 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) 기술을 사용하여 모든 블록체인 또는 dApp에 대해 무신뢰 원격 컴퓨팅, AI 및 상호 운용 가능한 스마트 계약을 가능하게 합니다. 이는 수학적 증명의 무결성을 확인하는 보편적이고 무시무시하게 작은 ZK 회로의 생성을 통해 가능해질 것입니다. 이는 모든 언어와 가상 머신(VM)에 검증 가능한 컴퓨팅 정확성 보장을 형식적 의미론에서 직접 제공할 것입니다. 공용 언어, ​​VM 또는 명령어 세트 아키텍처(ISA)로 변환합니다.

Pi Squared의 CEO이자 일리노이 대학교 Urbana-Champaign 캠퍼스의 CS 교수인 Grigore Roşu는 "우리의 임무는 검증 가능한 컴퓨팅에 혁명을 일으켜 모든 언어와 가상 머신에 보편적으로 사용하고 본질적으로 구성에 따라 수정하고 매우 빠르게 만드는 것입니다."라고 말합니다. . “이것은 범용 결산 계층(USL)을 포함한 많은 애플리케이션을 갖게 될 것이므로 모든 블록체인, L1 및 L2는 보편적이고 정확하며 상호 운용 가능하고 효율적일 수 있습니다. 여기서 끝나지 않습니다. 우리의 장기적인 임무는 모든 과학과 지식을 USL에 정착시키는 것입니다.” 

Polychain Capital의 GP인 Karthik Raju는 “Pi Squared의 증명 기술 증명은 Web3와 그 이상 전반에 혁신적인 영향을 미칠 것입니다.”라고 말했습니다. "Pi Squared의 범용 ZK 회로는 개발자부터 최종 사용자까지 모든 사람을 위한 Web3의 도달 범위와 적용성을 크게 향상시킬 것입니다."

Pi Squared는 최적의 최소한의 신뢰 기반으로 보편적이고 확장 가능한 차세대 검증 가능한 컴퓨팅을 가능하게 합니다. Pi Squared로 구동되는 첫 번째 제품은 다음과 같은 특성을 가능하게 하는 모듈형 블록체인용 아키텍처인 USL(Universal Settlement Layer)입니다.

보편성

계산은 컴파일러나 번역기 없이도 고급 또는 가상 기계 언어로 표현될 수 있습니다.

입증 가능한 정확성

USL에 의해 검증된 계산은 수학적으로 정확하다는 것이 입증되며, 모든 외부 엔터티는 USL 상태의 정확성을 독립적으로 검증할 수 있습니다.

신뢰 기반 최소성

USL은 투명성과 최종 사용자 인식을 높이기 위해 상위 계층 계산에서 모든 신뢰 가정을 공개하고 정확성 증명을 통해 신뢰 기반을 최소화합니다.

앱 상호 운용성

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

결정성과 재현성

검증은 재현 가능하며 모든 외부 엔터티에서 독립적으로 검증할 수 있습니다.

따라서 Pi Squared의 USL은 일반 계산에 대한 엔드투엔드 정확성을 보장하는 동시에 이러한 계산의 기반이 되는 신뢰 기반을 최소화합니다. USL은 특정 도메인별 언어(DSL), VM 또는 실행 환경을 요구하거나 홍보하지 않고도 검증 가능한 컴퓨팅을 표준 분산 컴퓨팅 패러다임으로 촉진하는 동시에 효율적이고 확장 가능합니다.

Pi Squared는 8월 11일부터 XNUMX일까지 브뤼셀 EthCC 주변 행사에서 발표 및 전시할 예정입니다. 참석자들은 Pi Squared의 CEO인 Grigore Roşu의 연설을 들을 수 있습니다. 재촬영 및 인프라 데이 8월 XNUMX일과 L2con 7월 9th합니다.

파이 제곱 정보

파이 제곱 수학적 증명의 ZK 증명을 의미합니다. Pi Squared는 구성별로 정확하고 근본적으로 독특한 방식으로 ZK 기술을 사용합니다. 보편적이고 매우 작은 ZK 회로는 공통 언어, VM 또는 ISA로 변환하지 않고도 모든 언어와 VM에 대해 검증 가능한 컴퓨팅 정확성을 보장합니다. Pi Squared는 K 프레임워크 및 Runtime Verification의 창시자인 UIUC 교수 Grigore Rosu가 이끌고 있으며, 형식적 방법론, 블록체인 및 AI/ML 분야에서 성공적인 프로젝트의 연구자 및 창립자로 구성되어 있습니다.

Pi Squared의 CEO 및 팀과의 회의를 예약하려면 참석자는 다음 연락처로 연락할 수 있습니다. contact@pi2.network. 

Pi Squared의 비전과 증명 증명에 대해 자세히 알아보려면 다음을 방문하세요. pi2.network Pi Squared를 팔로우하세요. 소셜 미디어.

고객문의

마케팅 책임자
크리스 헤이즐턴
파이 스퀘어드 Inc
media@pi2.network

93회 방문, 오늘 1회 방문