Score:0

'อาร์กิวเมนต์ NIZK สำหรับโปรแกรมเลขคณิตกำลังสอง' ของ '[Groth16] บนขนาดของอาร์กิวเมนต์แบบไม่โต้ตอบตามการจับคู่'

ธง in

ฉันสงสัยเกี่ยวกับการโต้แย้ง CRS ของ NIZK

ฉันคิดว่า [A]$_1$, [ข]$_2$, [ค]$_1$ คำนวณโดยใช้ CRS แทนที่จะคำนวณ A, B, C ก่อนแล้วจึงคำนวณ [A]$_1$, [ค]$_1$, [ข]$_2$.

  1. ฉันขอทราบได้ไหมว่าถูกต้องหรือไม่

ถ้าถูกต้องเพื่อคำนวณ [C]$_1$, ฉันคิดว่า [B]$_1$ ยังมีความจำเป็น

  1. ถูกต้องหรือไม่ที่เราต้องคำนวณทั้ง [B]$_1$ และ [ข]$_2$?

และฉันทำเครื่องหมายส่วนที่อยากรู้อยากเห็นด้วยสีแดง ส่วนนี้อยู่ใน sigma_V (สตริงอ้างอิงของผู้ตรวจสอบ)

  1. ทำไมผู้ตรวจสอบจึงต้องการ $[1]_1$ และ $[1]_2$? อยากรู้ว่าใช้สมการไหน $[1]_1$ และ $[1]_2$.

มันระบุว่าสามารถเปลี่ยนขนาด CRS จาก +2 $\mathbb G_1$, น $\mathbb G_2$ ถึง 3+ $\mathbb G_1$$\mathbb G_2$ โดยใช้องค์ประกอบที่คำนวณล่วงหน้า เดอะ ดูเหมือนจะไม่คำนึงถึงพหุนาม ในกระดาษ 3 สำหรับ $[u_i(x)]_1$, $[v_i(x)]_1$, $[v_i(x)]_2$.

  1. ฉันขอทราบสาเหตุ $[w_i(x)]_1$, $[w_i(x)]_2$, ไม่ได้เพิ่ม?

ป้อนคำอธิบายรูปภาพที่นี่

โพสต์คำตอบ

คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา