Score:0

เราจะสร้างวงจร SNARK เพื่อพิสูจน์ความรู้เกี่ยวกับพรีอิมเมจ SHA256 ได้อย่างไร

ธง us

โดยปกติแล้ว เราจะอธิบายวิธีการทำงานของ R1CS/QAPs และ SNARK โดยใช้ตัวอย่างวงจรที่มีการคูณและโหนดการบวก และการสร้างพหุนามจากสิ่งนั้นค่อนข้างตรงไปตรงมาการแฮช SHA-2 ใช้เลขคณิตแบบบิตที่ซับซ้อนซึ่งนำไปใช้กับตัวมันเองหลายครั้ง ไม่ใช่การคูณและบวกแบบง่ายๆ เราจะสร้างวงจรเพื่อพิสูจน์ว่าสตริงแฮชเป็นแฮชได้อย่างไร มีที่ไหนออนไลน์ที่ฉันสามารถอ่านเกี่ยวกับเรื่องนี้ในรูปแบบที่เข้าถึงได้หรือไม่?

Vadym Fedyukovych avatar
in flag
คุณจะอ่านซอร์สโค้ดของแกดเจ็ต SHA libsnark หรือไม่
us flag
@VadymFedyukovych ฉันหวังว่าจะได้ภาพรวมและคำอธิบายของหลักการทั่วไป
Vadym Fedyukovych avatar
in flag
จะทำอย่างไรถ้ามีคนถามคุณเกี่ยวกับหลักการทั่วไปของการเขียนโปรแกรม C++ หรือ Java? R1CS เป็นภาษา มีตัวอย่างที่เป็นที่รู้จักดีในไลบรารีแกดเจ็ตตั้งแต่ระดับพื้นฐานไปจนถึง SHA (ซึ่งมีขนาดใหญ่) คุณจะเริ่มต้นจากแนวคิดของการแสดงบิตของอินพุต string-to-hash โดยพิจารณาว่าแต่ละบิตเป็นตัวแปร R1CS หรือไม่

โพสต์คำตอบ

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