Step1. Build trace （fib2-example）
빨간색 부분은 공개 정보입니다.
Step2. Prover for Trace
프로토콜 매개변수 선택:
1. AIR 인스턴스화
보조 제목
2. AIR 및 Trace의 일관성 확인(디버그 모드)
2.1 기본 파라미터 확인
2.3 Trace가 전환 cs를 충족하는지 확인(디버그 모듈)
Transcript
3.Commit for trace
도메인 매개변수 선택:
3.1 Interpolate -> LDE -> evaluate over LDE-domain
3.2 Commitment
Tracescript
4.Evaluate CS
보조 제목
4.1 선형 조합 계수 얻기
계수의 수는 제약 조건의 수와 동일합니다.
이 예(fib2-예제)에서 전환 cs 2, 경계 cs 3
4.2.1 t-cs
4.2.2 b-cs
4.3 Evaluate t/s-cs over ce_domain
4.3.1 평가자 테이블 정의
5 Commitment to Evaluate CS
보조 제목
5.2 commitment to composition poly
Example:
Compose_poly = a * x^3 + b * x^2 + c * x + d = (a * x^2 + c) * x^ + (b * x^2 + d)
(a * x^2 + c),(b *x^2 +d)는 각각 두 열에 해당합니다.
보조 제목
The general formal: f(x) = q(x)* t(x)
Need check at random z
1. f(z) = q(z) * t(z)
2. f(x),q(x),t(x) indeed equal respectively f(z), q(z), t(z)
3. calculate Deep_composition = (q(x) - q(z)) / (x - z)
4. Check LDT for q_q(x)
6.1 select z which out of domain(ood)
draw an out-of-domain point z. Depending on the type of E, the point is drawn either from the base field or from an extension field defined by E.
The purpose of sampling from the extension field here (instead of the base field) is to increase security.
6.2 evaluate trace and constraint polynomials at the OOD point z
6.2.1 trace_poly at z & z * g
6.2.2 composition poly at z
6. DEEP 구성 다항식 설정
6.3.1 난수 생성
6.3.2 cal quotient poly
6.4 evaluate Deep over LDE
7. Deep의 FRI 레이어 번호 계산
보조 제목
lde_domain에서 여러 쿼리 위치를 선택합니다.
보조 제목
9. 증명 개체 구축
9.2 query trace poly at above positions
9.1 FRI 증명 생성
9.3 query constraint poly at above positions
위와 유사
9.4 STARK 증명 구축
Step3. Verify for proof
성적표에서 pub-info를 읽고 관련 데이터를 얻어 검증 프로세스를 수행합니다.
1. Ood consistency check
섹션 5.2에 설명된 수학적 관계의 일관성을 확인합니다.
2. FRI-verifier 개체 인스턴스화
보조 제목
계산 방법은 6.4절과 동일합니다.
Sin7y는 2021년에 설립되었으며 최고의 블록체인 개발자들로 구성되어 있습니다. 우리는 프로젝트 인큐베이터이자 블록체인 기술 연구 팀으로서 EVM, Layer2, 크로스체인, 프라이버시 컴퓨팅 및 자율 지불 솔루션과 같은 가장 중요하고 최첨단 기술을 탐구합니다.
회사 소개
Sin7y는 2021년에 설립되었으며 최고의 블록체인 개발자들로 구성되어 있습니다. 우리는 프로젝트 인큐베이터이자 블록체인 기술 연구 팀으로서 EVM, Layer2, 크로스체인, 프라이버시 컴퓨팅 및 자율 지불 솔루션과 같은 가장 중요하고 최첨단 기술을 탐구합니다.
위챗 공개 계정: Sin7Y
GitHub | Twitter | Telegram | Medium| Mirror | HackMD | HackerNoon
IOS
Android