Starknet(스타크넷)은 이더리움(Ethereum) 상에서 작동하는 권한 없는 유효성 롤업(ZK-Rollup) 2계층 네트워크로, 보안을 저해하지 않고 분산형 애플리케이션 (dApps)의 확장성을 가능하게 합니다. ^[1][2]

개요

Starknet 유효성 롤업은 2계층(L2) 블록체인으로 작동하여 모든 dApp이 이더리움의 상호 운용성과 보안을 저해하지 않고 대규모 연산 확장을 달성할 수 있도록 합니다. ^[1][3]

Starknet은 STARK 암호화 증명 시스템을 사용하여 안전하고 저렴한 거래와 높은 성능을 달성하는 것을 목표로 합니다. Starknet 계약 및 Starknet OS는 맞춤형으로 제작된 특수 프로그래밍 언어인 Cairo(카이로)로 작성됩니다. ^[3]

Starknet은 이스라엘에 기반을 둔 블록체인 회사인 StarkWare Industries(스타크웨어 인더스트리즈)가 이더리움의 확장성을 위해 개발했습니다. Starknet은 2022년 2월 완전한 권한 없는 2계층 네트워크로 출시되어 누구든지 분산형 애플리케이션 또는 dApp을 구축할 수 있도록 했습니다. StarkWare의 회장이자 이사회 의장인 Eli Ben-Sasson(엘리 벤-사손)이 공동 설립했습니다. ^[15]

Starknet의 개발과 채택은 CEO인 Diego Oliva(디에고 올리바)가 이끄는 Starknet Foundation(스타크넷 재단)에 의해 주도되고 있습니다. ^{[5] [6]}

기술

Starknet이 이더리움의 확장성을 향상시키는 방법

보안과 분산화를 유지하면서 이더리움의 확장성 문제를 해결하기 위해 Starknet은 유효성 롤업 솔루션을 도입했습니다. 이 방법은 이더리움 메인넷에서 거래 처리를 이동하여 거래를 오프체인 블록으로 그룹화하고 단일 온체인 거래로 요약합니다. ^[4]

재실행 없이 거래 무결성을 보장하기 위해 Starknet은 검증 가능한 계산을 위한 STARK 증명을 사용합니다. 이러한 증명은 효율적인 검증을 위해 필수적인 블록 정보와 함께 이더리움으로 전송되어 Starknet이 보안이나 분산화를 저해하지 않고 상당한 확장성을 달성할 수 있도록 합니다. ^[4]

Starknet 시퀀서

Starknet의 기본 요소인 Starknet 시퀀서는 거래 검증 및 실행과 블록 제안에서 중요한 역할을 합니다. 시퀀서는 거래를 그룹화하고 집합적으로 처리하여 실패한 거래를 플래깅하고 성공적인 거래가 블록으로 진행되도록 합니다. Starknet의 시퀀서는 이더리움 노드보다 훨씬 더 많은 거래를 초당 처리할 수 있습니다. ^[4]

Starknet 증명자

증명자는 STARK 증명을 생성하여 블록 거래의 수학적 유효성을 보장하고 무결성을 보장합니다. 거래는 동시에 그룹으로 처리되며, 증명자는 거래 실행의 각 단계를 문서화하여 실행 추적을 생성합니다. 상태 차이(State Diff)라고 하는 시스템 상태의 변경 사항도 추적됩니다. ^[4]

다음으로, 알고리즘은 실행 추적의 데이터를 확장하고 혼합하여 단일 인스턴스의 잘못된 데이터라도 전체 데이터 세트에 영향을 미치므로 문제를 강조 표시합니다. 그런 다음 증명자는 이 확장된 데이터에서 무작위 샘플을 선택하여 수천 건의 거래를 검증하는 STARK 증명을 생성합니다. ^[4]

이더리움에서의 안전한 결제

STARK 증명과 상태 차이는 이더리움으로 거래로 전송되며, 이더리움 노드는 거래를 수락하고 증명과 상태 차이를 언패킹합니다. 이러한 언패킹된 구성 요소는 검증자와 Starknet 코어의 두 가지 이더리움 스마트 계약에 의해 처리됩니다. ^[4]

검증자 계약은 증명을 분해하고 그 안의 샘플을 분석합니다. 증명 샘플에서 문제가 있는 데이터의 힌트는 검증자에 의해 즉시 거부됩니다. 증명의 유효성이 확인되면 Starknet 코어 스마트 계약으로 진행됩니다. ^[4]

코어 계약은 증명의 진위를 확인하고 상태 차이를 수신했음을 확인한 다음 이더리움 블록체인에서 Starknet 상태를 업데이트합니다. 그런 다음 이 업데이트된 상태는 이더리움 블록에 추가되어 노드 네트워크 전체에 배포되어 검증 및 투표가 이루어집니다. 블록이 충분한 투표를 얻으면 "최종화" 상태가 되어 이더리움의 불변의 일부로서의 위치를 확인합니다. ^[4]

STRK 토큰

Starknet 토큰($STRK)은 네트워크 운영을 가능하게 하는 수수료 지불, 합의를 위한 스테이킹을 통해 네트워크 유지 및 보안, 거버넌스 제안에 대한 투표를 통한 Starknet의 가치와 기술 목표 결정에 사용됩니다. ^[16]

STRK 토큰은 원래 이더(ETH)로 지불된 거래 수수료, 스테이킹 및 거버넌스에 사용됩니다. 2024년 2월 20일 Starknet 메인넷에서 청구할 수 있게 되었습니다. ^[16]