StarkNet은 Cairo 프로그래밍 언어를 점검하여 개발자 채택을 촉진합니다.

Ethereum 레이어 2 확장 플랫폼 StarkNet은 개발자가 Web3 개발에 액세스할 수 있도록 자체 Cairo 코딩 언어를 정밀 검사했습니다.

Cointelegraph와 공유된 발표는 인기 있는 프로그래밍 언어인 Rust의 특성을 에뮬레이트한다고 선전되는 Cairo 1.0의 업그레이드를 설명합니다. 정밀 검사를 통해 일반적인 코딩 경험이 있는 개발자가 StarkNet의 Ethereum 레이어 2 네트워크에서 분산 응용 프로그램을 구축할 수 있습니다.

StarkWare의 공동 설립자이자 사장인 Eli Ben-Sasson은 다양한 배경을 가진 개발자들이 레이어 2 개발에 보다 쉽게 접근할 수 있도록 하는 것이 카이로 개편의 주된 이유라고 Cointelegraph에 말했습니다.

"주요 동인은 안전과 사용 용이성이었고 정밀 검사를 수행하면 기존 언어 배경을 가진 개발자를 위해 항목을 제거할 수 있는 훌륭한 기회가 제공되었습니다."

5월 XNUMX일 출시에 설명된 기술 사양에는 향상된 구문 및 언어 구성, 전체론적 유형 시스템, 직관적인 라이브러리, 최적화된 코드 및 요구되는 데이터 유형 사양에 의한 강력한 유형 지정을 포함하여 카이로 언어에 대한 다양한 개선 사항이 포함됩니다.

StarkNet은 Safe Intermediate Representation의 약자인 Sierra를 카이로 점검의 주요 추가 사항으로 강조했습니다. Sierra는 Cairo 1.0과 Cairo 바이트 코드 사이의 새로운 중간 표현 계층 역할을 합니다.

Ben-Sasson이 설명했듯이 Sierra는 무허가 네트워크를 보장하는 중요한 측면입니다. 이 업그레이드를 통해 되돌린 트랜잭션을 StarkNet 블록에 포함할 수 있으므로 프로토콜이 복잡한 "암호 경제 메커니즘"을 추가하지 않도록 할 수 있습니다.

Ben-Sasson은 Sierra가 StarkNet이 "이더리움의 완전한 검열 저항성을 물려받도록" 허용할 것이며 주로 Sequencer 서비스 거부 공격으로부터 보호할 것이라고 말했습니다.

As 이전에 Cointelegraph에서보고 한, Ben-Sasson 개척자 zk- 스타크 다른 컴퓨터 과학자들과 함께 암호화. Zero-Knowledge Scalable Transparent Arguments of Knowledge는 트랜잭션 데이터를 암호화하고 검증하여 양자 컴퓨팅에 대한 보안, 확장성 및 저항성을 제공하는 증명 시스템입니다.

StarkNet에 따르면 카이로는 잠금 총 가치 기준으로 네 번째로 인기 있는 스마트 계약 언어입니다. 300억 건 이상의 거래를 처리하고 90천만 개의 대체 불가능한 토큰을 발행했으며 이더리움에서 결제된 790억 XNUMX천만 달러 상당의 거래를 촉진한 애플리케이션의 기반입니다.