Score:2

เป็นไปได้หรือไม่ที่จะตรวจสอบการคำนวณของฟังก์ชันแฮชโดยไม่ต้องพิสูจน์ด้วยความรู้ที่เป็นศูนย์?

ธง in

ให้ฉันแนะนำบริบทก่อน: สมมติว่าเรามีการประเมินฟังก์ชันแฮช: $$h = H(x, y),$$ ที่ไหน $x$ และ $y$ เป็นอินพุตสาธารณะและอินพุตส่วนตัวของฟังก์ชันแฮช $H$ตามลำดับ

แล้วถ้าผมต้องการพิสูจน์ให้ใครเห็นว่าการคำนวณนี้คำนวณถูกต้องโดยไม่ได้เปิดเผยจริง $x$จากนั้นฉันต้องสร้างหลักฐานความรู้ที่เป็นศูนย์ $\pi$ (ซึ่งสามารถรับได้จากวัตถุประสงค์ทั่วไป ZKPoK เช่น SNARKS, STARKS, ...) ของ $x$ ดังนั้น $h = H(x, y)$. จนถึงจุดนี้ทุกอย่างโอเค

จะทำอย่างไรถ้าฉันต้องการให้คนอื่นตรวจสอบการประเมินแฮชโดยไม่เปิดเผยอินพุตส่วนตัว $x$ไม่ผ่านวัตถุประสงค์ทั่วไป ZKPoK; และ ที่สำคัญกว่า: การรักษาฟังก์ชันแฮชบางอย่าง คุณสมบัติ เช่น ความกำหนด ความเสมอภาค และความเป็นสากล?

ความคิดแรกของฉันในการแก้ปัญหานี้คือการค้นหาฟังก์ชัน $f$ ดังนั้น:

  1. $ฉ(x)$ สามารถเผยแพร่ต่อสาธารณะได้ (เพื่อให้ทุกคนสามารถตรวจสอบการคำนวณได้ง่าย $H(f(x), y)$).
  2. $ฉ(x)$ ยังเป็นไปตามระดับที่กำหนด ความสม่ำเสมอ และความเป็นสากล

ในความเป็นจริงหากฟังก์ชั่นดังกล่าว $f$ มีอยู่ จากนั้นฉันก็สามารถแทนที่ได้ $H$ กับ $f$. สมมติว่าสิ่งที่ฉันพยายามค้นหาคือการคำนวณบางอย่างที่แบ่งปันคุณสมบัติบางอย่างที่ฟังก์ชันแฮชมี แต่มีประสิทธิภาพมากกว่ามาก (เช่น โดยไม่ต้องพิสูจน์วัตถุประสงค์ทั่วไป) สามารถตรวจสอบได้

แนวคิดที่สองคือการแทนที่กลไกการแฮชด้วยสิ่งอื่น (เช่น การเข้ารหัสที่เชื่อมต่อกันด้วยลายเซ็น ...) ที่สามารถตรวจสอบได้อย่างมีประสิทธิภาพในขณะเดียวกันก็รักษาคุณสมบัติที่กล่าวถึง

Ievgeni avatar
cn flag
สถานะของ $y$ คืออะไร?
Bean Guy avatar
in flag
คุณหมายถึงอะไรโดยสถานะ?
Ievgeni avatar
cn flag
เป็นที่รู้กันทั่วไปหรือไม่? หรือเป็นความลับ?
Bean Guy avatar
in flag
$x$ เป็นอินพุตสาธารณะ และ $y$ เป็นอินพุตส่วนตัว
Ievgeni avatar
cn flag
ถ้า $H$, $f(x)$ เป็นสาธารณะด้วย ทุกคนสามารถตรวจสอบ $h= H(f(x), y)$, ไม่?
Bean Guy avatar
in flag
แน่นอน แต่ฉันต้องการให้ $f(x)$ เป็นการคำนวณเชิงกำหนด เหมือนกันและเป็นสากล กล่าวอีกนัยหนึ่ง ฉันต้องการให้ $f(x)$ เป็นการคำนวณเชิงกำหนดที่ไม่เปิดเผยอะไรเลยเกี่ยวกับภาพล่วงหน้า $x$ และความเสี่ยงของการชนกันนั้นไม่มีนัยสำคัญ
Ievgeni avatar
cn flag
"ที่ไม่เปิดเผยอะไรเลย"=> แม่นยำยิ่งขึ้น
Bean Guy avatar
in flag
จะโอเคไหมถ้าฉันบอกว่าฉันต้องการให้ $f(x)$ ป้องกันภาพพรีอิมเมจ
us flag
จากคำอธิบายของคุณ ดูเหมือนว่าคุณกำลังมองหาแผนการผูกมัด เช่น ความมุ่งมั่นของ Pedersen
Bean Guy avatar
in flag
@RubenDeSmet ปัญหาคือความมุ่งมั่นไม่เหมือนองค์ประกอบแบบสุ่ม ตัวอย่างเช่น คุณสามารถเติมเลข 0 จำนวนหนึ่งต่อท้ายข้อผูกมัด จากนั้น คุณแยกแยะข้อผูกมัดจากองค์ประกอบแบบสุ่มได้อย่างง่ายดาย
us flag
ฉันไม่เห็นวิธีการ ความมุ่งมั่นของ Pedersen มาตรฐาน $C = xG + yH$ นั้นซ่อนตัวอยู่อย่างสมบูรณ์แบบ และแยกไม่ออกจากการสุ่ม ในทางกลับกัน; ที่จะรวมตัวแปร $y$ ของคุณเข้ากับฟังก์ชัน $f(x)$ และต้องการให้ตัวแปรสุ่มแบบเดียวกัน ดังนั้นจึงไม่เคร่งครัดกับสิ่งที่คุณต้องการ

โพสต์คำตอบ

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