배경
배경
2018년부터 StarkWare는 이더리움의 확장성 문제를 해결하기 위해 STARK 유효성 증명의 사용을 개척했습니다. SaaS 비즈니스 모델을 기반으로 StarkEx를 출시하고 카이로 프로그래밍 언어를 만들었으며 맞춤형 로직을 작성할 수 있는 최초의 분산 네트워크인 Starknet을 구축했습니다.
StarkWare는 기술, 수학, 혁신 및 제품 제공, 이더리움 및/또는 STARK를 발전시키는 다른 팀 지원, 제품을 오픈 소스, 분산화 및 공개 제품으로서 STARK에 집중하기 위해 노력하는 이중 초점에 전념하고 있습니다.
앞으로 StarkWare는 Starknet을 Starknet 재단이 관리하는 무허가 분산 유효성 롤업으로 만들고 Prover, Sequencer 및 거버넌스와 같은 Starknet의 다양한 구성 요소를 분산시키는 데 중점을 둘 것입니다.
STARK 기술은 증명, 특히 무결성 증명을 기반으로 합니다. STARK는 무결성을 보장하기 위해 수학을 사용하여 아무도 보고 있지 않을 때에도 계산이 올바르게 수행되도록 합니다. 이 기술에 대한 개념은 Lszl Babai, Lance Fortnow, Leonid Levin 및 Mario Szegedy가 신뢰할 수 없는 슈퍼컴퓨터 그룹을 모니터링하기 위해 신뢰할 수 있는 단일 컴퓨터를 사용하는 개념을 소개한 1991년 논문에서 시작되었습니다. "PCP"라고 불리는 이 기술은 대규모 계산의 무결성을 수학적으로 모니터링하고 보장합니다.
첫 번째 레벨 제목
Starkware:
보조 제목
스타크웨어 팀
Eli Ben-Sasson: 공동 창립자 겸 수석 과학자, 이스라엘 공과 대학 컴퓨터 과학 교수.
zkSNARKs의 발명가인 Zcash의 창립 과학자.
알레산드로 키에사(Alessandro Chiesa): 공동 창립자 겸 수석 과학자, UC Berkeley 컴퓨터 과학 교수.
zk-SNARKs의 공동 발명가이자 libsnark의 핵심 개발자인 Zcash의 창립 과학자.
Kolodny: Uri의 공동 창립자 겸 CEO는 풍부한 비즈니스 경험과 협력에 능숙한 연쇄 창업가입니다.
파이낸싱
파이낸싱
첫 번째 레벨 제목
StarkEx
이더리움과 같은 레이어 1 블록체인 네트워크의 확장성 문제를 해결하도록 설계된 이더리움 블록체인 기반의 애플리케이션별 레이어 2 스케일링 엔진. StarkEx는 STARK 증명이라는 고급 암호화 시스템을 사용하여 보안, 개인 정보 보호 및 자체 관리를 손상시키지 않고 빠르고 저렴한 거래를 가능하게 합니다.
저렴한 오프체인 컴퓨팅을 위한 일련의 애플리케이션 프로세스를 제공하고 STARK 증명으로 여러 트랜잭션을 패키징한 다음 체인에서 이를 검증하여 트랜잭션당 평균 가스 비용을 줄입니다. StarkEx 확장 엔진의 작동 원리에는 일괄 처리, 검증 및 업데이트, 증명 생성 및 체인 검증의 네 단계가 포함됩니다.
StarkEx는 dYdX, Immutable, Sorare, DeversiFi 및 Celer와 같은 여러 애플리케이션에 성공적으로 배포되었습니다.
StarkNet과의 차이점은 다음과 같습니다.
StarkEx와 StarkNet은 StarkWare에서 개발한 서로 다른 두 가지 기술로, 둘 다 STARK 영지식 증명 기술을 사용하지만 목적과 용도가 다릅니다.
1. StarkEx: StarkEx는 이더리움 블록체인에서 단일 애플리케이션의 성능을 최적화하는 데 중점을 둔 애플리케이션별 Layer-2 스케일링 엔진입니다. 여러 트랜잭션을 일괄 처리하고 오프체인에서 검증하여 더 빠르고 저렴한 트랜잭션을 가능하게 합니다. 주로 분산형 거래소(DEX), NFT 시장 및 게임 등에 사용됩니다.
2. STARK 증명 기술을 사용하여 StarkEx는 안전하고 효율적이며 저렴한 거래 경험을 제공합니다. StarkNet은 개발자가 카이로 언어로 작성된 스마트 계약을 배포할 수 있는 전체 이더리움 생태계를 위한 분산 컴퓨팅 플랫폼을 제공하는 허가 없이 보다 일반적이고 완전한 Layer-2 솔루션입니다.
StarkNet은 다른 계약과의 상호 작용을 지원하고 풍부한 프로토콜 구성을 허용하며 비동기 메시징을 통해 Ethereum 계약과 상호 작용할 수 있습니다. 목표는 개발자가 스마트 계약을 구축하고 배포할 수 있는 확장 가능하고 저렴하며 안전한 환경을 제공하는 것입니다. StarkEx와 달리 StarkNet은 개발자가 특정 목적의 솔루션뿐만 아니라 다양한 분산 응용 프로그램을 만들 수 있는 포괄적인 Layer-2 운영 체제로 볼 수 있습니다.
첫 번째 레벨 제목
Starknet
Starknet은 무허가 분산 유효성 폴딩 네트워크("ZK-Rollup"이라고도 함)입니다. 이더리움에서 L2 네트워크로 작동하여 Starknet이 가장 안전하고 확장 가능한 암호화 증명 시스템 STARK에 의존하기 때문에 모든 dApp이 이더리움 구성 가능성 및 보안을 손상시키지 않고 무한정 컴퓨팅을 확장할 수 있습니다.
Starknet 계약 및 Starknet OS는 카이로에서 작성되어 비즈니스 논리에 관계없이 모든 사용 사례의 배포 및 확장이 가능합니다. Starknet은 분산 응용 프로그램(dApp)에 더 높은 확장성과 성능을 제공하도록 설계된 분산 레이어 2 네트워크 솔루션입니다. Ethereum에서 실행함으로써 기존 인프라와 보안을 활용하면서 더 높은 컴퓨팅 성능을 제공할 수 있습니다.
Cairo는 스마트 계약의 개발 및 배포를 단순화하는 것을 목표로 하는 Starknet용으로 특별히 설계된 프로그래밍 언어입니다. 개발자는 Cairo를 사용하여 금융, 게임, 공급망 등을 포함한 다양한 사용 사례를 위해 확장성이 뛰어난 애플리케이션을 쉽게 구축할 수 있습니다.
스타크넷은 유효성 롤업으로 각 블록 내에서의 실행이 증명되어야 하며, 이때 STARK가 유용합니다. 계약. 이 격차를 극복하기 위해 카이로가 개발되었습니다.
첫 번째 레벨 제목
새 버전 업데이트
무엇 향후 계획? Starknet Alpha v 0.11.0: 카이로 1.0으로의 전환 시작
- 카이로 1.0에 대한 추가 언어 개선
- 성능 개선: 약속한 대로 Starknet은 계속해서 TPS를 크게 개선하기 위해 노력하고 있습니다. 로드맵의 다음 단계는 Apache 2.0 라이선스에 따라 공개적으로 개발된 Rust 시퀀서로의 전환입니다. 새로운 시퀀서는 Rust CairoVM 및 Papyrus 전체 노드를 사용하여 Performance Trio를 형성합니다.
- 오프체인 DA
이 버전에서 Starknet은 트랜잭션 비용의 계산 부분을 처리합니다. 향후 릴리스에서는 오늘날 평균 거래의 주요 비용인 온체인 데이터 비용이 해결될 것입니다.
다음은 Starknet의 시퀀서에 대한 추가 설명입니다.
Sequencer는 StarkNet Sequencer를 말하며 Rust CairoVM 및 Papyrus 풀 노드를 사용하여 Rust 시퀀서로 전환하여 처리량(초당 트랜잭션 수)을 크게 증가시키는 것을 목표로 하는 StarkNet의 일부이며 "성능 트리오"를 형성합니다.
"퍼포먼스 트리오"는 StarkNet Sequencer의 세 가지 구성 요소인 Rust 시퀀서, Rust CairoVM 및 Papyrus 풀 노드를 나타냅니다. 그 중 Rust Sorter는 트랜잭션 처리와 블록 생성을 담당하는 StarkNet Sequencer의 핵심입니다. Rust CairoVM은 StarkNet에서 스마트 계약을 실행할 수 있는 가상 머신입니다. Papyrus 풀 노드는 StarkNet 네트워크의 노드로 StarkNet에 모든 데이터를 저장하고 트랜잭션을 처리할 수 있습니다. 이 세 부분은 함께 작동하여 StarkNet의 처리량(초당 트랜잭션)을 크게 증가시킵니다.
Starknet v 0.11.0(현재 Goerli 테스트넷에서만)
Goerli 베타 기간이 끝나면 Starknet v 0.11.0이 메인넷에 출시됩니다.
스타크넷 v 0.10.3(22/12, 12/12)
성능 - 트랜잭션 실행에서 별도의 상태 커밋 계산 컴파일된 Starknet 계약에 대한 클래스 해시를 계산하기 위해 starknet-class-hash 명령 추가
Starknet v 0.10.2(22년 11월 29일)
이 릴리스는 시퀀서 병렬화를 소개합니다! 피더 게이트웨이에 새 엔드포인트 Estimate_fee_bulk가 추가되었습니다. 이를 통해 동시에 여러 거래의 수수료를 추정할 수 있으며, 각 거래는 적용된 이전 거래의 결과 상태와 관련하여 실행됩니다.
Starknet v 0.10.1(22년 10월 25일)
DeployAccount 트랜잭션을 추가합니다(배포 트랜잭션을 대체하여 계정 계약을 배포함). 이를 사용하려면 먼저 거래 수수료를 충당할 수 있도록 계정 주소에 충분한 자금을 추가해야 합니다. 그런 다음 DeployAccount를 호출할 수 있습니다. 트랜잭션 서명 확인 L1 수수료 계산 개선: 저장된 상태 차이에 따라 수수료 계산 API: entry_point_type 트랜잭션 정보에서 필드 제거
Starknet v 0.10.0(22년 9월 5일)
이 릴리스에서는 Starknet 계정 추상화 설계의 다음 단계, 특히 확인/실행 분리를 소개합니다.
Starknet v 0.9.1(22년 7월 20일)
API 변경 스타넷 CLI
스타크넷 v 0.9.0(6.06.22)
첫 번째 레벨 제목
계정 정보
이더리움 계정 구조
이더리움에서는 개별 사용자 계정을 EOA(외부 소유 계정)라고 합니다.
EOA는 코드로 제어되지 않기 때문에 스마트 계약과 다릅니다. EOA는 개인 키와 공개 키 쌍으로 결정됩니다.
계정의 주소는 이 키에서 파생되며 개인 키를 소유한 사람만이 계정에서 트랜잭션을 시작할 수 있습니다. 이더리움 계약은 "수동적"입니다. 즉, 트랜잭션에서 호출될 때만 변경할 수 있지만 EOA는 트랜잭션을 시작할 수 있습니다.
단순성에도 불구하고 EOA에는 계정 동작에 유연성이 없다는 큰 단점이 있습니다. 이더리움 프로토콜은 EOA에 의해 시작된 트랜잭션이 유효한 시기(서명 체계가 고정됨)를 지시합니다. 특히 공개 키에 대한 제어는 계정에 대한 완전한 제어를 제공합니다. 이론적으로 이것은 안전한 계정 관리 방법이지만 실제로는 액세스할 수 있도록 하는 동안 시드 문구를 안전하게 유지해야 하고 지갑 기능의 유연성이 제한되는 것과 같은 몇 가지 단점이 있습니다.
EIP-4337은 유연성과 유용성을 개선하기 위해 Ethereum 네트워크의 전용 스마트 계약을 통해 모든 계정을 관리하는 계정의 추상화를 설명하는 Ethereum용 설계 제안입니다. 기본 EOA 기능 위에 사용자 지정 논리를 추가하여 Ethereum에 계정 추상화를 가져올 수 있습니다.
계정 추상화란 무엇입니까?
계정 추상화의 기본 개념은 프로토콜 수준에서 동작을 결정하는 대신 계정 관리에 더 많은 유연성을 허용하는 것입니다. 이는 계정 계약(사용자의 계정 동작을 결정하는 프로그래밍 가능한 논리가 포함된 스마트 계약)을 도입하여 달성할 수 있습니다.
계정 추상화를 사용하여 이제 계정 기능을 프로그래밍할 수 있습니다.
예를 들어 다음을 수행할 수 있습니다.
유효한 서명의 의미 또는 귀하의 계정이 상호 작용할 수 있는 계약을 결정하십시오. 이를 다른 토큰으로 거래 수수료를 지불하는 "서명 추상화"라고 합니다. 이를 "수수료 추상화"라고 하여 자체 재생 보호 메커니즘을 설계하고 관련 없는 여러 트랜잭션을 병렬로 보낼 수 있습니다. 트랜잭션을 본질적으로 순차적으로 만드는 이더리움에서 사용되는 순차 난스 솔루션과 비교해보세요. 두 트랜잭션을 병렬로 보내려는 경우에도 두 번째 두 트랜잭션을 보내기 전에 첫 번째 트랜잭션의 확인을 기다려야 합니다. 그렇지 않으면 유효하지 않은 논스로 인해 두 번째 트랜잭션이 거부될 수 있습니다. 계정 추상화를 사용하여 순차 난스 요구 사항을 우회하는 다양한 솔루션을 논의할 수 있습니다. 이를 "nonce 추상화"라고 합니다.
오늘날 Starknet은 서명 추상화를 제공합니다. 앞으로 Starknet은 현재 계정 추상화 설계를 풍부하게 할 것입니다.
계정 추상화를 사용하는 사용자 지정 계정 기능의 두 가지 예
소셜 복구는 지갑을 분실했을 때 선택한 소셜 네트워크를 통해 검색할 수 있는 프로세스로, 일반적인 지갑 복구 경험을 크게 향상시킵니다. 안면 인식을 통한 계정 조작 서명 추상화를 통해 휴대폰의 기본 하드웨어를 사용하여 트랜잭션에 서명할 수 있으므로 다른 사용자의 계정을 탈취하는 것이 사실상 불가능합니다(휴대폰 자체를 도난당하더라도).
이러한 예는 계정 추상화를 활용하여 사용자에게 보다 유연하고 안전하며 고도로 맞춤화된 지갑 및 계정 관리 경험을 제공하는 방법을 보여줍니다. 사용자 지정 논리를 작성함으로써 사용자는 자신의 필요와 선호도에 따라 계정 기능을 사용자 지정하여 보안을 강화하는 동시에 사용 편의성을 높일 수 있습니다.
Starknet 계정 계약에는 다음 두 가지 기능이 포함되어야 합니다.
validate
execute
이러한 기능은 계정 소유자만 거래를 시작할 수 있고 사용된 리소스에 대해 요금을 청구할 수 있도록 하는 다양한 목적을 가지고 있습니다.
Starknet의 계정 유형은 Ethereum의 EIP-4337에서 영감을 얻었습니다. 여기서 EOA(외부 소유 계정) 대신 이제 임의의 확인 논리가 있는 스마트 계약 계정을 사용합니다.
스마트 계약을 사용하면 계정 구현에서 완전한 유연성을 얻을 수 있습니다.
보조 제목
토큰 경제학:
토큰의 역할
거래 수수료:
현재 StarkNet의 수수료는 Ether(ETH)로 지불됩니다. 그러나 나중에 수수료가 모두 기본 StarkNet 토큰으로 지불될 것으로 예상합니다. 좋은 사용자 경험을 지원하기 위해 자동화되고 분산된 온체인 메커니즘을 통해 사용자는 ETH로 수수료를 지불할 수 있습니다.
약속:
StarkNet의 활성 및 보안에 중요한 특정 서비스는 StarkNet 토큰을 스테이킹해야 할 수 있습니다. 이러한 서비스에는 주문, L1 최종성에 도달할 때까지 임시 L2 합의, STARK 증명 서비스 및 데이터 가용성 프로비저닝이 포함될 수 있습니다.
통치:
StarkNet을 개선하기 위한 제안에는 나중에 정의되는 최소 토큰 지원 임계값이 필요합니다. StarkNet의 활성, 보안 및 유지 관리에 중요한 프로토콜에 대한 모든 변경 사항은 직접 또는 위임을 통해 투표해야 합니다. 예를 들어 StarkNet 운영 체제에 대한 모든 주요 업데이트에는 토큰 소유자의 승인이 필요합니다.
총량: 100억, 초기 토큰 할당: 토큰 경제학
17% — StarkWare 투자자
32.9% — 핵심 기여자: StarkWare와 그 직원 및 컨설턴트, StarkNet 소프트웨어 개발 파트너
StarkWare는 다음 목적을 위해 재단에 50.1%를 부여합니다.
9% — 커뮤니티 경품: 과거에 StarkEx L2 시스템을 사용했던 사람들과 같이 StarkNet에서 작업하고 기본 기술을 지원하는 사람들에게 보상하는 데 사용됩니다. 중요한 것은 모든 커뮤니티 피드가 과거에 수행된 검증 가능한 작업을 기반으로 한다는 것입니다. 예를 들어 과거 StarkEx 사용자의 경우 할당은 2022년 6월 1일 이전에 발생한 StarkEx 기술의 검증 가능한 사용을 기반으로 합니다.
9% — 커뮤니티 리베이트: Ethereum에서 StarkNet으로 이동하는 비용을 충당하기 위해 부분적으로 사용됩니다. 게임화를 방지하기 위해 커뮤니티 리베이트는 리베이트 메커니즘이 발표된 후에 발생하는 거래에만 사용할 수 있습니다.
12% — StarkNet 프로토콜의 연구 개발, 테스트, 배포 및 유지 관리를 위한 자금.
10% — 재단의 사명에 부합하는 생태계 활동에 자금을 지원하기 위한 전략적 준비금.
2% — StarkNet 토큰 보유자와 재단이 공동으로 결정한 대학, NGO 등과 같이 존경받는 기관 및 조직에 기부됩니다.
8.1% — 할당되지 않음: 재단의 할당되지 않은 재정 준비금은 StarkNet 커뮤니티를 추가로 지원하는 데 사용되며 구체적인 지원 방법은 커뮤니티에서 결정합니다.
핵심 기여자와 투자자의 장기적인 인센티브를 StarkNet 커뮤니티의 이익과 일치시키기 위해 분산형 생태계의 관행에 따라 핵심 기여자와 투자자에게 할당된 모든 토큰은 4년의 락업 기간이 적용됩니다. , 선형 릴리스 및 1년 절벽.
최종 사용자인 경우 현재 요구 사항을 충족하는 경우에만 StarkNet을 사용하십시오. StarkNet 토큰에서 미래의 보상을 기대하기보다는 귀하에게 중요한 트랜잭션 및 애플리케이션에 사용하십시오. 커뮤니티 피드가 발표되면 발표일 이전에 발생한 스냅샷만 포함되며, 당시 가용한 정보를 바탕으로 네트워크를 악용하고 조작하는 것으로 간주되는 사용은 필터링 및 제외됩니다. 커뮤니티 리베이트가 설정되면 리베이트가 발표되기 전에 발생한 거래에는 적용되지 않으므로 미래의 리베이트가 오늘 거래될 것이라고 기대하는 것은 무의미합니다.
위의 토큰 경제에 대한 요약 분석을 기반으로:
커뮤니티 공급의 처음 9%는 사용자에게 에어드롭될 수 있습니다. 즉, 사용자는 Starknet에서 일하고 기술 지원 및 개발을 제공하는 4억 5천만 명으로 나누어집니다.
두 번째 9% 커뮤니티 리베이트는 차후 리베이트 규칙 발표 후 수수료를 보조하는 데 사용되며, 규칙 발표 전에 수수료를 지불하는 것은 쓸모가 없습니다.
세 번째 10% 전략적 준비금은 체인의 생태적 적용에 사용되며 생태적 적용 프로토콜에 할당됩니다.
요약하다:
요약하다:
StarkWare는 zk 롤업 트랙에서 최고의 회사 중 하나이며 제품에는 StarkEX 및 StarkNet이 포함됩니다.
StarkEx는 dApp에 대한 기술 서비스를 제공하는 Layer 2 확장 엔진입니다.
StarkNet은 권한이 필요하지 않은 보다 일반적이고 완전한 Layer-2 솔루션입니다.
80명 이상의 팀원이 있으며 핵심 구성원은 매우 눈길을 끕니다.Eli Ben-Sasson은 Zcash의 창립 과학자이자 zkSNARKs의 발명가입니다.그는 ZK-Rollup 분야에서 매우 깊은 연구와 영향력을 가지고 있으며, 현재 가치는 80억에 달하고 Paradigm, Pantera, polychain, Vitalik과 같은 상위 VC와 개인이 StarkWare의 자본입니다.
생태적 적용 측면에서 카이로 언어를 사용하기 때문에 EVM과 호환되지 않아 생태 발전의 진행이 상대적으로 더디겠지만, 현재는 카이로 1.0으로 전환을 시작하며 더 높은 TPS를 향해 발전하고 있다. 그래서 현재 응용 프로그램 경험이 그다지 순조롭지 않고 기술과 현실 사이에는 여전히 격차가 있습니다.앞으로 Starknet이 더 발전하기를 바랍니다.
