dài quá đọc không nổi
Phân tích kỹ thuật chuyên sâu của STARK, hệ thống chứng minh.
Nói chung, nó bao gồm 3 bước chính, Xây dựng dấu vết, Prover để theo dõi và Xác minh bằng chứng. Bước 2, "Prover for Trace" bao gồm 9 bước phụ bắt đầu từ 'AIR Instantiation' đến 'Setting Objects'.
Và Bước 3, "Xác minh Bằng chứng" bao gồm 4 bước phụ là 'Kiểm tra tính nhất quán của Ood', 'Khởi tạo đối tượng FRI-Verifier', 'Tính toán sâu trên các vị trí truy vấn' và 'Thực hiện quy trình XÁC NHẬN FRI'.