StarkWare에 대한 심층 분석: ZK "우주"를 구축하고 싶습니까?

ChinaDeFi

特邀专栏作者

2022-07-05 13:00

이 기사는 약 2598자로, 전체를 읽는 데 약 4분이 소요됩니다

StarkNet은 ZK-롤업을 사용하여 이더리움 확장 가능성을 보여줍니다.

AI 요약

펼치기

StarkNet은 ZK-롤업을 사용하여 이더리움 확장 가능성을 보여줍니다.

원본 편집: ChinaDeFi

StarkWare는 이더리움을 위한 대규모 ZK 기반 롤업 솔루션 구축에 중점을 둔 ZK 회사입니다. 그들의 첫 제품인 StarkEx는 2020년에 출시되었고, 2021년 11월에는 더 많은 기능을 갖춘 StarkNet이 출시되었습니다.

기술

StarkWare는 수천 건의 트랜잭션을 STARK라는 단일 유효성 증명으로 압축하여 Ethereum L1에 제출하는 새로운 기술을 구축했습니다. SNARK와 비교하여 STARK에는 두 가지 주요 이점이 있습니다.

초기 신뢰 설정이 필요하지 않습니다.
SNARK보다 계산 시간이 빠릅니다. 더 적은 계산이 필요하기 때문에 이더리움의 확장성을 수십 배로 향상시킬 수 있습니다.

건축학

StarkWare 스택은 주로 공유 증명기(SHARP)와 검증기(L1에 있음)로 구성됩니다. SHARP는 서로 다른 dapp의 여러 거래를 묶고 증명을 생성합니다. 그런 다음 L1의 유효성 검사기와 증명을 공유합니다. 계산이 서로 다른 응용 프로그램 간에 공유되기 때문에 비용이 절감됩니다. 검증자는 SHARP 증명이 유효한지 확인합니다. 유효한 경우 Fact Registry에서 공유됩니다. 애플리케이션은 StarkEx 또는 SHARP(StarkNet 애플리케이션)와 직접 인터페이스할 수 있습니다.

StarkNet의 L2 노드(시퀀서)는 모든 트랜잭션을 실행하고 이더리움 메인넷에 주기적으로 상태를 업데이트합니다. StarkNet의 트랜잭션 최종성은 L1에 연결되어 있으며, 이는 L2 노드가 StarkNet과 Ethereum을 모두 확인해야 함을 의미합니다. StarkNet은 이더리움 메인넷의 체크포인트와 관련된 솔루션을 도입하여 롤업 측면에서 매우 빠르게 효율적인 완결성을 달성할 수 있도록 했습니다. 따라서 모든 L2 노드에는 L1 전체 노드가 포함됩니다.

데이터 가용성

StarkNet은 Validium 메커니즘을 사용하여 데이터 가용성을 달성합니다. ZK-롤업과 낙관적 롤업(OR)이 데이터를 온체인에 유지하는 반면 데이터를 오프체인에 유지한다는 점을 제외하면 ZK-롤업과 거의 동일합니다. Validium은 데이터를 오프체인으로 유지하면서 L1에서만 유효성 증명을 발행합니다. 이를 통해 Validium은 합리적으로 높은 처리량을 달성하고 트랜잭션당 비용을 줄일 수 있습니다.

데이터를 오프체인에 저장하는 데 드는 비용은 제3자에 대한 신뢰가 필요하기 때문에 사용자가 자신의 잔액에 액세스하지 못할 수 있습니다. StarkWare는 거래 사본을 보유한 8명의 독립 구성원으로 구성된 DAC(데이터 가용성 위원회)를 통해 이 문제를 해결하는 것을 목표로 합니다. 또한 이 데이터를 항상 사용할 수 있도록 유지 관리해야 합니다. 운영자가 사용자의 자금 액세스를 차단하는 경우 위원회 구성원은 요청이 유효한지 확인합니다.

StarkWare는 또한 사용자가 데이터를 온체인으로 보낼지 여부를 선택할 수 있는 Volition 메커니즘을 구현할 계획입니다. 개별 트랜잭션에 대해서도 데이터 가용성 결정을 애플리케이션 수준에서 사용자 수준으로 전환합니다. 사용자가 온체인의 모든 데이터와 함께 높은 가치의 NFT를 전송하려는 경우 온체인 전송을 위해 추가 비용을 지불할 수 있습니다. 이것은 ImmutableX와 Sorare로 달성될 것입니다.

카이로 프로그래밍 언어

새로운 기술은 새로운 요구 사항을 가져옵니다. Cairo는 STARK를 위해 특별히 제작된 Turing-complete 프로그래밍 언어입니다. 성능과 확장성 측면에서 더 좋지만 매우 새롭습니다. 많은 개발자들이 익숙하지 않아 기존 응용 프로그램을 StarkNet으로 마이그레이션하기가 어렵습니다. Nethermind에서 개발한 Warp는 Cairo 트랜스파일러용 EVM입니다. Warp를 사용하면 Solidity 계약을 Cairo로 원활하게 전환할 수 있습니다.

카이로 언어의 돌파구는 단 하나의 검증자가 하나의 증명을 사용하여 다양한 프로그램 실행의 무결성을 확인할 수 있다는 것입니다.

StarkNet Vs OR

StarkNet은 OR의 7일 대기 시간에 비해 출금 기간이 더 빠를 뿐만 아니라 기본 아키텍처도 다릅니다. StarkNet은 "무상태"를 사용하므로 전체 상태의 상태 루트를 L1에 저장하기만 하면 되고 사용자는 특정 상태 항목에 액세스하기 위해 Merkle 증명을 제공해야 합니다. OR은 각 상태 항목이 온체인에 기록되는 "상태 저장" 솔루션을 따릅니다. 이것은 더 큰 주 팽창으로 이어질 것이며 향후 채택될 때 제대로 확장되지 않을 수 있습니다.

생태계

StarkWare 생태계는 성장하고 있습니다. StarkNet의 무허가 배포를 통해 많은 개발자가 관심을 표명했습니다. StarkEx의 개방형 에코시스템과 풍부한 문서를 통해 개발자가 쉽게 구현할 수 있습니다. DeFi 풀링은 StarkNet에서 가능합니다. 이를 통해 사용자는 L2에 존재할 수 있고 DeFI는 여전히 L1에 있으며 많은 흥미로운 것들이 구축되고 있습니다. 많은 게임과 NFT 게임 아이템이 StarkNet에 등장했습니다.