CentOS에 Zellij 터미널 멀티플렉서 설치하기
필수 조건
Zellij 설치를 위해 다음 환경이 필요합니다:
CentOS 7.9 운영체제
루트 권한 또는 sudo 접근 권한
기본 명령어 사용 능력
시스템 준비 작업
시스템 패키지를 최신 상태로 업데이트하고 개발 도구를 설치합니다:
sudo yum upgrade -y
sudo yum install -y "@Development Tools"
Rust 프로그래밍 언어 설치
Zellij는 Rust로 개발되었으므로 먼저 Rust 툴체인 ...
5월 24일 18:14에 게시됨
Halo2 간단한 사용: 피보나치 수열
회로 설계
Halo2는 PLONK 알고리즘 기반의 제로지식 증명 프레임워크로, Rust 언어로 작성됩니다.
피보나치 수열을 증명하려면 (예: Fib(10)=55) 각 계산 단계(비밀 값)를 명시하고, 프로그램(회로)을 통해 검증하여 증명을 생성해야 합니다.
PLONK 알고리즘에서는 표를 사용하여 계산 추적을 수행합니다. 예시는 다음과 같습니다:
a
b
c
1
1
2
1
2
3
2
3
5
3 ...
5월 21일 10:33에 게시됨