편집자 주: 이 기사의 출처는배빗 정보 (ID: bitcoin8btc)편집자 주: 이 기사의 출처는

배빗 정보 (ID: bitcoin8btc)
StarkWare는 앞으로 몇 달 안에 1단계를 배포하고 2021년 말까지 2단계와 3단계로 이동할 것으로 예상합니다. StarkWare가 구축한 StarkNet은 STARK가 구동하는 분산형 2계층 ZK 롤업으로 이더리움의 일반 컴퓨팅을 지원할 수 있습니다.

, 저자: StarkWare, 컴파일러: Kyle, 허가 하에 출판.

영지식 증명 연구 개발 조직인 StarkWare는 레이어 2 확장 솔루션 ZK Rollup "StarkNet"이 기본 구성(단계 0), 즉 Turing-complete 프레임워크 Cairo, STARK 소프트웨어 스택 및 레이어 2를 완료했다고 밝혔습니다. 확장 엔진 StarkEx는 이후 1단계에서 3단계까지 구축될 것입니다. 그 중 1단계는 개발자가 StarkNet에서 자신의 확장 가능한 애플리케이션을 구축하고 배포할 수 있도록 하는 단일 애플리케이션 롤업 "단일 앱 롤업"을 지원하고, 2단계는 다중 애플리케이션 롤업 "다중 앱 롤업"을 지원하여 다음을 지원합니다. 동일한 StarkNet 인스턴스에서 여러 애플리케이션을 실행하고 액세스하면 서로 다른 애플리케이션 간의 상호 운용성을 활성화하고 가스 비용을 절감할 수 있습니다. 3단계는 분산형 롤업 "분산형 롤업"을 지원합니다.

StarkWare는 앞으로 몇 달 안에 1단계를 배포하고 2021년 말까지 2단계와 3단계로 이동할 것으로 예상합니다. StarkWare가 구축한 StarkNet은 STARK가 구동하는 분산형 2계층 ZK 롤업으로 이더리움의 일반 컴퓨팅을 지원할 수 있습니다.

다음은 StarkWare에서 발표한 공지 전문(번역본)입니다.

우리는 네 단계로 StarkNet을 구축하고 있습니다.

0단계 - 기초(완료*)

2단계 - Constellation: 다중 애플리케이션 요약

소개하다

3단계 - Cosmos: 분산 집계

우리는 몇 달 안에 1단계를 배포하고 2021년 말까지 2단계와 3단계를 순조롭게 진행할 것으로 예상합니다.

소개하다

우리는 이더리움에서 일반 컴퓨팅을 지원하기 위해 L2 ZK-Rollup을 지원하는 분산형, 무허가형, 검열 방지 STARK 기술인 StarkNet을 구축하고 있습니다. Turing-complete Cairo 언어를 기반으로 합니다.

개발자, 사용자 및 StarkNet 노드는 무허가 L2 롤업 체계에서 기대할 수 있는 모든 작업을 수행할 수 있습니다. 개발자는 자체 비즈니스 로직을 구현하는 애플리케이션을 빌드하고 StarkNet에 배포할 수 있습니다. 사용자는 오늘날 이더리움과 상호 작용하는 것처럼 실행을 위해 트랜잭션을 StarkNet에 보낼 수 있습니다. StarkNet 노드와 참여자는 네트워크가 효율적이고 공정하게 운영되도록 암호화 경제 인센티브를 누릴 것입니다.

모든 StarkNet 트랜잭션은 주기적으로 배치되며 유효성은 STARK 증명을 통해 입증되고 Ethereum에서 확인됩니다. STARK 증명을 확인하는 데 필요한 계산은 이를 확인하는 데 필요한 계산보다 훨씬 작기 때문에 StarkNet은 이더리움을 몇 배로 확장합니다.

모든 StarkNet 상태 전환은 STARK 검증을 거치므로 유효한 전환만 Ethereum 네트워크에서 허용됩니다. 전체 StarkNet 상태를 재구성하는 데 필요한 모든 데이터는 온체인에 게시됩니다. 누구나 자신의 StarkNet 노드를 실행할 수 있습니다. 이러한 속성은 StarkNet을 Ethereum만큼 안전하고 무허가로 만듭니다.

Cairo

우리는 3년 동안 개발을 해왔으며 "Moon Math"를 이더리움에서 실행되는 프로덕션 등급의 효율적인 소프트웨어로 전환하는 놀라운 이정표를 달성했습니다. 우리가 하는 방식은 먼저 어려운 문제를 해결하고 핵심 기술을 구축한 다음 점차적으로 생산에 도입하는 것입니다. 우리는 StarkNet이 완성되는 대로 계속해서 이런 식으로 구축할 것입니다.

0단계 - 기초

우리는 StarkNet을 위한 몇 가지 중요한 토대를 마련했습니다.

Cairo는 일반 계산을 위한 STARK 증명을 생성하기 위한 Turing-complete 고급 언어 및 프레임워크입니다. 응용 프로그램 개발자는 Cairo를 사용하여 모든 비즈니스 논리를 정의하고 복잡한 "회로" 또는 AIR를 직접 제작하지 않고도 오프체인에서 증명하고 검증할 수 있습니다. Cairo는 이미 메인넷에 있으며 개발자도 사용할 수 있습니다.

몇 주 안에 공개 Ethereum 테스트넷에서 Cairo General Proof Service(GPS)의 알파 버전을 출시할 예정입니다. 이를 통해 개발자는 Cairo를 사용하여 자신의 애플리케이션을 구축하고 원하는 비즈니스 로직을 구현할 수 있습니다. 확인을 위해 카이로 코드를 GPS로 보낸 다음 온체인으로 보낼 수 있습니다.

GPS는 완전히 분리되고 독립적인 애플리케이션의 실행 무결성을 확인하기 위해 단일 증명을 구현하여 이러한 애플리케이션이 증명 검증의 가스 비용을 상각할 수 있도록 합니다.

Cairo와 GPS는 StarkNet의 기초입니다. 개발자를 외부화하기로 한 우리의 결정은 기술에 대한 조기 액세스를 제공하여 기술을 기반으로 구축을 시작할 수 있을 뿐만 아니라 잠재적으로 StarkNet 개발에 영향을 미칠 수 있습니다.

우리는 개발자 커뮤니티의 요구와 피드백을 기반으로 Cairo를 계속 개발할 것입니다. 새로운 기능, 구문 및 내장 플러그인으로 언어를 향상시켜 유용성을 높이고 Cairo 도구(컴파일러, 추적기/디버거 및 공통 IDE와의 통합)를 계속 개발 및 개선할 것입니다.

StarkNet은 Cairo를 백그라운드에서 실행합니다.

STARK 소프트웨어 스택

StarkEx

우리는 생태계에서 가장 강력한 증명 시스템을 개발했으며 몇 달 동안 메인넷에서 실행되었습니다. 또한 다른 증명 프로그램보다 20배 빠른 오픈 소스 증명 프로그램인 ethSTARK를 개발하여 영지식 서명과 사후 양자 보안 서명을 모두 제공합니다.

우리의 확장 기준에는 메인넷의 단일 증명에서 300,000개의 트랜잭션을 처리하는 것이 포함되며, 총 처리량에서 세계 기록인 300,000 tps를 달성합니다. 그 과정에서 우리는 집계된 가스 효율성에 대한 세계 기록을 달성했습니다: 315 가스/tx, 이더리움 L1 거래보다 훨씬 저렴합니다.

이 기술은 StarkNet의 분산된 개념 증명 계층의 초석이 될 것이므로 StarkNet 개발의 일환으로 더 많은 향상된 증명을 게시할 것입니다(자세한 내용은 향후 블로그 게시물 참조).

StarkEx는 L2 스케일링 엔진입니다. 2020년 6월부터 DeversiFi 고객에게 메인넷 서비스를 제공하고 있습니다. 앞으로 몇 주 안에 dYdX와 ImmutableX에 전원을 공급할 것입니다. StarkEx는 결제뿐만 아니라 복잡한 거래 로직(현물 거래, 파생 상품, NFT)을 처리할 수 있습니다.

StarkEx 개발은 툴체인을 확장하고 실제 요구 사항에 대해 테스트하는 방법입니다. 실제 애플리케이션과 실제 사용자 요구는 도구가 가장 성숙하고 발전하도록 도와줍니다. 또한 지갑 및 블록 탐색기와의 통합과 같이 생태계에 더 나은 서비스를 제공하기 위해 해결해야 하는 요소를 이해하는 데 도움이 됩니다.

StarkEx는 STARK 기반 ZK-Rollup을 사용하여 애플리케이션 기능을 확장하는 실제 예이며 메인넷에 작성된 Cairo의 첫 번째 프로덕션 애플리케이션입니다. 따라서 StarkNet에서 실행되는 응용 프로그램 중 하나이기도 합니다.

향후 개발 경로

1단계 - 플래닛: 단일 애플리케이션 요약

이 단계를 통해 개발자는 StarkNet에서 확장 가능한 자체 애플리케이션을 구축하고 배포할 수 있습니다.

이 시점에서 각 StarkNet 인스턴스는 하나의 애플리케이션을 실행할 수 있습니다. 다른 인스턴스는 다른 애플리케이션을 실행할 수 있습니다.

StarkNet 프레임워크에는 다음이 포함됩니다.

임의의 카이로 논리에 대한 STARK 증명을 생성한 다음 이더리움에서 제출하고 확인하는 메커니즘입니다.

L1 이더리움과의 상호작용: L1 토큰의 입금, 출금, 온체인 데이터의 공개, 악의적인 StarkNet 운영자로부터 StarkNet 사용자를 보호하기 위한 탈출 메커니즘 등

L2 사용자 잔액과 애플리케이션 스토리지 및 메모리 관리.

개발자는 프로덕션에 들어가기 전에 응용 프로그램의 비즈니스 논리를 구축하는 데 전적으로 집중할 수 있습니다. 즉, StarkNet에서 대규모로 배포하고 실행할 수 있습니다.

일반적으로 확장 가능한 ZK-Rollup을 구축할 수 있는 것은 다음과 같습니다.

범용 튜링 완전 프로그래밍 언어 카이로

많은 계산을 단일 증명으로 묶는 강력한 STARK 스택(증명자 및 검증자)

2단계 - Constellation: 다중 애플리케이션 요약

다음 단계는 동일한 StarkNet 인스턴스에서 실행되고 동일한 글로벌 L2 상태에 액세스하는 여러 애플리케이션을 지원하는 것입니다. 이것은 서로 다른 애플리케이션 간의 상호 운용성을 가능하게 하고 향상된 규모의 경제로 인해 가스 비용을 줄입니다.

강력한 STARK 스택인 카이로와 GPS는 다중 애플리케이션 집계를 지원하는 StarkNet의 경쟁력을 강화합니다.

이 단계에서 StarkNet은 이더리움 위에 임의의 비즈니스 로직이 있는 여러 애플리케이션을 실행하기 위한 완전한 기능의 프레임워크가 될 것이며 각 인스턴스는 운영자에 의해 실행됩니다.

운영자는 이제 애플리케이션 개발자가 계약을 배포할 수 있는 StarkNet 노드를 시작할 수 있습니다. 사용자 관점에서 StarkNet은 이제 Ethereum처럼 보이고 느껴지지만 더 큰 규모입니다.

3단계 - Cosmos: 분산 집계

StarkNet 진화의 마지막 단계는 분산 운영을 달성하는 것입니다.

이 단계에 영향을 미치는 현재 우리가 다루고 있는 중요한 R&D 문제에는 (i) ZK-Rollups를 사용하여 합의에 도달하는 메커니즘 개선, (ii) 탈중앙화 StarkNet 기여자와 운영자(트랜잭션 시퀀서, 검증자 등)에게 인센티브를 제공하는 암호화 경제 메커니즘 설계가 포함됩니다. 효율적이고 공정하며 안전하게 운영합니다.