StarkWare 이해: dYdX 및 iMMUTABLE의 레이어 2 솔루션 제공업체

特邀专栏作者

2021-11-02 03:52

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

StarkWare는 최첨단 기술과 완벽한 기술 서비스를 통해 Layer 2 응용 프로그램의 막대한 거래량을 지원했으며, 앞으로 StarkWare는 오픈 소스를 수용하고 더 많은 탈중앙화를 달성하여 Ethereum 2.0 구축

작성자: msfew@Foresight Ventures

스타크웨어 소개

StarkWare는 주로 블록체인의 확장성과 프라이버시를 해결합니다 StarkWare는 STARK 기술을 사용하여 zk-Rollups 및 Validium 모드를 통해 계산 무결성 증명을 생성하고 검증하여 Volition을 형성하는 완전한 솔루션을 개발했습니다. 지식, 단순성, 투명성 및 양자 이후 보안 StarkWare가 개발한 제품은 주로 StarkNet, StarkEx, Cairo입니다.

확장성

확장성
StarkWare를 사용하면 클라우드에서 오프체인 증명자가 생성한 다음 온체인 스마트 계약에 의해 확인되는 암호화 증명에 의존하여 블록체인을 대규모로 확장할 수 있습니다.
은둔
사용자 경험
사용자 경험
iMMUTABLE과 dYdX의 사례를 통해 우리는 StarkWare에서 제공하는 솔루션의 강력한 확장성을 경험할 수 있습니다.DiversiFi의 지불 TPS는 18k에 도달할 수 있으며 iMMUTABLE의 NFT 캐스팅 수수료는 0.2센트에 불과하며 dYdX의 거래 수수료는 감소합니다. 1/50로 .두 번째 확인, 수수료 비율은 거의 0이며 우수한 사용자 경험을 제공합니다.

중요한 단계

2018: STARK 백서 발표, Ethereum Foundation Grant

2019: 첫 번째 데모 출시(이더리움 효율성 200배 확장), 스타크엑스 알파 테스트 네트워크 출시, 두 번째 데모 출시(이더리움 효율성 700배 확장)

2020: DeversiFi(StarkEx 1.0) 메인 네트워크 출시, VeeDo(Stark 기반 VDF) 메인 네트워크 출시, StarkEx Rollup 메인 네트워크 출시, ethSTARK 출시, Cairo(STARK용 튜링 완전 언어) 및 PlayGround 출시 Ziggy STARK( 이후 Quantum Safe Security Signature) 출시, StarkEx 2.0 출시 메인넷

2021: StarkNet 발표, dYdX 및 Immutable X(두 StarkWare 고객) 프로젝트 출시 메인넷

iMMUTABLE 및 스타크웨어

iMMUTABLE은 최초의 Layer 2 NFT 거래 플랫폼입니다.Tik Tok은 지난 9월 iMMUTABLE과 협력하여 일련의 NFT를 출시했습니다.

이더리움의 로컬 처리량은 초당 4개의 트랜잭션으로 제한되어 있기 때문에 확장하려는 모든 DApp은 제한됩니다.NFT의 경우 처리량 병목 현상은 일반 토큰보다 훨씬 큽니다. NFT를 사용하면 실제로 1,000개의 토큰이 블록체인을 소비합니다.자원 iMMUTABLE은 Ethereum의 기본 솔루션을 사용하여 Ethereum의 보안, 개발 도구 및 네트워크 효과를 즐기기를 희망하므로 StarkWare에서 제공하는 솔루션을 채택합니다.

StarkWare가 제공하는 솔루션의 고유한 기능 중 하나는 zk-Rollups 또는 Validium과 같은 여러 데이터 가용성 모드에서 배포할 수 있는 기능입니다. 둘 다 유효성 증명을 기반으로 하지만 zk-Rollups에서는 모든 데이터가 온체인에 있습니다. Validium에서는 데이터가 오프체인에 보관되고 최신 상태만 제출되며 상태의 유효성 증명이 온체인에 제출됩니다.iMMUTABLE은 Validium 모드로 시작하여 낮은 가스 요금을 제공합니다.정책 및 규정 규정 규정, 데이터 가용성 위원회(DAC)는 사용자가 항상 자신의 데이터에 액세스할 수 있도록 보장하므로 iMMUTABLE은 Volition의 새로운 데이터 가용성 모델로 전환하여 사용자가 데이터가 저장되는 위치를 온체인(zk-Rollups)으로 선택할 수 있습니다. 또는 오프 체인(Validium) 동시에 이 접근 방식은 성능 확장을 극대화합니다.

Tik Tok과 iMMUTABLE의 협력 블로그 게시물에서 Tik Tok은 StarkWare가 최초의 탄소 중립 L2 확장 솔루션이라고 구체적으로 언급했습니다.전통적인 인터넷 회사의 관점에서 볼 때 환경 보호는 매우 중요합니다.따라서 L2의 고성능 및 자원 절약 기능은 또한 전통적인 인터넷 회사의 관심을 끌 수 있으며 암호화폐 분야에 공개적으로 진입할 수 있는 길을 열어줍니다.

StarkWare가 iMMUTABLE에 제공한 솔루션은 마침내 현재 가장 인기 있는 회사인 Tik Tok이 협력을 위해 iMMUTABLE을 찾을 수 있도록 했습니다.StarkWare가 제공하는 두 가지 배포 모드는 고객에게 규정을 준수할 뿐만 아니라 데이터 저장 방법의 유연성을 제공합니다. 성능을 향상 확장할 수 있습니다.더 중요한 것은 성능의 확장은 논쟁의 여지가 있는 이더리움의 에너지 소비 문제도 해결했습니다.이것은 Layer 2와 StarkWare의 승리가 될 것입니다.앞으로 우리는 확실히 더 많은 전통적인 기업이 이더리움을 선택하고 StarkWare가 블록체인 분야에 진출합니다.

StarkWare 응용 프로그램이 왜 그렇게 고성능입니까?

StarkWare의 Prover에는 StarkWare가 처음 제안한 다양한 수학적 최적화와 일부 최적화 알고리즘이 있으며 개발에 사용되는 Cairo 언어에는 특수한 수학 관련 최적화가 있습니다. 또한 양방향 데이터를 Prover로 보내기 전에 StarkEx 엔진을 사용하여 증명할 데이터와 일괄 처리를 조정합니다.전체 작업 프로세스는 전체 범위에 최적화되어 있습니다.자세한 내용은 나중에 논의됩니다.

StarkWare 애플리케이션은 얼마나 분산되어 있습니까?

StarkWare의 StarkNet에 대한 합의는 zk-STARK입니다. zk-Rollup은 반드시 탈중앙화되어 있지 않고 접근 제한이 없습니다. 하지만 StarkWare에서 사용하는 zk-STARK는 이더리움과 같은 퍼블릭 체인과 마찬가지로 접근 제한이 없습니다. 중간 과정에서 StarkWare에서 만든 응용 프로그램에는 일부 서비스를 제공하는 중앙 집중식 서버가 있을 것입니다. 그러나 이것은 필요하며 완전한 응용 프로그램 개발에서 제거할 수 없습니다. uniswap과 마찬가지로 중앙 집중식 도메인 이름과 프런트 엔드가 있어야 합니다. 그래서 dYdX , StarkWare에서 만든 StarkNet 등은 여전히 분산되어 있습니다.

zkSync 대 스타크웨어

현재 StarkWare는 성능 및 현재 운영 상태 측면에서 zkSync보다 앞서 있습니다.zkSync와 StarkWare의 가장 큰 차이점은 운영 개념입니다.zkSync의 프로젝트는 모두 오픈 소스이며 팀에서 공개한다고 해도 상관 없습니다. 커뮤니티와 이더리움의 발전을 촉진할 수 있는 한 교체 StarkWare는 toB 중앙 집중식 운영 모드 STARK Prover는 현재 StarkWare에서만 사용할 수 있으며 카이로는 실제로 이더리움 생태계에 그리 유익하지 않습니다(친절한 개발자에게) 접근 방식은 zkSync 또는 Optimistic과 같은 EVM 호환이어야 합니다.

zk-롤업 및 STARK 증명

StarkWare에서 사용하는 기술에는 zk-Rollups와 zk-STARK가 있습니다.
Zk-Rollups가 솔루션에서 반드시 사용되는 것은 아니기 때문에 StarkWare는 해당 솔루션을 Validity Rollups라고 부르는 경향이 있습니다.
https://immutablex.medium.com/eli5-nft-scaling-solutions-b1de4ad82461

STARK는 개발자가 컴퓨팅 및 스토리지를 오프체인으로 이동할 수 있도록 하여 확장성을 향상합니다.오프체인 서비스는 오프체인 컴퓨팅의 무결성을 증명하는 STARK 증명을 생성할 수 있습니다.이러한 증명은 모든 이해관계자의 검증을 위해 다시 온체인에 배치됩니다. 계산: STARK를 사용하여 대부분의 계산 작업을 오프체인으로 이동하여 계산 무결성을 유지하면서 기존 블록체인 인프라를 기하급수적으로 확장할 수 있습니다.

이더리움 데이터 체이닝의 일반적인 프로세스: 이더리움의 각 노드에 1000개의 트랜잭션 전송 → 각 노드가 1000개의 트랜잭션을 읽음 → 노드가 1000개의 트랜잭션 업데이트

zk-STARK 데이터 온체인 프로세스: 1000개의 트랜잭션이 zk-STARK로 전송됨 → zk-STARK가 증명자 역할, 1개의 인증서 생성(* 생성 단계) → 노드가 인증서를 검증자로 읽고 업데이트

*생성 단계: 일반적으로 zk-STARK 증명은 증명을 생성하기 위해 다음과 같은 과정이 필요합니다. Generate FRI(2017년 StarkWare Co-Founder가 작성한 논문에서 증명을 위한 최적화 방법) 테스트를 통과한 후 암호화 알고리즘을 거쳐 확장 가능한 개방적이고 투명한 지식 인수(즉, STARK)를 출력하는 것입니다. 안전하고 신뢰할 수 있는 환경과 최적화된 알고리즘을 통해 신뢰할 수 있는 고성능 증명을 생성합니다.

다른 L2 체계와 비교한 zk-Rollups

엄밀히 말하면 많은 StarkWare 문서에서 사용되는 zk-Rollups라는 용어는 반드시 영지식 증명을 사용하는 것은 아니며 올바른 설명은 Validity Proofs(StarkWare가 두 가지 모드를 제공하기 때문에 zk-Rollups 및 Validium 포함)입니다. 이 기사에서는 StarkWare 문서에 따라 관련 표현을 zk-Rollups로 지칭합니다.
https://twitter.com/EliBenSasson/status/1453260406357729288
사이드체인(Polygon 또는 xDai)
장점: 사용자가 많은 트랜잭션을 수행하더라도 메인체인에서는 입출금 2가지 일만 발생하며, 사이드체인에서의 트랜잭션 비용이 이더리움 자체보다 낮기 때문에 확장성을 얻을 수 있습니다.
주 채널
주 채널
장점: 상태 채널의 예로 라이트닝 네트워크가 있습니다. 상태 채널은 참가자가 장기간에 걸쳐 많은 수의 상태 업데이트를 교환할 때 유용합니다. 그들 사이의 상태는 채널 내에서만 발생하기 때문에 강력한 개인 정보 보호가 가능합니다. 즉각적입니다. 최종성, 끝나 자마자 즉시 끝납니다.
단점: 상태 채널은 유효성에 크게 의존하며 특정 참가자 집합이 있는 애플리케이션에 더 적합합니다.
Plasma
장점: 플라즈마는 각 NFT가 고유한 ID를 가지고 있기 때문에 NFT를 처리하는 데 매우 적합합니다. 사이드체인의 문제점 중 하나는 합의 메커니즘이 블록 생성을 중지하거나 사용자 자금을 잠글 수 있다는 것입니다. 플라즈마 사용자는 블록 루트를 호출할 수 있습니다. 합의 메커니즘이 블록 생성을 중지하더라도 사용자는 여전히 이더리움에서 자금을 요청할 수 있습니다.
단점: 많은 사용자가 동시에 플라즈마 체인을 종료하면 루트 체인을 압도하고 네트워크를 정체시킬 수 있습니다.사기 활동이나 사이버 공격과 같은 것들이 이러한 대규모 이탈을 유발할 수 있습니다.또 다른 단점은 복잡성이 부족하여 사용자가 할 수 없습니다. 전체 이더리움 환경을 시뮬레이션하면서 사이드체인에서 가능한 것과 동일한 유형의 복잡한 작업을 수행합니다.
zk-Rollups
장점: 전송당 비용이 낮음 플라즈마 및 낙관적 롤업보다 빠름 데이터가 적을수록 처리량과 확장성이 높아짐 단점: 초기 설정이 분산되지 않음(STARK에 초기 설정 없음), 양자 컴퓨팅이 향후 해킹 위협에 노출될 수 있음(STARK는 Quantum에 저항할 수 있음) 컴퓨터)

다양한 L2 솔루션을 비교한 결과 zk-Rollup이 블록체인 업그레이드 및 확장에 가장 근접한 완벽한 솔루션일 수 있음을 알 수 있으며 동시에 zk-Rollup의 몇 가지 단점은 StarkWare fix로 채택된 zk-STARK에서 발견될 것입니다.

STARK와 다른 ZK의 성능 비교

ZK 증명에는 주로 SNARK, STARK, Bulletproof의 세 가지 유형이 있습니다. 매우 크지만 계산 크기와 증명 속도에서 큰 장점을 가지고 있으며 동시에 STARK는 보안성이 더 높고 양자 공격에 저항할 수 있습니다.

첫 번째 레벨 제목

StarkNet

StarkNet Alpha는 11월에 이더리움 메인넷에서 출시됩니다.

소개 https://voyager.online

소개

StarkNet은 이더리움에서 범용 컴퓨팅을 지원하는 분산형, 무허가형 및 검열 방지 L2 zk-Rollup입니다.Turing-complete Cairo 언어를 기반으로 합니다.개발자는 앱 비즈니스 로직을 구현하는 애플리케이션을 구축하고 StarkNet에 배포할 수 있습니다.사용자는 다음을 수행할 수 있습니다. 일반 이더리움 트랜잭션과 동일한 방식으로 실행을 위해 StarkNet에 트랜잭션을 전송합니다.StarkNet 노드와 참가자는 네트워크가 효율적이고 공정하게 작동하도록 경제적으로 인센티브를 받습니다.

모든 StarkNet 트랜잭션은 정기적으로 일괄 처리되며 트랜잭션은 STARK 증명에서 증명되고 최종적으로 Ethereum에서 확인됩니다.STARK 증명을 확인하는 데 필요한 계산 노력은 Ethereum 증명보다 기하급수적으로 작기 때문에 StarkNet은 Ethereum을 몇 배로 확장할 수 있습니다. 모든 StarkNet 상태 전환이 STARK에 의해 확인되기 때문에 Ethereum은 최종 유효한 상태 전환만 수락합니다.

주요 기능: 성능 확장성, 개발 편의성 및 이더리움 생태계를 위한 결합성.

네트워크 생태계

프로그래밍 언어 Cairo: Cairo는 STARK 증명을 생성하는 데 사용할 수 있는 Turing-complete 고급 프로그래밍 언어 및 프레임워크입니다.개발자는 Cairo를 사용하여 모든 비즈니스 로직을 정의하고 Shared Prover Service에 트랜잭션을 전송하여 로직 오프체인을 검증할 수 있습니다. 체인에 대한 유효성 검사 Cairo는 메인넷에서 공식 프로젝트를 개발할 준비가 되어 있으며 개발자가 사용할 수 있습니다.
Off-chain 검증 서비스 Shared Prover Service: 트랜잭션이 체인에 업로드되기 전에 트랜잭션이 검증을 위해 Sharp로 전송되어 응용 프로그램 실행의 무결성을 판단하고 공유 증명 검증을 위한 가스 요금을 계산합니다.
오픈 소스 증명자 ethSTARK: ethSTARK는 영지식 및 사후 양자 보안 서명을 제공합니다. ethSTARK는 메인 네트워크의 증명에서 300,000건의 트랜잭션을 처리했으며 TPS는 3,000에 도달했습니다. Rollup 가스 효율성도 세계 기록을 깨고 315 gas/tx에 도달했습니다. , L1의 이더리움 트랜잭션보다 훨씬 저렴합니다.이 기술은 StarkNet의 분산 개념 증명 계층의 초석입니다.
사용 사례

사용 사례

DeversiFi: 거래 TPS 9k, 결제 TPS 18k.
iMMUTABLE: NFT 채굴 가스 0.2센트, 일일 L2 거래 > 주간 L1 거래.
소개

StarkEx

소개

StarkEx는 STARK를 사용하는 응용 프로그램을 지원하기 위해 구성 요소를 구성하는 저수준 엔진과 같습니다.

StarkEx는 2020년 6월부터 이더리움 메인넷에 배포된 생산 준비 L2 확장성 엔진입니다. 영구 거래, NFT 채굴 및 거래 5천만 건 이상의 StarkEx 거래가 메인넷 배포 전에 퍼블릭 및 프라이빗 이더리움 테스트넷에서 해결되었습니다.

특징

확장성 및 계산 무결성 응용 프로그램은 확장을 위해 StarkEx 및 기본 STARK 인프라에 의존할 수 있으며 StarkEx는 계산 무결성을 보장합니다.SHARP(Shared Prover) 기술을 통해 가스 비용은 모든 StarkEx 기반 응용 프로그램에서 상각됩니다.
다양한 배포 모드 StarkEx는 zk-Rollups 모드(체인에 데이터 게시) 또는 Validium 모드(사이드 체인을 통해 데이터 가용성 확인)를 배포할 수 있습니다.다음 모드인 Volition도 있습니다. 이 모드에서는 사용자가 데이터 가용성 모드를 선택할 수 있습니다.
월렛 통합 StarkWare는 Ledger, Authereum 및 WalletConnect를 통해 기본 지원을 제공합니다. StarkWare는 또한 Web3 호환 키 생성을 통해 MetaMask 통합을 제공합니다(다른 많은 기존 지갑과 함께 작동).

아키텍처 및 비즈니스 로직

위의 그림은 StarkNet과 StarkEx를 사용한 일반적인 애플리케이션 아키텍처 다이어그램으로, 이 애플리케이션이 Starkswap이라는 DEX라고 가정합니다.

맨 왼쪽의 노란색 상자에 있는 애플리케이션 - 전체 애플리케이션을 작동합니다.
이 오프체인 구성 요소는 사용자 트랜잭션을 수신하고 비즈니스 로직 및 실행 순서를 정의하고 트랜잭션을 StarkEx 서비스로 전달합니다.
이 구성 요소는 일반적으로 웹 또는 클라이언트와 같은 응용 프로그램의 중앙 집중식 프런트 엔드입니다.
하늘색 상자의 StarkEx 서비스 - 배치 및 조정
일련의 작업을 일괄 처리하고 작업을 기반으로 시스템 상태를 업데이트하는 역할을 하는 오프체인 구성 요소 각 일괄 처리에 대해 작업 일괄 변환(카이로 언어로 실행, 먼저 Solidity의 바이트코드를 스마트 카이로 로케일에서 실행되는 카이로 언어의 계약)은 유효성을 증명하기 위해 SHARP로 전송됩니다.증명이 확인되면 새로운 상태를 온체인에 게시합니다.상태는 머클 트리로 표시됩니다.각각의 구조와 내용 볼트는 구현된 특정 비즈니스 로직에 따라 다릅니다.머클 루트는 체인에 커밋될 상태를 나타냅니다.
SHARP - 공유 인증기(응용 프로그램용으로 StarkWare에서 사용자 지정)
SHARP는 카이로 언어에 대한 공유 증명 서비스로, 다양한 애플리케이션으로부터 증명 요청을 받아 카이로 코드 실행의 유효성을 증명하기 위한 증명을 출력합니다. 출력 증명은 여러 증명 요청 간에 공유될 수 있습니다.
이 구성 요소의 이전 이름은 Generic Prover Service였으므로 구성 요소는 본질적으로 특정 서비스를 포함하는 백엔드 서버이며 StarkWare의 중앙 집중식 서버에 배포되는 것으로 추측됩니다.
StarkEx 계약(검증인 계약) - 상태 업데이트, 입금 및 출금
컨트랙트는 크게 두 가지 기능을 가지고 있는데, 첫 번째 기능은 유효성 조건이 충족되었는지 확인한 후 시스템의 상태를 업데이트하는 기능이고, 두 번째 기능은 StarkEx 입출금을 비수탁 방식으로 관리하는 기능입니다. 어쨌든 사용자는 자금을 인출할 수 있습니다).
이 구성 요소는 Ethereum의 스마트 계약입니다.

Starkswap의 비즈니스 로직은 다음과 같습니다.

요청 처리 하늘색 상자의 StarkWare 응용 프로그램은 고객 요청을 처리하고 이러한 트랜잭션을 증명 가능한 진술로 변환하고 이를 진한 파란색 상자의 SHARP로 보냅니다.모든 요청은 첫 번째 단계의 API와 일괄 처리를 통해 전송 및 처리됩니다. 두 번째 단계의 명령문이 전송됩니다(하나의 배치가 여러 요청을 컴파일할 수 있음).
SHARP Proof 진한 파란색의 SHARP 건축 프루프.
등록 증명 SHARP는 증명을 분홍색 상자의 3단계에서 온체인 유효성 검사기 스마트 계약으로 전송합니다.
등록 상태 전환의 네 번째 단계에서 StarkWare 애플리케이션은 Starkswap 스마트 계약에서 애플리케이션 상태 전환을 수행합니다. Verifier 스마트 컨트랙트에 등록되어 있습니다.

기능 및 암호화 알고리즘

https://docs.starkware.co/starkex-v3/crypto/stark-curve

기능 세부 정보:

오프체인 상태:
균형 트리 및 시퀀스 트리 Merkle 트리를 통해 자금 상태의 보안 및 신뢰성이 보장되고 이중 지출 문제가 방지됩니다.
Flow Description:
온체인 계정(자금이 온체인 계정 안팎으로 이동하지 않는 한 계정의 잔액은 오프체인에 저장 및 관리됩니다. L1의 관점에서 이러한 계정의 자금은 StarkEx 스마트 계약.)
소유자"소유자"따라서 L1 사용자와 응용 프로그램은 StarkEx를 통해 거래할 수 있으며 대기 중인 주문을 일치시킬 수 있습니다.온체인 거래 모델은 StarkEx 응용 프로그램과 L1 응용 프로그램 간의 상호 운용성을 가능하게 하여 DeFi 풀링에 사용하거나 유동성 애그리게이터에서 사용할 수 있습니다.
StarkEx 특정 개념:
StarkEx에는 Ethereum과 다른 많은 개념이 있으므로 개발에는 추가 학습이 필요합니다.
https://docs.starkware.co/starkex-v3/starkex-deep-dive/starkex-specific-concepts
또한 StarkEx에는 정보 암호화, 일괄 플래시 대출 및 DeFi 풀링과 같은 특정 작업도 있습니다.

암호화 알고리즘:

STARK Elliptic Curve, Pedersen Hash Function,KDF. 위의 암호화 알고리즘 및 참조를 사용하여 https://github.com/authereum/starkware-monorepo/tree/starkex-3.0/packages/starkware-provider#walletconnect소개

Cairo

소개

Cairo는 STARK 증명을 생성하는 최초의 프로덕션 등급 플랫폼입니다.Turing 완전하고 매우 효율적입니다.StarkNet에 고성능 및 저가스 레이어 2 응용 프로그램 구성 요소를 배포하려면 Cairo를 사용하여 응용 프로그램을 작성해야 합니다.Cairo 언어는 특별한 계약 언어는 아니지만 계약과 같은 콘텐츠를 작성하는 데 주로 사용됩니다.

특징

계산 무결성
컴퓨팅 무결성은 감독 없는 컴퓨팅의 공정성을 나타냅니다.컴퓨팅 무결성을 보장하는 다섯 가지 방법이 있습니다: 은행 위탁 책임(평판, 감사 등에 기반), 컴퓨팅 재생성(예: 비트코인 및 기타 L1 공개 트랜잭션), 신뢰할 수 있는 실행 환경 (예: Intel의 SGX), 사기 증명(낙관적 롤업, 위임된 책임과 계산 재생성 간의 낙관적 롤업), 암호화 증명(zk-STARK) 카이로 언어는 많은 논문과 수학적 증명에 의해 검증되었으며 zk-를 안전하고 신뢰할 수 있게 생성할 수 있습니다. 계산 무결성을 보장하기 위한 STARK 증명.
AIR(대수 중간 코드 표현)
언어 디자인
언어 디자인
카리오 언어의 디자인은 Minimal Variable Language의 원칙을 따르며 딱 적당합니다.동시에 언어의 표현력(개발자가 읽기 쉬움)과 STARK 증명의 생성 효율성을 달성합니다. 카리오 언어는 그리 복잡하지 않습니다.단지 3개의 레지스터(PC, 할당 포인터, 프레임 포인터)와 간결한 명령어 집합이 있습니다.카리오 언어는 함수, 재귀, 분기, 판단 등 필요한 일부 기능도 지원합니다. Cario 언어 디자인은 수학적 증명의 논리에 더 잘 맞고 더 깔끔합니다.
도구 체인
번역기(https://github.com/NethermindEth/warp) ,가상 머신, 코드 편집 환경 플러그인(VSCode의 코드 프롬프트 플러그인 https://github.com/ericglau/cairo-ls),추적기, 코드 예(https://github.com/starkware-libs/cairo-examples).

언어생태학

현재 카이로어의 생태는 매우 포괄적이지만 젊다고 할 수 있습니다.모든 종류의 도구 체인이 있습니다.이 도구의 GitHub 스타에 따르면 많은 관심을 받지 못했다고 판단할 수 있지만 웨어하우스의 개발자는 지속적으로 업데이트하고 있으며 기본적으로 2주 이내에 새로운 제출이 있습니다. 앞으로 카이로 언어는 더 개방될 것입니다. 더 많은 개발자를 교육한 후 StarkEx 엔진에서 카이로 코드를 작성하는 작업은 StarkWare에서 오픈 소스 개발자에게 전달되었습니다. 탈중앙화는 많은 의미가 있습니다.

더 중요한 것은 OpenZeppelin이 카이로 언어로 ERC-20 및 ERC-721과 같은 기본 템플릿을 구현한다는 것입니다.https://github.com/OpenZeppelin/cairo-contracts요약하다

요약하다

StarkWare는 Layer 2 솔루션 제공업체로서 dYdX, iMMUTABLE과 같은 폭발적인 제품을 생산해 왔으며 다양한 솔루션 중 StarkWare의 zk-STARK 기술은 Layer 2에서 가장 많은 트랜잭션을 지원합니다. 분산형 zk-STARK 네트워크인 StarkNet은 StarkEx 엔진의 검증 조정을 통해 매우 높은 성능을 제공하고 운영 프로세스를 완전히 최적화합니다.StarkWare는 최첨단 기술과 완벽한 기술 서비스를 사용하여 Layer 2 애플리케이션의 막대한 트랜잭션 볼륨을 지원합니다. , 향후 오픈 소스를 수용하여 더 많은 탈 중앙화를 달성하고 Ethereum 2.0 구축을 도울 것입니다.