🟩Aligned는 ZK 검증 레이어를 어떻게 작동하나요?

🧑 ‍💻 증명자(Prover): 거래나 상태 전이가 규칙에 맞음을 증명하는 주체
✅ 검증자(Verifier): 제출된 증명과 공개입력(예: 이전/새 상태루트 등)이 일치하는지 확인하는 주체
🛡 증명(Proof): 원문 데이터를 드러내지 않고도 규칙 준수를 입증하는 암호학적 산출물

위 셋이 검증과정을 거쳐서 작동합니다.
1️⃣ 오프체인(L2 등)에서 다수의 거래를 처리해 새 상태(state)를 계산

2️⃣ “이전 상태 → 새 상태 전이”가 규칙에 맞음을 ZK-SNARK 또는 STARK로 증명

3️⃣ 증명과 공개입력(상태루트 등)을 검증 레이어(온체인 컨트랙트 또는 오프체인 검증 네트워크)에 제출

4️⃣ 검증 성공 시 상태 승인 또는 검증 성공 사실(attestation)을 메인넷에 게시

※ 필요하면 재귀 ZK로 여러 증명을 한데 모아 한 번에 검증해 비용과 지연을 더 줄입니다.

ZK 검증 레이어의 주요 기술
ZK-SNARK: 증명이 매우 짧고 검증이 빠름. 다만 보통 신뢰 설정(SRS)이 필요

STARK: 신뢰 설정 불요(투명성 높음), 대규모 확장성에 유리. 대신 증명 크기가 큰 편이며 “양자에 상대적으로 강한 편”으로 여겨짐

재귀적 ZK: 여러 증명을 중첩·압축해 더 큰 확장성과 비용 절감을 달성

ZK 검증 레이어 = ‘증명 검증 전문 인프라’. 거래는 L2가 처리, 레이어는 증명 1건으로 결과만 확인. 성능은 DA·SRS·암호가정·네트워크 설계가 결정합니다!