Score:1

ตัวตรวจสอบ SHA ในรูปแบบ CNF

ธง br

ใครสามารถช่วยบอกวิธีสร้างตัวตรวจสอบ 3-CNF สำหรับ SHA-256 ที่:

  1. เอาต์พุต 1 หากค่า SHA-256 ที่คำนวณได้ของข้อความ/อินพุตตรงกับแฮชที่ให้ไว้ล่วงหน้า
  2. มิฉะนั้นเอาต์พุต 0

เนื่องจากข้อความสามารถมีความยาวได้ตามอำเภอใจ เราสามารถถือว่าข้อความมีความยาวจำกัด (เช่น 2 MB) เพื่อให้งานของเราง่ายขึ้น

fgrieu avatar
ng flag
ยกเว้นขนาดของ CNF ดูเหมือนจะไม่มีปัญหาสำคัญ คุณเห็นไหมว่าจะทำอย่างไรกับการใช้งาน 3-CNF ของ SHA-256 สำหรับข้อความขนาดคงที่ คุณจะสร้างสิ่งนี้ได้อย่างไรโดยใช้ 3-CNF ของการบีบอัด SHA-256 จะสร้างสิ่งนี้จากการใช้งาน 3-CNF ของรอบ SHA-256 ได้อย่างไร จะแบ่งสิ่งนั้นออกเป็น 3-CNF ได้อย่างไร แค่เริ่มทำถ้าติดขัดตรงไหนบอกได้นะครับ
J.Doe avatar
br flag
ขอบคุณ. เพียงติดตามผลแบบสอบถาม คุณสามารถแนะนำภาษาที่ดีและโปรแกรมเอาต์พุตวงจรในแง่ที่ว่าให้การดำเนินการไบนารีระดับสูงโดยพื้นฐานแล้วจะส่งออกนิพจน์บูลีนที่ใช้ตรรกะ VHDL หรืออื่น ๆ ดูเหมือนจะมีไว้สำหรับการออกแบบวงจร แต่ฉันไม่แน่ใจว่าเราจะได้รับลอจิกไบนารี [AND, OR, NOT] ของเกตที่ใช้เอาต์พุตแบบเดียวกันได้อย่างไร ป.ล. ใหม่สำหรับสิ่งนี้จึงค่อนข้างไร้เดียงสา
fgrieu avatar
ng flag
ขออภัย ฉันไม่สามารถแนะนำเครื่องมือได้ ครั้งหนึ่งฉัน (2004) ต้องการแปลงเป็น CNF ซึ่งเป็นปัญหาเกี่ยวกับการเข้ารหัสลับ ([VMPC](http://www.vmpcfunction.com/vmpc.pdf)) พยายามหาเครื่องมือที่ใช้ง่าย ล้มเหลว และลงเอยด้วยการเขียน [ โปรแกรมภาษา C สั้นๆ](https://pastebin.com/WbDaYxWP) มาตรฐานที่สร้างขึ้นยังคงใช้ในการแข่งขัน SAT ทุกอย่างเริ่มทำงานในเย็นวันเดียว IIRC
J.Doe avatar
br flag
ไม่ใช่ปัญหา ขอบคุณมาก.

โพสต์คำตอบ

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