2
ความท้าทายในการคำนวณใด ๆ สามารถเปลี่ยนเป็นหลักฐานการทำงานได้หรือไม่?
ปราศจากจุดหมายดูเหมือนของการทำเหมืองแร่ cryptocurrency ยกคำถามของทางเลือกที่มีประโยชน์ให้ดูที่คำถามเหล่านี้บนBitcoin , CST , มิสซูรี่ ฉันสงสัยว่ามีอัลกอริทึมที่สามารถแปลงความท้าทายการคำนวณใด ๆ ในทางปฏิบัติCC\mathcal C (ซึ่งวิธีการแก้ปัญหาสามารถตรวจสอบได้อย่างมีประสิทธิภาพ) ไปสู่ความท้าทายอีกเช่นนั้นΨ ( C )Ψ(C)\Psi(\mathcal C) (ซึ่งจะใช้สำหรับหลักฐานของการทำงาน) ดังกล่าวว่า ฟังก์ชันΨΨ\Psiถูกสุ่มโดยใช้ลำดับสุ่ม (สาธารณะ) บางส่วนrrR การแก้Ψ ( C )Ψ(C)\Psi(\mathcal C)คือมักจะเป็นเรื่องยากที่การแก้CC\mathcal C C หากการแก้ปัญหาxxxพบสำหรับΨ ( C )Ψ(C)\Psi(\mathcal C)จากนั้นเป็นวิธีการแก้ปัญหาΨ - 1 ( x )Ψ−1(x)\Psi^{-1}(x)สามารถคำนวณได้อย่างมีประสิทธิภาพสำหรับต้นฉบับท้าทายCC\mathcal C C รู้วิธีการแก้ปัญหาสำหรับCC\mathcal Cไม่ได้ช่วยในการหาวิธีการแก้ปัญหาสำหรับΨ ( CΨ(C)\Psi(\mathcal C) ) \;\:\:4 '(อัปเดต) ตามที่โนอาห์ชี้ให้เห็นในความคิดเห็นเงื่อนไขก่อนหน้านี้ควรได้รับการเสริมสร้างความเข้มแข็งเพื่อกำหนดให้การประมวลผลล่วงหน้าCC\mathcal …