arkworks for marlin 

Marlin 

Fractal

RICS

ชื่อระดับแรก

Transition into Polynomial (efficiency）

Prepare

Define polynomial

ข้อความ

จากนั้นจึงสร้าง R1CS

ชื่อระดับแรกpaper5.2.1ชื่อเรื่องรอง

Linearity check

2. กำหนดพหุนาม (LDE) สำหรับเวกเตอร์ z = (x, w)

ในทำนองเดียวกัน สามารถหาได้จากสูตร:

AHP for R1CS

Common

Prover

=>Prover

=>Oracle

=>Prover - sumcheck-1

=> Oracle

=> Prover - sumcheck-1

=> Prover - sumcheck-2

=> Oracle

=> Prover - sumcheck-2

=> Prover - sumcheck-3

=> Oracle

=> Prover - sumcheck-3

Verifier

=> Verifier-sumcheck-3

=> Verifier-sumcheck-2

Recall the equality

=> Verifier-sumcheck-1

Recall the equality

=> Verifier

Polynomial commitment 

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

Optimization

Sum(s(X)) = 0

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

Reduce sumcheck 

ตามCOS20. Claim6.7ตาม

Common

Prover

Verifier

Reduce polynomial numbers for Sumcheck - 2 

สำหรับการเพิ่มประสิทธิภาพที่กล่าวถึงในกระดาษ (Fractal) เราทำ:

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

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

Set b = 1 

เมทริกซ์พหุนาม ลดจาก 9 เป็น 3

Final Procotol 

Marlin in arkworks

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

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

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

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