มีการพิสูจน์ความรู้ที่ไม่มีศูนย์ของความลับที่แฮชหรือไม่?

อลิซต้องการแบ่งปันความลับ $S$ กับบ็อบ ดังนั้นเธอจึงเข้ารหัสมันด้วยคีย์ส่วนตัวของบ็อบ

Bob ไม่ได้ออนไลน์อยู่ในขณะนี้ ดังนั้น Victor จะรักษาความปลอดภัยให้เขาในระหว่างนี้

ผู้ตรวจสอบ Victor ต้องการตรวจสอบว่าเป็นความลับจริงๆ $S$ โดยไม่รู้ความลับจริงๆ $S$ ตัวเขาเอง. วิคเตอร์สามารถรู้แฮชของความลับได้อย่างน่าเชื่อถือ $S$ (รายละเอียดว่าเขาสามารถพึ่งพาแฮชได้อย่างไรไม่เกี่ยวข้องที่นี่) Victor สามารถมีข้อผูกมัดแบบอื่นได้ ไม่จำเป็นต้องเป็นแฮช หากเขาไม่สามารถอนุมานความลับเป็นข้อความธรรมดาได้

อลิซทำแบบนี้

encryptedSecret = เข้ารหัส (ความลับ, bobsPublicKey)

วิคเตอร์ทำแบบนี้

ตรวจสอบ (encryptedSecret, hashOfSecret) => จริง
ตรวจสอบ ("สิ่งอื่นใด", hashOfSecret) => เท็จ

ทำเช่นนั้น ตรวจสอบ ฟังก์ชั่นที่มีอยู่?

มี ZK-STARK ที่พิสูจน์ว่าคุณรู้จักพรีอิมเมจถึงคุณค่า "คำสั่ง Rescue-Hash ที่พิสูจน์โดยผู้พิสูจน์ที่ระบุในรหัสนี้คือ:

"ฉันรู้ลำดับของอินพุต n + 1 {w_i} เช่นว่า H(...H(H(w_0, w_1), w_2) ..., w_n) = p"

ที่ไหน:

H คือฟังก์ชันแฮชกู้ภัย
แต่ละ w_i เป็น 4 ทูเพิลขององค์ประกอบฟิลด์ สิ่งเหล่านี้เป็นข้อมูลส่วนตัวที่ทราบโดยผู้พิสูจน์เท่านั้น
p คือเอาต์พุตสาธารณะของแฮช (ซึ่งประกอบด้วยองค์ประกอบฟิลด์ 4 รายการด้วย)

" https://github.com/starkware-libs/ethSTARK/tree/ziggy

การตรวจสอบโซลูชัน Sudoku แบบส่วนตัว การพูดคุยของ Bowe-Maxwell และการทำธุรกรรม bitcoin ที่การประชุมเชิงปฏิบัติการ Financial Crypto 2016

ปัญหาที่แก้ไขได้ด้วยการตรวจสอบคือ:

1. ผู้ซื้อลังเลที่จะส่งเหรียญของเขาก่อน ซึ่งมีความเสี่ยงที่จะได้รับบิตสุ่ม
2. ผู้ขายลังเลที่จะส่งคำตอบของปริศนาก่อน เสี่ยงที่จะไม่ได้รับผลตอบแทน

มีการนำหลักฐานที่ไม่โต้ตอบมาใช้เพื่อยืนยันว่า:

1. ข้อความธรรมดาเป็นวิธีแก้ปัญหา Sudoku ที่ถูกต้องสำหรับปริศนาที่อยู่ในมือ
2. ไซเฟอร์เท็กซ์ถูกสร้างขึ้นด้วยคีย์
3. คีย์คือภาพล่วงหน้าสำหรับค่าแฮชที่ส่งไปยังผู้ซื้อพร้อมกับข้อความเข้ารหัส

แฮชนี้สามารถใช้เพื่อสร้างธุรกรรม HTLC เพื่อให้ผู้ขายอ้างสิทธิ์เหรียญของเขาโดยการเผยแพร่รหัสบนบล็อกเชนเท่านั้น จริง ๆ แล้วมีการใช้สคริปต์ แต่ให้ใช้ HTLC เป็นการทำให้เข้าใจง่าย

คำตอบสั้น ๆ ที่ใช้ได้จริงคือ: หนึ่งจะตรวจสอบ preimage แฮชด้วยการพิสูจน์ zkSNARK อีกคำตอบหนึ่ง (ทั่วไป) คือ มีระบบพิสูจน์อักษรโต้ตอบสำหรับภาษา NP ใดๆ

โฆษณาไร้ยางอาย: วงจรการตรวจสอบโซลูชันทางเลือกของ Sudoku ได้รับการออกแบบโดยเริ่มจากการแสดงชุดพหุนามและโซลูชัน "ไพ่" ของ Naor ซึ่งนำเสนอที่ IEEE ATIT 2019

https://github.com/vadym-f/Sudoku_solvability_proof/tree/master/IEEE_ATIT_2019