Halo2 간단한 사용: 피보나치 수열
회로 설계
Halo2는 PLONK 알고리즘 기반의 제로지식 증명 프레임워크로, Rust 언어로 작성됩니다.
피보나치 수열을 증명하려면 (예: Fib(10)=55) 각 계산 단계(비밀 값)를 명시하고, 프로그램(회로)을 통해 검증하여 증명을 생성해야 합니다.
PLONK 알고리즘에서는 표를 사용하여 계산 추적을 수행합니다. 예시는 다음과 같습니다:
a
b
c
1
1
2
1
2
3
2
3
5
3 ...
5월 21일 19:33에 게시됨