Cairo1.0 공개 버전에 대한 자세한 설명: StarkWare의 글쓰기 패러다임을 바꾸는 방법은 무엇입니까?

PANews

特邀专栏作者

2023-01-11 03:37

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

이번 업데이트의 기능은 인텔리전스, 효율성, 안전성 세 가지로 요약할 수 있다.

똑똑함: Sierra 디자인을 구현하고 Cairo 코드가 증명 가능하도록 보장하며 StarkNet 스마트 계약은 다음 버전에서 구현될 것입니다.
효율성 향상: 실행 효율성 및 작성 기준을 고려하여 Rust 언어의 강력한 타이핑, 소유권 메커니즘 및 차용 디자인 아이디어를 따르십시오.
더 안전함: 튜링 완전성이 유지되고 STARK 메커니즘의 보안이 수학적 증명으로 보장됩니다.

카이로 1.0 공개 버전의 워크플로우는 과거와 다를 것이며 주요 개발 방향은 스마트 계약 작성 능력과 개발자 친화성의 지속적인 개선이 될 것입니다.

두 세계의 장점: ZK-EVM을 향하여

레이어 2 전투의 이번 라운드에서 ZK 시리즈의 STARK와 SNARK는 두 개의 주류 경로가 되었지만 EVM 호환성과 실행 효율성도 모든 당사자의 관심의 초점이 되었으며 더 나은 호환성은 Ethereum 메인넷에서 인식될 것입니다. 보안 축복 및 실행 효율성이 높아지면 L2 자체의 실행 속도가 빨라집니다.

그러나 여기에는 역설이 있습니다: EVM 호환성과 실행 효율성을 동시에 달성할 수 없는 경우가 많으며, L1 호환성이 높을수록 L2 실행 효율성이 떨어지고 그렇지 않으면 보안 문제가 발생합니다.

따라서 StarkWare는 Cairo 언어를 둘 사이의 접착제로 사용하기를 희망합니다. ZK-EVM 의미.

이 업데이트에서 Cairo는 전체 Cairo-VM을 지원하며, 그 핵심은 중간 프레젠테이션 계층인 Sierra입니다.

간단히 말해서 Sierra는 카이로 언어로 작성된 코드와 기본 바이트 코드 사이의 "번역 계층" 역할을 하며, 이 번역은 보안을 기반으로 속도를 높이고 트랜잭션의 실행 상태를 설정하지 않고 직접 할 수 있습니다. 증명은 현재 상태를 기반으로 수행됩니다.

이는 카이로 자체 구문의 개선이며, 스타크웨어의 스마트 컨트랙트는 점진적으로 완전한 카이로 언어로 전환하여 자체 언어 표준의 통합을 완료할 것입니다.

복잡성을 단순하게 만들기: Cairo 1.0이 StarkWare의 작성 패러다임을 바꾼 방법

이더리움 메인넷과 상당한 호환성을 유지하고 있기 때문에 카이로에서 작성된 스마트 컨트랙트와 솔리디티 간의 변환도 더 쉬울 것입니다.

실제로 스타크넷은 2022년 10월 말 카이로를 이용해 ZK-EVM을 개발한다고 주장했고, 이후 스타크넷이 실제로 양산에 들어가면서 이 호환성의 실질적인 효과를 확인할 수 있다.

콩나물: 녹 기반 균형 기능

복잡성을 단순하게 만들기: Cairo 1.0이 StarkWare의 작성 패러다임을 바꾼 방법

사실 카이로 자체는 더 많은 러스트 기능을 물려받은 러스트 언어로 작성된 언어라고 볼 수 있습니다.

Rust 자체는 Python/Go와 같은 소위 현대 언어와 다릅니다.그 운영 효율성은 하위 수준 개발 언어에 매우 근접하지만 동시에 특수 메모리 관리 메커니즘 - 특수 소유권(소유권) 및 차용 디자인.

정확히 말하면 카이로/러스트의 소유권은 명시적인 메모리 관리 요구 사항을 의미하며, 블록체인의 특수한 노드 운영 메커니즘으로 인해 메모리에 민감한 전형적인 개발 환경입니다. 현재 세 가지 주류 A 메모리 리소스 활용 메커니즘은 다음과 같습니다.

C/C++: 수동으로 메모리를 관리합니다. 현대 장비의 발전 덕분에 대부분의 개발자는 제때 메모리를 해제하는 습관을 개발하지 않아 심각한 리소스 낭비를 초래합니다.
Java: 자동 리소스 재활용 메커니즘 JVM은 Java 런타임에서 가상 머신입니다.메모리를 자동으로 관리하는 기능이 있지만 일반적으로 운영 효율성을 보장하기 위해 JVM은 일정량의 메모리 리소스를 유지하므로 공급 간의 불일치도 발생합니다. 그리고 수요;
Cairo/Rust: 소유권 메커니즘은 메모리 리소스를 관리합니다.Rust의 모든 변수는 소유자를 지정해야 하며 한 번에 하나만 있을 수 있습니다.변수가 실행되면 해제되며 메모리에 계속 존재할 수 없습니다.

이러한 소유권 메커니즘 설계는 귀중한 메모리 리소스가 실행 중에만 호출되도록 할 수 있으며, 이는 C/C++의 운영 효율성을 고려할 수 있지만 메모리 누수와 같은 문제를 피할 수 있습니다.메모리 리소스는 항상 준비할 필요가 없습니다. 스마트 계약의 전체 크기를 줄이는 데 도움이 되는 것은 큰 의미가 있습니다.

두 번째는 강력한 유형의 아이디어입니다.Cairo/Rust는 많은 스마트 계약의 작성 및 실행을 포함하며, 모두 특별한 처리가 필요한 고가의 토큰, NFT 및 개인 데이터를 가지고 있으며 모든 변경 사항은 조심스럽게 다루었습니다.

강형 언어와 약형 언어는 변수의 정의에 상대적이며, 간단히 말해서 강형은 변수를 사용하기 전에 "데이터 유형"이 필요합니다."정수, 부동 소수점 숫자, 문자열 등과 같은 측면 정의는 명시적인 유형 변환 작업 없이 임의로 변경할 수 없습니다.

약한 유형의 언어에는 이러한 엄격한 규칙이 없으며 변수의 데이터 유형은 유연하게 변경할 수 있습니다.

스마트 계약을 작성할 때 자산의 유형과 수량을 명시적으로 처리하여 소유권이 명확하고 거래 및 변환 프로세스가 명확해야 합니다.Cairo/Rust는 가독성이 높고 개발자에게 친숙하므로 쉽게 더 많은 보안 문제를 피하십시오.

복잡성을 단순하게 만들기: Cairo 1.0이 StarkWare의 작성 패러다임을 바꾼 방법

공식 일정에 따르면 Cairo 1.0 컴파일러는 올해 1분기에 출시될 예정이며, 이때 StarkNet과 더욱 긴밀하게 통합될 예정이며 Rust의 언어 기능 덕분에 실행 속도가 향상될 것으로 예상됩니다. TPS를 매일 사용 가능한 수준으로 높입니다.

다시 태어난: 개발자 친화적

카이로 1.0은 L2와 이더리움 메인넷을 연결하는 막중한 책임을 지고 있으며, 스타크넷 공식 리제네시스(재생) 계획에 따르면 2023년 1분기에 카이로로 완전히 전환되어 현재의 분열된 상태를 끝내고 새로운 생태계 경쟁 발전에 진입할 예정이다. 단계.

복잡성을 단순하게 만들기: Cairo 1.0이 StarkWare의 작성 패러다임을 바꾼 방법

그러나 dYdX와 같은 주요 프로젝트의 이탈과 맞물려 실제 킬러 애플리케이션의 부족으로 인해 StarkWare의 프로모션 경로는 여전히 가시로 가득합니다.

현재 퍼블릭 체인/L2/dApp 개발 패턴에서 Solidity(Vyper)가 거의 98%의 독점 위치를 점유하고 있는 반면 Cairo는 시장 공간의 1% 미만에 불과하며 기본적으로 StarkWare만이 현재 운영을 지원할 수 있습니다.

StarkNet 및 StarkEx가 시작된 이래 카이로 기반 dApp은 3억 건 이상의 거래를 처리하고 6,500만 건 이상의 NFT를 발행했으며 7,000억 달러 상당의 거래를 처리했으며 모두 이더리움을 최종 결제 계층으로 활용했습니다.

Cairo 1.0이 실제로 StarkNet에 적용되기 전에는 개발자 경험이 StarkWare 생태계에 진입하기 위한 경쟁의 첫 번째 단계입니다 Nethermind의 Warp 지원 외에도 ConsenSys는 StarkWare와 협력하여 Cairo에 스마트 계약을 제공하여 보안을 제공합니다. 감사 서비스.

두 세계의 장점: ZK-EVM을 향하여

콩나물: 녹 기반 균형 기능

다시 태어난: 개발자 친화적

발문