StarkNet은 신뢰 설정이 필요 없는 영지식 증명 계열인 STARK를 사용해 이더리움에서 트랜잭션 묶음을 검증합니다. Cairo 프로그래밍 언어는 처음부터 효율적으로 증명 가능하도록 설계되어, 개발자가 단순 토큰 전송을 넘어서는 검증 가능한 프로그램을 작성할 수 있는 도구를 제공합니다.
StarkNet은 오프체인의 Cairo VM에서 트랜잭션을 실행하고, 이더리움의 검증자 컨트랙트로 전송되는 STARK 증명을 생성합니다. STARK는 양자내성(post-quantum resistant)을 갖추고 신뢰 설정 의식이 필요 없다는 점에서 SNARK 기반 시스템과 구별됩니다. STRK 토큰은 2024년 2월 출시되어 ETH와 함께 트랜잭션 수수료로 사용됩니다.
Consensus: STARK ZK 롤업
StarkNet은 오프체인의 Cairo VM에서 트랜잭션을 실행하고, 이더리움의 검증자 컨트랙트로 전송되는 STARK 증명을 생성합니다. STARK는 양자내성(post-quantum resistant)을 갖추고 신뢰 설정 의식이 필요 없다는 점에서 SNARK 기반 시스템과 구별됩니다. STRK 토큰은 2024년 2월 출시되어 ETH와 함께 트랜잭션 수수료로 사용됩니다.
Cairo 프로그래밍 언어
Cairo는 STARK로 효율적으로 증명 가능한 프로그램을 작성하기 위해 설계된 튜링 완전 언어입니다. Solidity와는 다르며 새로운 패러다임을 익혀야 하지만, Solidity로는 표현할 수 없는 증명 가능한 연산을 지원합니다.
STARK 증명
STARK 증명은 투명하고(신뢰 설정 불필요) 양자내성을 가지며 확장성이 매우 뛰어납니다. 증명 크기와 검증 비용은 연산 규모에 로그적으로 증가하므로, 매우 큰 배치도 효율적으로 처리할 수 있습니다.
계정 추상화
zkSync Era와 마찬가지로, StarkNet의 모든 계정은 스마트 컨트랙트입니다. 이는 확장 기능으로 추가된 것이 아니라 프로토콜 자체에 내장되어 있어, 기본적으로 고급 지갑 기능을 사용할 수 있습니다.
STRK 토큰
STRK was distributed to early community members and contributors in early 2024. It is used for gas fees and for staking in the decentralized sequencer 모델에서의 스테이킹에도 사용됩니다.
생태계 및 활용
Starknet의 사용처.
StarkNet은 주로 Cairo 컨트랙트로 구축된 성장하는 DeFi 생태계를 갖추고 있으며, DEX, 대출 시장, 그리고 증명 가능한 연산을 새로운 방식으로 활용하는 애플리케이션이 포함됩니다.
Cairo는 증명 가능한 프로그램을 작성하기 위해 설계된 StarkNet의 스마트 컨트랙트 언어입니다. 사용자로서는 알 필요가 없지만, 개발자라면 Solidity 대신 Cairo를 배워야 합니다. 다만 최신 버전의 Cairo는 Rust와 유사한 문법 덕분에 더 쉽게 접근할 수 있습니다.
STARK는 SNARK와 어떻게 다른가요?
STARK는 신뢰 설정 의식이 필요 없어 투명하며, 양자내성도 갖추고 있습니다. 다만 SNARK보다 증명 크기가 크다는 단점이 있으나, 이더리움에서의 검증 비용은 비슷합니다.
STRK란 무엇인가요?
STRK는 2024년 2월 출시된 StarkNet의 네이티브 토큰입니다. 트랜잭션 수수료 지불에 사용되며, StarkNet의 탈중앙 시퀀서 시스템이 출시되면 스테이킹에도 사용될 예정입니다.
StarkNet 출금은 얼마나 걸리나요?
ZK 증명 검증이 옵티미스틱 사기 증명 기간을 대체하므로, 출금은 optimistic rollups보다 빠릅니다. 파이널리티는 증명 생성과 이더리움 confirmation 시간에 따라 달라지며, 보통 며칠이 아니라 몇 시간 단위로 측정됩니다.
Zypto App에서 STRK를 보유할 수 있나요?
아직이에요. STRK은(는) 현재 Zypto App에 없어요. 셀프 커스터디 지갑이라면 어디서든 보유할 수 있고, 위의 「Starknet 요청」 버튼으로 Starknet 추가를 요청할 수 있어요.
