원편집자: Biteye 핵심 기여자 Crush

원편집자: Biteye 핵심 기여자 Crush

Arbitrum 에어드랍의 부의 효과는 L2에 대한 시장의 신뢰에 불을 붙였고 아직 발행되지 않은 L2를 배치했습니다. 그리고 80억 달러의 높은 가치를 지닌 StarkWare가 자연스럽게 주목을 받고 있습니다.

보조 제목

01 STARKs, StarkEx, StarkNet

1.1 STARKs

STARKs（Scalable,투명한 ARgument of Knowledge)는 계산을 증명하고 검증할 수 있는 증명 시스템으로, 이더리움의 확장성을 향상시키는 것을 목표로 합니다.

대규모 계산을 온체인에서 오프체인으로 이동하여 비용을 줄이고 계산의 정확성에 대한 증명을 생성한 다음 온체인에서 작은 계산을 수행하여 증명을 확인할 수 있습니다. 즉, 검증자는 체인에서 매우 적은 작업을 수행하여 체인 외부에서 완료된 계산의 무결성을 판단할 수 있습니다.

L2는 STARK 기술을 사용하여 수천 건의 계산을 위해 여러 트랜잭션을 함께 패키징한 다음 단일 STARK 증명을 사용하여 체인에서 유효성을 확인합니다.

이 배치의 모든 트랜잭션은 온체인 처리 비용을 공유하므로 이더리움의 보안을 상속하면서 가스 비용을 줄이고 사용자 경험을 향상시킵니다. 이 모델은 공유택시 이용자들이 요금을 공유하는 것과 유사하다.

SNARK(Succinct, Non-Interactive, Argument, Knowledge)는 간결한 비대화형 증명입니다. STARK와 SNARK는 모두 ZK 롤업 솔루션입니다.

이미지 설명

(출처: SUSS NiFT, ChatGPT)

SNARK와 비교할 때 STARK는 다음 세 가지 장점이 있습니다.

1. 불신

STARK는 공개적으로 검증 가능하고 무작위로 SNARK의 신뢰할 수 있는 설정을 대체하여 참여자에 대한 의존도를 줄이고 프로토콜 보안을 개선합니다.

2. 확장성 강화

STARK는 검증의 대수 압축 특성을 가지고 있으며, 기본 계산의 복잡성이 기하급수적으로 증가하더라도 STARK는 SNARK와 같은 선형 성장이 아닌 여전히 낮은 증명 및 검증 시간을 유지합니다.

3. 더 높은 보안 보장

STARK는 양자 컴퓨팅 공격에 강한 충돌 방지 해시 값을 사용하여 암호화됩니다.

그러나 STARK의 증명 크기는 SNARK보다 크므로 L2 거래량이 적을 경우 증명 비용을 분담하기 어려워 확인 지연이 크게 발생합니다. 그러나 규모가 커진다는 것이 증명되면 STARKT를 사용하는 한계 비용이 줄어들어 대규모 응용 프로그램에 적합합니다. 또한 SNARKs에 비해 현재 STARKs의 채택률이 미흡하여 기본 도구의 개선이 필요하다.

이미지 설명

(출처: SUSS NiFT, ChatGPT)

보조 제목

1.2 StarkEx

StarkEx는 승인된 애플리케이션별 맞춤형 확장 솔루션 프레임워크입니다. 프로젝트는 StarkEx를 사용하여 저비용 오프 체인 계산을 수행하고 STARK 증명을 생성하여 실행 정확성을 증명할 수 있습니다.

이러한 증명에는 12,000 – 500,000개의 트랜잭션이 포함됩니다. 마지막으로 증명은 체인의 STARK 유효성 검사기로 전송되고 검증이 올바른 후 상태 업데이트가 수락됩니다.

StarkEx는 3가지 데이터 저장 방법을 제공합니다. ZK-Rollup 모드에서 데이터는 체인에 저장되어 데이터를 분산화하고 사용자가 쉽게 추적하고 감독할 수 있습니다.

그러나 체인에 데이터를 게시하는 비용이 높습니다. Validium 모드에서 데이터는 오프체인에 저장되며 비용이 저렴하고 데이터를 공개적으로 노출하지 않습니다.

그러나 데이터가 적절하게 처리되는지 감독하려면 데이터 가용성 위원회가 필요합니다. Volition은 사용자가 데이터를 온체인 또는 오프체인에 둘지 선택할 수 있는 하이브리드 데이터 가용성 모델입니다.

StarkEx에 배포된 애플리케이션에는 영구 옵션 dYdX, NFT L2 Immutable, 스포츠 디지털 카드 거래 마켓플레이스 Sorare 및 다중 체인 DeFi 애그리게이터 rhino.fi가 포함됩니다.

보조 제목

1.3 StarkNet

StarkNet은 누구나 카이로 언어로 개발된 스마트 계약을 배포할 수 있는 무허가형 L2입니다. StarkNet에 배포된 계약은 서로 상호 작용하여 새로운 구성 가능한 프로토콜을 구축할 수 있습니다.

응용 프로그램이 트랜잭션 제출을 담당하는 StarkEx와 달리 StarkNet의 주문자는 트랜잭션을 일괄 처리하고 처리 및 증명을 위해 보냅니다.

보조 제목

1.4 Cairo

Cairo는 STARK가 일반적인 컴퓨팅 커스터마이제이션을 증명하기 위해 사용하는 프로그래밍 언어로, EVM의 제한 없이 코드 개발, 검토 및 유지를 더 간단하고 빠르게 할 수 있습니다. 그리고 게임 개발에서 그것은 또한 더 유연하고 전체 체인에서 게임을 지원합니다.

보조 제목

1.5 SHARP(공유 증명자) 공유 증명자

첫 번째 레벨 제목

02 스타크넷 경제 모델

StarkWare는 오프체인에서 100억 개의 StarkNet 토큰을 발행했습니다. 그러나 이러한 토큰은 StarkWare의 지분을 나타내지 않으며 StarkWare에 참여할 권리를 제공하거나 StarkWare에 대해 청구할 권리를 부여하지 않습니다.

StarkNet 토큰은 가스 수수료를 지불하기 위한 기본 토큰으로 사용할 수 있습니다.ETH를 사용하여 가스 수수료를 지불하는 다른 L2와 비교할 때 StarkNet 토큰은 생태적 가치를 더 잘 포착하고 외생 토큰인 ETH의 영향을 줄일 수 있습니다.

이미지 설명

(출처: 스타크웨어.https://medium.com/starkware/part-3-starknet-token-design-5cc17af066c6 )

StarkNet은 개발자와 이전 StarkEx 사용자에게 분명히 보상하지만 StarkNet 사용자가 에어드랍을 받았는지 여부는 명확하지 않습니다. 초기 토큰 배포에서 토큰의 8.1%는 커뮤니티에서 결정한 방식으로 사용되지 않았습니다.

첫 번째 레벨 제목

03 스타크웨어 파이낸싱

이미지 설명

(출처: 크런치베이스, SUSS NiFT)

2022년 7월에 Alameda Research는 950만 달러를 추가로 투자할 예정입니다. 하지만 알라메다 리서치는 2022년 11월 파산했고, 이 투자를 받았는지는 의문이다.

이미지 설명

첫 번째 레벨 제목

보조 제목

Eli Ben-Sasson

Eli는 StarkWare의 공동 설립자이자 사장이며 이사회 의장입니다.

2001년 히브리 대학에서 이론 컴퓨터 과학 박사 학위를 받은 이후로 그는 계산 무결성에 대한 암호화 및 영지식 증명 작업을 해왔습니다.

Eli는 STARK, FRI 및 Zerocash 프로토콜의 공동 발명가이자 Zcash Company의 창립 과학자입니다. 수년에 걸쳐 그는 프린스턴 고등연구소, 하버드 대학교, 매사추세츠 공과대학에서 연구직을 역임했습니다.

보조 제목

Uri Kolodny

Uri는 StarkWare의 공동 창립자이자 CEO이며 이사회 구성원입니다.

그는 히브리 대학교에서 컴퓨터 과학 학사(우등)를, MIT 슬론 경영 대학원에서 MBA를 취득했습니다. Uri는 빅 데이터 시각화를 위한 도구를 개발하는 Mondria를 비롯한 여러 기술 회사를 공동 설립한 연쇄 창업가입니다.

첫 번째 레벨 제목

05 경쟁사

이미지 설명

(출처: SUSS NiFT)

자료 출처: (2023.4.21)

1. https://dune.com/gm 365/L2

2. https://www.coingecko.com/

3. https://defillama.com/

Optimism과 Arbitrum은 개발이 덜 어려운 낙관적 롤업을 채택하고 이미 상대적으로 완전한 생태계를 갖추고 있어 많은 자금과 사용자를 유치하고 있으며 GMX 및 Gains Protocol과 같은 우수한 L2 기본 프로토콜도 있습니다.

비탈릭은 ETH서울에서 옵티미스틱 롤업이 더 많이 개발되었지만 ZK 롤업 기술의 기반은 결국 옵티미스틱 롤업을 대체할 수 있을 것이라고 말했다. ZK 롤업은 더 빠르지만 EVM(Ethereum Virtual Machine)이 없기 때문에 dApp 실행이 어렵습니다. EVM은 dApp의 주요 처리 장치이기 때문입니다. 그래서 ZK 기반 Rollups는 EVM 호환 솔루션을 개발하고 있습니다. 개발 프로세스가 느리면 ZK 롤업이 선점자 우위를 잃고 낙관적 롤업이 왕좌에 굳건히 남을 수 있습니다. 이것은 이더리움과 다른 L1 간의 경쟁과 유사합니다 이더리움의 성능이 최고는 아니지만 선점자 이점으로 가장 많은 자금과 최고의 개발자를 단단히 흡수합니다.

이미지 설명

(출처: Messari, SUSS NiFT)

Type-1은 ETH와 동일하며 EVM 인프라를 100% 원활하게 사용하지만 증명 프로세스가 느립니다. Taiko는 영지식 증명이 생성되기 전에 최종성을 신속하게 확인하여 이러한 단점을 완화합니다.

구체적인 방법은 과거 상태 X가 유효하고 X 이후 계정 A에서 거래가 없다는 것을 증명하는 것이므로 사용자는 상태 X에서 자신의 토큰을 인출할 수 있습니다. 현재 탈중앙화 증명 및 프로토콜 경제학은 alpha-2에서 테스트되었으며 126개의 독립적인 증명자가 있고 93,146개의 블록이 증명되었으며 증명 시간은 130~160초입니다.

Taiko는 현재 알파-2를 더 이상 사용하지 않으며 2분기에 알파-3를 출시할 예정입니다. 동등성을 달성하는 Type-1 zkEVM의 타협하지 않는 복잡성으로 인해 올해 메인넷이 없을 수 있습니다.

Type-2 EVM과 동일하며 Type-1보다 속도 향상을 보여주지만 여전히 느립니다. Type 2는 Linea의 목표인 Scroll인 Polygon zkEVM이 달성되었습니다.

Polygon zkEVM 메인넷의 베타 버전은 예정대로 3월 27일에 출시되었습니다. 메인넷 베타의 첫 번째 단계에서 전담 보안 위원회가 Polygon zkEVM을 신속하게 업그레이드할 수 있습니다. 두 번째 단계에서는 문제가 발생할 경우 사용자를 보호하기 위한 일련의 조치가 있을 것입니다. 단, 액세스 권한이 있는 보안 위원회 없이 더 높은 수준의 탈중앙화를 적용해야 합니다.

Gas Fee는 ETH로 지불되며 Polygon zkEVM의 서약 및 거버넌스는 향후 MATIC 토큰을 사용할 것으로 예상됩니다. 수수료.

스크롤과 이더리움 재단은 zkEVM을 오픈 소스로 공동 개발했으며, 이는 병렬 컴퓨팅과 증명을 채굴자에게 아웃소싱하여 증명 시간을 단축할 것입니다. 스크롤은 알파 테스트넷 단계로 크로스체인과 트랜스퍼가 가능하며 2달간 아무 문제 없이 운영되고 있으며 2분기 메인넷 런칭을 앞두고 있다.

3월 28일, ConsenSys는 ConsenSys zkEVM의 리브랜딩을 Linea로 발표했으며 현재 모든 개발자, 사용자 또는 프로토콜에 대한 테스트를 위해 열려 있습니다. Linea는 MetaMask 및 Truffle과 같은 기본 통합을 통해 EVM 동등성과 영지식 증명을 결합하여 개발자에게 ZK 기술 전문 지식 없이도 유연성과 확장성을 제공합니다.

Linea는 코드에 취약성이 있을 때 다중 서명이 특정 결과를 적용할 수 있는 다중 인증자 시스템을 사용합니다. 이 시스템을 통해 롤업은 보안 수준이 다른 여러 증명 메커니즘을 활용하여 단일 증명자 롤업에 존재하는 단일 실패 지점 위험을 제거합니다.

Type-3은 거의 EVM과 동일하며 더 빠르게 증명할 수 있지만 일부 앱은 재개발해야 합니다. 유형 3은 스크롤이 현재 있는 전환 단계입니다. Kakarot은 카이로에서 작성된 zkEVM으로 EVM 바이트코드에 대한 인터프리터로서 결국 StarkNet에서 L3가 될 수 있으며 현재 Type-3으로 분류됩니다.

Type-4,Solidity와 같은 고급 언어로 작성된 스마트 계약 소스 코드를 ZK-SNARK 친화적인 언어로 컴파일합니다. 빠르지만 호환성이 좋지는 않습니다.

zkSync Era는 라이브이며 일반 사용자에게 공개됩니다. 현재 zkSync 가스 요금을 공유하는 사용자가 많지 않아 상호 작용 비용이 상대적으로 높으며 일부 프로젝트 당사자는 가스 요금을 보조했습니다. Arbitrum 에어드랍의 부의 효과로 인해 커뮤니티 사용자 상호 작용이 열광적이지만 현재 zkSync에는 대부분 Tugou 프로젝트가 있으며 많은 러그 풀 사건이 발생했습니다.

StarkNet은 Solidity to Cairo 컴파일러로 Warp를 사용합니다. StarkNet은 현재 orderer와 prover를 분산시키는 유일한 zkEVM입니다. 그러나 StarkNet은 사용자가 적은 양의 상호 작용을 경험하고 작업 실행에 실패하는 경우에만 적합한 프로덕션 수준 버전을 아직 출시하지 않았습니다.

Vitalik은 Optimistic과 ZK의 하이브리드 모드도 제안했습니다. zkEVM이 성숙되기 전에 블록체인을 해제하고 24시간을 기다리십시오.Fraud 문제가 없으면 영지식 증명을 발행하여 블록을 확인합니다. 문제가 있는 경우 거버넌스를 도입하고 2/3 모델을 통해 판결합니다.

첫 번째 레벨 제목

06 요약

StarkNet은 STARK 기반의 Rollup 경로를 채택하고 있으며, 이 솔루션은 탈중앙화, 무신뢰성, 검열 방지 측면에서 다른 솔루션에 비해 분명한 장점이 있지만 아직 미숙한 개발 도구로 인해 개발이 매우 어렵습니다. 개선할 수 있습니다.

또한 스타크넷은 기관 투자자들의 지지를 받기는 했지만 아직은 시범 단계에 있으며 완전히 성숙되지는 않았습니다. StarkNet의 다음 단계의 초점은 현재 Python이 개발하고 있는 시퀀서를 Rust가 개발할 것으로 업그레이드하여 블록체인의 성능을 향상시키는 것입니다.

또한 생태계에서 프로젝트의 풍부함과 성숙도를 향상시키는 것입니다. 암호화 네이티브 사용자는 생태계에서 프로젝트를 경험할 수 있지만 프로젝트의 위험에 주의를 기울여야 하며 참여를 선택하기 전에 충분한 위험 평가를 수행해야 합니다.

StarkNet은 양자 저항성이지만 확장을 위한 최종 게임이 될지 여부는 여전히 남아 있습니다. 따라서 스타크넷의 향후 발전에 대해 지속적으로 관심을 갖고 평가할 필요가 있다.

블록체인의 보안은 전체 생태계의 최우선 순위이며 기본 기본 레이어의 보안을 무시하거나 타협하거나 타협해서는 안되며 그렇지 않으면 전체 생태계와 원장이 사용자의 신뢰를 잃게 됩니다.

따라서 베이스 레이어의 설계에 있어서 에너지 소모가 크더라도 가장 안전한 합의 알고리즘을 선택하는 것이 필요하다. 이 문제는 나스닥에 상장된 Irish Energy Limited가 개척한 것과 같은 재생 에너지 채굴을 채택함으로써 해결할 수 있습니다.

대조적으로, 두 번째 계층은 더 큰 효율성과 유연성을 위해 더 중앙 집중화될 수 있습니다. 하위 계층이든 상위 계층이든 전체 생태계의 안전과 신뢰성을 보장하기 위해 합리적인 설계 원칙을 따라야 합니다.

Ethereum 기본 계층의 보안에 의존하는 모든 두 번째 계층 또는 응용 프로그램은 보안이 손상되지 않도록 기본 계층의 합의 알고리즘을 완전히 신뢰해야 합니다. 이것은 커뮤니티가 직면한 가장 큰 시스템적 위험일 수 있습니다.

부인 성명:

이 기사는 콘텐츠 향상을 위해 ChatGPT를 사용합니다. ChatGPT는 고급 기술로 훈련되고 인간이 이해할 수 있는 언어를 생성할 수 있는 인공 지능 언어 모델입니다. 위의 StarkNet 분석 내용은 독자의 이해와 학술 연구만을 위한 것이며 어떠한 투자 조언도 구성하지 않습니다.

아무도 이것을 투자 결정의 유일한 참고 자료로 사용해서는 안 되며, 이를 기반으로 거래 작업을 수행해서는 안 됩니다. 이 문서에 포함된 정보는 정확하고 완전하며 적시성 또는 적용 가능성을 보장하지 않으며 독자는 스스로 평가하고 이로 인해 발생하는 위험을 감수해야 합니다.

저자, 게시자 또는 관련 당사자는 이 기사를 기반으로 독자가 내린 결론이나 결정으로 인해 발생하는 손실이나 손해에 대해 책임을 지지 않습니다. 독자는 투자를 하기 전에 전문 고문과 상의하거나 자신의 독립적인 판단에 따라 결정을 내려야 합니다.