Ztarknet: Zcash용 Starknet L2

Ztarknet은 Zcash에 Starknet 방식의 L2를 도입하자는 제안이다. 앞선 'TZE로서의 STARK 검증' 논의를 이어받은 것으로, Zcash L1에 범위가 좁은 확장점 하나, 곧 ZIP-222가 상정한 TZE 메커니즘을 이용한 내장 STARK 증명 검증기를 추가한다. 이 검증기는 증명 바이트와 공개 입력을 받아 합의 안에서 참 또는 거짓을 반환하는 단 하나의 일만 한다.

L2는 대부분의 거래와 앱 로직을 처리하고, 이전 상태 루트, 새 상태 루트, 증명을 Zcash에 게시한다. 풀 노드가 TZE로 증명을 검증하고 유효하면 L1이 갱신을 받아들인다. 차폐 풀 변경, 새 L1 스크립트 언어, L1 프로그래머빌리티는 없고, ZEC 가치 보존 규칙도 그대로다. 제안한 검증기(가칭 STARK_VERIFY_V1)는 알고리즘과 파라미터가 고정되고 증명 크기에 상한이 있으며, ZEC를 발행할 경로가 없다.

L2는 Cairo 프로그램을 실행하고 Stwo/Cairo 증명기로 Circle STARK 증명을 만든다. L2 블록은 시퀀서의 실행, 증명 생성, Zcash L1 트랜잭션 게시, 풀 노드 검증 순으로 진행된다. 입금은 L1에서 ZEC를 브리지 UTXO에 잠그고, 출금은 L2 종료 연산을 증명해 같은 TZE가 L1 출력의 해제를 승인하는 방식이다. 수수료는 정산 트랜잭션이 ZEC로 내고, L2 가스를 ZEC로 표시하는 정책 옵션도 있다.

위험 평가에서 제안은 합의 변경이 0이 아닌 위험임을 인정하고, 새로운 표면을 단일 검증기로 제한한다고 강조한다. 신뢰된 설정이 없고 해시 보안에 의존하며, L2가 멈추거나 업그레이드되어도 L1 자금은 안전하다고 한다. 개발 상황으로는 ztarknet.cash PoC 사이트와 L1 테스트넷 탐색기가 있고, 로컬 devnet 구성과 Zebra 포크(검증), Madara 포크(Cairo 실행)를 통해 시험해 볼 수 있다.