원문: Building dApps that Last: Why Cairo is the Winner Programming Language for Web3 Devs

저자: James Strudwick, Starknet 재단 이사

번역 및 교정: Starknet 중문 커뮤니티

📑 전재 시 출처 표기 요망 🕹️

요약

• Cairo는 이더리움 확장을 위해 설계된 고도로 최적화된 검증 가능한 프로그래밍 언어입니다.

• Rust, 솔리디티, Python 등 다른 언어와 비교했을 때, Cairo는 고빈도 블록체인 활동 처리와 프라이버시 보호 등의 측면에서 독특한 장점을 가지고 있습니다.

• 학습 곡선이 다소 가파르지만, Cairo 숙련은 개발자에게 탈중앙화 애플리케이션의 미래 발전을 주도할 수 있는 큰 잠재력을 제공합니다.

서론

「세상을 이해하려면 먼저 카이로(Cairo)를 이해해야 한다.」

이 말은 이집트 작가 나기브 마흐푸즈에서 비롯되었으며, 이 고대 도시가 전 세계 문화, 정치, 역사 형성에 미친 중요한 역할을 잘 보여줍니다.

오늘날 동명의 프로그래밍 언어 Cairo가 Web3 생태계를 이해하는 핵심이 되고 있습니다. 마치 카이로 도시가 복잡한 역사 탐구의 관문과 같이, Cairo 프로그래밍 언어는 탈중앙화 세계에 새로운 문을 열어 혁신과 대중화를 주도하고 있습니다.

다른 프로그래밍 도구와 비교했을 때 Cairo의 독특한 점은 무엇일까요? 왜 Web3 개발자들은 이 언어를 배우는 데 시간을 투자해야 할까요?

깊이 탐구하고 최고의 전문가로부터 배우고 싶다면 Starknet 부트캠프에 참여하여 Cairo의 모든 것을 완전히 마스터하세요.

Cairo의 기능

Cairo는 고도로 최적화된 검증 가능한 프로그래밍 언어이며, STARK 기술은 이더리움 확장에 매우 적합합니다. 이는 검증 증명 생성 시간이 동일한 입력으로 프로그램을 실행하는 시간보다 더 짧기 때문입니다. 따라서 Starknet의 기반 코드는 전적으로 Cairo로 작성되어 이더리움을 확장하고 Web3 애플리케이션을 구축하는 것을 목표로 합니다.

Starknet은 네트워크 지연이나 높은 수수료 없이 거래 처리 능력을 높임으로써 이더리움의 확장성을 향상시킵니다. 이를 위해 Starknet은 상태 변화만 이더리움에 제출하고, 여러 Starknet 상태 전환 증명을 하나의 증명으로 집계하여 증명 비용을 여러 사용자 간에 분산시킵니다. 이 과정은 영지식 증명(ZKP)에 의존하며, 이더리움이 각 거래 세부 사항을 공개하지 않고도 거래를 안전하게 검증할 수 있게 해줍니다. 이는 종합 영수증을 받는 것과 유사합니다.

거래를 일괄 처리하고 중요한 데이터만 이더리움과 공유함으로써 Starknet은 Cairo 애플리케이션의 비용을 낮추고 거래 속도를 크게 향상시킵니다.

Cairo의 활용 사례

Cairo의 효율성과 프라이버시 특성으로 인해 다양한 Web3 애플리케이션에 필수적인 도구가 되고 있습니다. 디파이(DeFi) 분야에서 Cairo는 플랫폼이 더 낮은 비용으로 대량의 거래를 처리할 수 있게 하여 사용자가 DeFi 서비스를 더 쉽게 이용할 수 있게 합니다. NFT 분야에서 Cairo는 디지털 자산의 생성과 전송을 지원하면서 거래 수수료를 크게 낮추어 시장의 접근성과 확장성을 높입니다. 또한 개발자는 Cairo를 통해 프라이버시 보호 기능을 갖춘 다른 증명 시스템을 효율적으로 검증할 수 있습니다.

Cairo의 강력한 기능으로 인해 이더리움과 Web3 발전의 핵심이 되고 있지만, 그 복잡성으로 인해 개발자들의 학습 장벽이 존재합니다. 하지만 Cairo를 마스터한 개발자들에게 Cairo는 탈중앙화 애플리케이션의 미래 발전을 주도할 수 있는 큰 잠재력을 제공합니다.

희소한 전문 기술로 인정받는 Cairo는 장기적이고 지속 가능한 애플리케이션을 개발하고자 하는 개발자들의 관심을 받고 있습니다. 이들은 Cairo가 더 널리 알려진 전통적인 프로그래밍 언어와 비교해 가지고 있는 독특한 장점을 깊이 있게 이해하고 있습니다.

Cairo vs. 다른 프로그래밍 언어

Rust의 경우

Rust는 높은 성능, 안전성, 다중 플랫폼 호환성으로 인해 블록체인 플랫폼 및 기타 애플리케이션에서 유연성을 원하는 개발자들에게 이상적인 선택이 되고 있습니다. 그러나 Cairo는 이더리움 확장성과 특정 블록체인 애플리케이션에 더 적합하도록 설계되었습니다. Rust는 거래 집계 및 영지식 증명과 같은 이더리움 확장성과 프라이버시 보호 기능이 Cairo만큼 강하지 않습니다. Cairo의 Starknet 및 이더리움과의 깊은 통합으로 인해 이더리움 애플리케이션의 확장성과 최적화에 초점을 맞추는 개발자들에게 더 전문적인 도구가 됩니다. Rust는 다양한 블록체인 플랫폼에서 더 범용적이고 유연하지만, 이더리움 확장성 측면에서 Cairo가 비교할 수 없는 장점을 가지고 있습니다.

Cairo vs. 솔리디티

이더리움 스마트 컨트랙트 작성의 주요 언어인 솔리디티는 블록체인의 개별 거래 처리를 위해 설계되었습니다. 반면 Cairo는 계산 무결성 증명을 효율적으로 처리하는 언어로서 솔리디티의 이더리움 확장성 부족을 보완합니다. Cairo는 스마트 컨트랙트이자 프로그래밍 언어로, 온체인 및 오프체인 작업에 모두 사용될 수 있습니다. 이에 비해 솔리디티는 EVM 내부에만 적용되므로 Cairo와 같이 블록을 집계할 수 없습니다.

거래 확장성에 초점을 맞춤으로써 Cairo는 솔리디티 기반 스마트 컨트랙트의 성능을 향상시켜 두 언어가 상호 보완적인 관계를 갖게 됩니다. Cairo는 고빈도 블록체인 활동 처리를 위한 핵심 계층을 제공합니다.

Cairo vs. Python

Python은 데이터 과학, 머신러닝, 웹 개발 등 다양한 분야에서의 범용성과 사용 편의성으로 유명합니다. 반면 Cairo는 이더리움 확장을 위해 특화된 전문 검증 가능 언어입니다. Python의 초보자 친화적 설계, 가독성, 유연성은 일반 애플리케이션에 이상적이지만 블록체인의 특정 요구사항을 충족하지는 못합니다. Python은 다양한 산업에 광범위하게 적용되지만, Cairo의 성능은 Web3의 요구사항에 맞춤형으로 설계되어 블록체인 확장성과 거래 효율성 측면에서 더 강점을 가지고 있습니다.

Cairo vs. C++/Java

C++와 Java는 게임, 기업 소프트웨어 등 속도와 복잡한 논리가 요구되는 분야에 널리 사용되는 고성능 범용 프로그래밍 언어입니다. 그러나 Cairo는 검증 가능성과 현대적인 컴파일러 아키텍처를 통해 정렬기에서 병렬 작업을 수행하고, 이더리움 검증 규칙에 따라 이러한 증명을 집계하여 수천 건의 거래를 확장할 수 있습니다. 이 메커니즘을 통해 Cairo는 StarknetOS 규칙을 준수하지 않고는 블록을 생성할 수 없기 때문에 매우 높은 보안성을 제공합니다.

Cairo는 디파이와 높은 거래 처리량 요구사항을 충족하도록 이더리움 블록체인을 위해 특별히 설계되었습니다. 반면 C++와 Java는 전통적인 중앙화 환경에 더 적합합니다. Cairo는 개발자 친화적인 검증 가능 언어로서 오프체인 대량 거래를 관리하고 안전하게 검증할 수 있어 블록체인 확장에 탁월한 선택이 되지만, C++와 Java 등 범용 언어는 이러한 요구사항을 충족하지 못합니다.

또한 C++와 Java는 거대한 사용자 기반으로 인해 언어 안정성을 중요하게 여기는 반면, Cairo는 새로운 개념과 기술을 유연하게 채택할 수 있어 더 발전적이라고 할 수 있습니다.

왜 Cairo가 Web3 개발자에게 중요한가

특정 작업(특히 이더리움 확장)에서 Cairo는 최고의 프로그래밍 언어라고 할 수 있습니다. 그러나 초고효율이지만 검증이 필요 없는 메모리 안전 프로그램의 경우 Rust가 더 적합할 것입니다. 그러나 이더리움 애플리케이션에 대한 수요가 지속적으로 증가함에 따라 비용 절감과 속도 향상 솔루션에 대한 요구도 늘어나고 있어, 이에 Cairo가 Web3 생태계의 핵심 도구가 되고 있습니다.

개발자들은 전통적인 프로그래밍 언어의 블록체인 한계를 극복하고 대규모로 실행

어떤 가치 있는 일을 추구하든, 평범을 넘어 탁월함을 향해 나아가는 목표를 가지려면 전념과 노력이 필요합니다.

카이로(Cairo)가 하루 만에 지어진 것이 아니듯이, Web3 구축 또한 그러합니다. 하지만 숙련된 개발팀이 있다면 미래에는 모두를 위한 더 나은 사회를 만들 수 있는 큰 잠재력이 있습니다.