StarkNet은 무허가 분산 Validity-Rollup입니다. Ethereum을 통해 L2 네트워크로 작동합니다. 이를 통해 모든 dApp은 이더리움의 구성 가능성 및 보안을 손상시키지 않으면서 계산을 위한 무제한 확장을 달성할 수 있습니다.
StarkNet의 최근 업데이트에서 개발자가 Web3 개발에 액세스할 수 있도록 사내 Cairo 프로그래밍 언어를 점검했습니다. StarkWare의 Medium 블로그 게시물에서 Stark 기반 스케일링 솔루션은 Cairo 1.0으로의 업그레이드를 설명했습니다.
블로그 게시물에 따르면 "개발자는 Cairo 1.0 프로그램 작성, 컴파일 및 테스트를 시작할 수 있습니다!" 이 플랫폼은 개발자가 Cairo 1.0으로 실험을 시작하고 새로운 구문과 기능에 익숙해지도록 장려하고 있습니다.”
카이로 1.0이란?
Cairo는 2020년에 처음 소개되었으며 첫 번째 공개 버전인 Cairo 1.0으로 진화한 후 이제 사용할 수 있습니다. 또한 STARK-provable 프로그램을 효율적으로 작성하기 위한 "튜링 완전 프로그래밍 언어"입니다. “Cairo 1.0은 Rust와 같은 고급 언어입니다. Rust와 마찬가지로 개발자가 효율적이고 안전한 코드를 쉽게 작성할 수 있도록 하기 위한 것입니다.”
StarkWare 공동 창립자이자 사장인 Eli Ben-Sasson은 Cairo의 개편 이유를 다음과 같이 말했습니다. 배경.”
Cairo 1.0은 모든 Cairo 실행이 입증될 수 있도록 보장하는 새로운 중간 표현인 Sierra를 추가로 도입합니다. 따라서 Cairo 1.0은 강력한 DoS 보호 및 검열 저항을 제공할 수 있는 StarkNet과 같은 무허가 네트워크에서 사용하기에 특히 적합합니다.
Ben-Sasson 씨는 Sierra를 "무허가 네트워크를 보장하는 중요한 측면"이라고 설명했습니다. 또한 업그레이드를 통해 되돌린 트랜잭션을 StarkNet 블록에 포함할 수 있으므로 프로토콜이 복잡한 "암호 경제 메커니즘"을 추가하지 않아도 됩니다. 그는 Sierra가 StarkNet이 "이더리움의 완전한 검열 저항성을 물려받도록" 허용할 것이며 주로 Sequencer 서비스 거부 공격으로부터 보호할 것이라고 말했습니다.
StarkNet의 블로그 포스트는 또한 카이로가 고정된 총 가치로 네 번째로 가장 인기 있는 스마트 계약 언어라고 언급했습니다. 790억 달러 이상의 거래를 처리하고 300억 건 이상의 거래를 처리했으며 90천만 건 이상의 NFT를 생성했으며 모두 오프체인에서 수행되었으며 STARK 증명이 보장하는 수학적 무결성으로 이더리움에 정착했습니다.
“그러나 StarkNet은 아직 Cairo 1.0 계약의 배포 및 실행을 지원하지 않습니다. 몇 주 안에 계획된 StarkNet Alpha V0.11.0은 Cairo 1.0 계약을 배포하고 실행할 수 있는 기능을 도입할 것입니다. v0.11.0으로의 업그레이드는 Cairo 1.0 계약만 실행하는 시스템으로의 전환 기간의 시작을 표시할 것입니다.”라고 StarkNet은 말합니다.
Nancy J. Allen은 암호 애호가이며 암호 화폐는 사람들이 자신의 은행에 영감을 주고 기존의 화폐 교환 시스템에서 벗어나도록 고무한다고 믿습니다. 그녀는 또한 블록체인 기술과 그 기능에 흥미를 느낍니다.
출처: https://www.thecoinrepublic.com/2023/01/06/starknets-revamping-of-its-cairo-programming-but-why/