Zoro: Cairo 기반 STARK 라이트 클라이언트

Zoro는 Cairo로 구현한 Zcash용 영지식 라이트 클라이언트 제안이다. 연속된 블록 범위에 대해 체인 유효성을 증명하는 간결한 STARK 영수증을 생성한다. 상태는 기술 검토용 초안이며 합의 변경이 필요 없는 독립형 산출물이다. Zcash 자체를 바꾸지 않고 외부 증명자와 검증자, Cairo 프로그램과 도구로 구성되며, 영수증은 오프체인에서 검증하거나 TZE(ZIP-222, ZIP-245)가 채택되면 Zcash 위에서도 검증할 수 있다.

영수증이 증명하는 내용은 세 가지다. 헤더가 유효한 체인을 이루고 Equihash(n=200, k=9) 작업 증명 검사를 만족하는지, ZIP-221의 FlyClient MMR 커밋먼트인 hashChainHistoryRoot가 헤더와 일치하는지, 각 블록의 거래 커밋먼트가 ZIP-244 v5 다이제스트 규칙과 일관되는지 확인한다. 초기 마일스톤에서는 Sapling과 Orchard 영지식 증명을 STARK 안에서 다시 검증하지는 않고 헤더에 커밋된 다이제스트를 재계산해 확인한다.

쓰임새로는 수십~수백 KiB 규모의 영수증 하나로 수천 개 헤더를 포괄하는 압축 SPV와 크로스체인 증명, 서버를 신뢰하지 않는 모바일 라이트 클라이언트, Ztarknet 같은 L2에 L1 상태의 간결한 진술을 제공하는 것을 든다. Bitcoin용 합의 클라이언트와 재귀 STARK 파이프라인을 이미 구현한 Raito의 방법론과 일부 Cairo 컴포넌트를 재사용한다. 증명기는 Stwo(Circle-STARK)이며 긴 범위는 재귀로 처리하고 검증기는 Rust로 만든다.

작업 계획은 마일스톤 0~5다. 헤더 체인 증명, FlyClient MMR(ZIP-221), v5 거래와 블록 커밋먼트(ZIP-244), 널리파이어 중복 없음 등 공개 셀드 불변식, 재귀 집계와 API를 차례로 다룬다. 마지막은 Orchard/Halo2 영수증을 STARK 안에서 검증하는 타당성 R&D로, 측정 결과와 진행 여부 권고를 보고할 예정이다. 셀드 풀 의미론이나 헤더, 거래 형식의 변경은 비목표다.