Step1. Build trace （fib2-example）

ส่วนสีแดงคือข้อมูลสาธารณะ

Step2. Prover for Trace

การเลือกพารามิเตอร์โปรโตคอล:

1. การสร้างอินสแตนซ์ทางอากาศ

ชื่อเรื่องรอง

2. ตรวจสอบความสอดคล้องของ AIR และ Trace (โหมด Debug)

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. คำนวณจำนวนเลเยอร์ FRI ของ Deep

ชื่อเรื่องรอง

เลือกตำแหน่งการสืบค้นหลายรายการจาก 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 PROOF

Step3. Verify for proof

อ่านข้อมูลผับจากการถอดเสียงเพื่อรับข้อมูลที่เกี่ยวข้องเพื่อดำเนินการตรวจสอบ

1. Ood consistency check

ตรวจสอบความสอดคล้องของความสัมพันธ์ทางคณิตศาสตร์ที่อธิบายในหัวข้อ 5.2

2. สร้างอินสแตนซ์วัตถุ FRI-verifier

ชื่อเรื่องรอง

วิธีการคำนวณเหมือนกับในบทที่ 6.4

Sin7y ก่อตั้งขึ้นในปี 2564 และประกอบด้วยนักพัฒนาบล็อกเชนชั้นนำ เราเป็นทั้งผู้บ่มเพาะโครงการและทีมวิจัยเทคโนโลยีบล็อกเชน สำรวจเทคโนโลยีที่สำคัญและล้ำสมัยที่สุด เช่น EVM, Layer2, cross-chain, การประมวลผลเพื่อความเป็นส่วนตัว และโซลูชันการชำระเงินอัตโนมัติ

เกี่ยวกับเรา

Sin7y ก่อตั้งขึ้นในปี 2564 และประกอบด้วยนักพัฒนาบล็อกเชนชั้นนำ เราเป็นทั้งผู้บ่มเพาะโครงการและทีมวิจัยเทคโนโลยีบล็อกเชน สำรวจเทคโนโลยีที่สำคัญและล้ำสมัยที่สุด เช่น EVM, Layer2, cross-chain, การประมวลผลเพื่อความเป็นส่วนตัว และโซลูชันการชำระเงินอัตโนมัติ

บัญชี WeChat สาธารณะ: Sin7Y

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