Step1. Build trace （fib2-example）

Phần màu đỏ là Public info

Step2. Prover for Trace

Lựa chọn tham số giao thức:

1. Khởi tạo AIR

tiêu đề phụ

2. Xác minh tính nhất quán của AIR và Trace (Chế độ gỡ lỗi)

2.1 Kiểm tra các thông số cơ bản

2.3 Xác minh rằng Trace đáp ứng quá trình chuyển đổi cs (mô-đun Gỡ lỗi)

Transcript

3.Commit for trace

Lựa chọn tham số miền:

3.1 Interpolate -> LDE -> evaluate over LDE-domain

3.2 Commitment

Tracescript

4.Evaluate CS

tiêu đề phụ

4.1 Lấy hệ số tổ hợp tuyến tính

Số hệ số bằng với số ràng buộc

Trong ví dụ này (fib2-ví dụ), quá trình chuyển đổi cs 2; ranh giới cs 3

4.2.1 t-cs

4.2.2 b-cs

4.3 Evaluate t/s-cs over ce_domain

4.3.1 Xác định bảng đánh giá

5 Commitment to Evaluate CS

tiêu đề phụ

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) tương ứng với hai cột tương ứng

tiêu đề phụ

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. Lập đa thức thành phần SÂU

6.3.1 Tạo số ngẫu nhiên

6.3.2 cal quotient poly

6.4 evaluate Deep over LDE

7. Tính toán số lớp FRI của Deep

tiêu đề phụ

Chọn nhiều vị trí truy vấn từ lde_domain.

tiêu đề phụ

9. Xây dựng đối tượng chứng minh

9.2 query trace poly at above positions

9.1 Tạo bằng chứng FRI

9.3 query constraint poly at above positions

tương tự như trên

9.4 Tòa nhà BẰNG CHỨNG RÕ RÀNG

Step3. Verify for proof

Đọc thông tin quán rượu từ bảng điểm để lấy dữ liệu liên quan nhằm thực hiện quy trình xác minh.

1. Ood consistency check

Xác minh tính nhất quán của các mối quan hệ toán học được mô tả trong Mục 5.2.

2. Khởi tạo đối tượng FRI-verifier

tiêu đề phụ

Phương pháp tính giống như trong Chương 6.4

Sin7y được thành lập vào năm 2021 và bao gồm các nhà phát triển chuỗi khối hàng đầu. Chúng tôi vừa là vườn ươm dự án vừa là nhóm nghiên cứu công nghệ chuỗi khối, khám phá các công nghệ tiên tiến và quan trọng nhất như EVM, Layer2, chuỗi chéo, điện toán bảo mật và các giải pháp thanh toán tự động.

về chúng tôi

Sin7y được thành lập vào năm 2021 và bao gồm các nhà phát triển chuỗi khối hàng đầu. Chúng tôi vừa là vườn ươm dự án vừa là nhóm nghiên cứu công nghệ chuỗi khối, khám phá các công nghệ tiên tiến và quan trọng nhất như EVM, Layer2, chuỗi chéo, điện toán bảo mật và các giải pháp thanh toán tự động.

Tài khoản công khai WeChat: Sin7Y

GitHub | Twitter | Telegram | Medium| Mirror | HackMD | HackerNoon