Score:2

การพิสูจน์ช่วงสำหรับองค์ประกอบในความมุ่งมั่นของ Vector Pedersen

ธง ru

ถ้าฉันสร้างความมุ่งมั่นของเวกเตอร์พีเดอร์เซน $c = a_1G_1 + a_2G_2 + ... + a_nG_n$ ด้วยเวกเตอร์สเกลาร์ตามอำเภอใจ $(a_1, a_2, ..., a_n)$ และองค์ประกอบกลุ่ม $(G_1, G_2, ..., G_n)$เป็นไปได้ไหมที่จะสร้างช่วงพิสูจน์ที่พิสูจน์ว่าแต่ละองค์ประกอบในความมุ่งมั่นนี้ไม่เป็นลบ

ฉันเข้าใจว่าเป็นไปได้ที่จะสร้างการพิสูจน์ระยะโดยใช้ Bulletproofs สำหรับกรณีต่างๆ เช่น $c=aG+bH$แต่เป็นไปได้ไหมที่จะสร้างการพิสูจน์ช่วงสำหรับเวกเตอร์แบบข้างต้นด้วย

Score:1
ธง es

ความมุ่งมั่นเวกเตอร์ของคุณไม่มีปัจจัยที่ทำให้ไม่เห็น ซึ่งหมายความว่าจะไม่ซ่อนว่าความมุ่งมั่นที่แตกต่างกันสองรายการอยู่ในรายการเดียวกันของ $a_i$ ส่วนประกอบ แล้วแต่ลักษณะของ $a_i$ ส่วนประกอบ อาจเป็นไปได้ที่จะบังคับความมุ่งมั่นอย่างดุร้ายเพื่อกำหนดส่วนประกอบที่เป็นตัวแทน

เราสามารถแก้ไขได้โดยการเพิ่มปัจจัยที่ทำให้ไม่เห็น $ข$:

$C = a_0G_0 + a_1G_1 + ... + a_{n-1}G_{n-1} + bH$

เราต้องการแสดงให้เห็นว่าแต่ละองค์ประกอบ $a_i$ เป็นจำนวนเต็มบวกที่น้อยกว่า $2^s$.

ในการทำเช่นนี้ เราสร้างและประกาศ $(n\cdot s)$ ภาระผูกพันแต่ละอย่างมีปัจจัยที่ทำให้ไม่เห็นแบบสุ่มอย่างสม่ำเสมอ $b_{i,j}$, ที่ไหน $0\leq ฉัน <n$ และ $0\leq j <s$. ความมุ่งมั่นแต่ละครั้ง $C_{i,j}$ คำนวณเป็น $C_{i,j} = (z_{i,j}\cdot 2^j)G_i + b_{i,j}H$, ที่ไหน $z_{i,j}$ เป็น $0$ หรือ $1$ และเป็นตัวแทนของ $เจ$บิตของส่วนประกอบ $a_i$.

ผู้ตรวจสอบสามารถคำนวณได้ $C'=\sum C_{i,j}$. เราสามารถแสดงให้เห็นได้ว่า $C$ แสดงถึงรายการเดียวกันของ $a_i$ ส่วนประกอบเป็น $C'$ โดยระบุลายเซ็นสำหรับรหัสสาธารณะ $(ซี-ซี')$ บนจุดฐาน $H$. คีย์ส่วนตัวสำหรับจุด $(ซี-ซี')$ จะเป็นค่า $b-\sum b_{i,j}$.

ตอนนี้เราได้แสดงให้เห็นสองสิ่ง: $C$ เป็นข้อผูกมัดในรายการองค์ประกอบเดียวกันกับ $C'$และส่วนประกอบแต่ละอย่างนั้น $a_i$ ถูกสร้างขึ้นเป็นรายการไม่เกิน $s$ บิต (และต้องเป็นจำนวนเต็มบวก)

สิ่งที่เหลืออยู่คือการแสดงให้เห็นว่าแต่ละข้อผูกพันที่ประกาศไว้ $C_{i,j}$ เป็นความมุ่งมั่นจริงๆ $0$ หรือเพื่อ $2^jG_i$.

สิ่งนี้สามารถทำได้ด้วยลายเซ็นแหวนประเภทใดก็ได้ที่พิสูจน์รหัสส่วนตัวสำหรับอย่างใดอย่างหนึ่ง $C_{i,j}$ หรือ $(C_{i,j} - 2^jG_i)$ บนจุดฐาน $H$ เป็นที่รู้จัก คุณสามารถใช้สัญลักษณ์กันกระสุนหรือลายเซ็นแหวน Borromean ที่เข้าใจง่ายกว่าเพื่อให้บรรลุเป้าหมายนี้

ru flag
ขอบคุณ ฉันเข้าใจ. ในกรณีนี้ ขนาดการพิสูจน์สำหรับข้อผูกพันทั้งหมด $C_{i, j}$ เป็น $O (\log (n \cdot s))$ ด้วย Bulletproofs?
knaccc avatar
es flag
@ShigeyukiAzuchi ฉันไม่ใช่ผู้เชี่ยวชาญเรื่องเกราะกันกระสุน ฉันมีประสบการณ์ในการใช้ Ring Signature ของ Schnorr เท่านั้น มันอาจทำให้สิ่งต่าง ๆ ซับซ้อนหรือไม่ซับซ้อนที่มี $G_i$ หลายจุดที่เกี่ยวข้อง

โพสต์คำตอบ

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