Starknet

Starknet is a permissionless ZK-Rollup¹ built on Ethereum, developed by StarkWare Industries. Unlike most ZK-Rollup¹s that use SNARK proofs, Starknet uses STARK (Scalable Transparent Argument of Knowledge) proofs — a cryptographic system that requires no trusted setup and is post-quantum resistant.

스타크넷은 StarkWare Industries가 개발한 이더리움 위의 무허가형 ZK-롤업이다. SNARK 증명을 사용하는 대부분의 ZK-롤업과 달리, 스타크넷은 신뢰할 수 있는 설정이 필요 없고 양자 내성을 갖춘 암호화 시스템인 STARK(확장 가능한 투명한 지식 주장) 증명을 사용한다.

STRK is the native token of Starknet, used for paying transaction fees, participating in governance, and staking to become a validator in the planned decentralized sequencer². STRK was distributed to the Starknet community through a retroactive airdrop¹ in early 2024.

STRK는 스타크넷의 네이티브 토큰으로, 트랜잭션 수수료 지불, 거버넌스 참여, 그리고 계획된 탈중앙화 시퀀서에서 검증인이 되기 위한 스테이킹에 사용된다. STRK는 2024년 초 소급적 에어드랍을 통해 스타크넷 커뮤니티에 배포되었다.

Cairo¹ is a Turing-complete programming language designed specifically for writing STARK-provable programs. Unlike Solidity, Cairo¹ is not EVM-compatible — programs written in Cairo¹ compile to Sierra², an intermediate representation, which is then compiled to CASM (Cairo¹ Assembly) that runs on the Cairo¹ VM.

카이로(Cairo¹)는 STARK 증명 가능한 프로그램을 작성하기 위해 특별히 설계된 튜링 완전 프로그래밍 언어이다. 솔리디티와 달리 카이로는 EVM 호환이 아니다. 카이로로 작성된 프로그램은 중간 표현인 시에라(Sierra²)로 컴파일된 다음, 카이로 VM에서 실행되는 CASM(Cairo¹ Assembly)으로 컴파일된다.

Starknet supports Solidity-compatible development through Kakarot¹ — an EVM implementation written in Cairo. Kakarot¹ allows Ethereum developers to deploy their existing Solidity contracts on Starknet, enabling access to STARK proof security without requiring rewriting applications in Cairo.

스타크넷은 카이로로 작성된 EVM 구현체인 카카롯(Kakarot¹)을 통해 솔리디티 호환 개발을 지원한다. 카카롯은 이더리움 개발자가 기존 솔리디티 컨트랙트를 스타크넷에 배포할 수 있게 하여, 카이로로 애플리케이션을 재작성하지 않고도 STARK 증명 보안에 접근할 수 있게 한다.

Starknet natively supports account abstraction (AA)¹ — a paradigm where every account is a smart contract. This means all accounts on Starknet can have programmable logic, enabling features like multi-sig by default, social recovery², gas fee payment in any token, and batched transactions.

스타크넷은 모든 계정이 스마트 컨트랙트인 패러다임인 계정 추상화(AA)를 기본적으로 지원한다. 이는 스타크넷의 모든 계정이 프로그래밍 가능한 로직을 가질 수 있음을 의미하며, 기본 멀티시그, 소셜 복구, 임의 토큰으로 가스비 지불, 배치 트랜잭션 같은 기능을 가능하게 한다.

STARK proofs enable exponential scalability: the computational cost of verifying a STARK proof grows logarithmically relative to the size of the computation being verified. This means that as the number of transactions batched into a single proof increases, the per-transaction cost of verification approaches zero.

STARK 증명은 지수적 확장성을 가능하게 한다. STARK 증명을 검증하는 계산 비용은 검증되는 계산 크기에 대해 로그 함수적으로 증가한다. 이는 단일 증명에 배치되는 트랜잭션 수가 증가할수록 검증의 트랜잭션당 비용이 0에 가까워짐을 의미한다.