Tham gia Đăng nhập
Điểm:1
J.Doe avatar Crypto

Trình xác minh SHA ở định dạng CNF

lá cờ br
J.Doe

Ai đó có thể giúp cho biết cách tạo trình xác minh 3-CNF cho SHA-256 rằng:

  1. xuất 1 nếu giá trị SHA-256 được tính toán của thông báo/đầu vào khớp với hàm băm được cung cấp trước
  2. Nếu không thì xuất ra 0.

Cho rằng tin nhắn có thể dài tùy ý, chúng ta có thể giả sử nó có độ dài hữu hạn (giả sử là 2 MB) để làm cho nhiệm vụ của chúng ta đơn giản hơn.

38
0 + 4
fgrieu avatar
lá cờ ng
fgrieu
Ngoại trừ kích thước của CNF, dường như không có khó khăn gì nổi bật. Bạn có thấy cách bạn sẽ thực hiện khi triển khai SHA-256 3-CNF cho thông báo có kích thước cố định không? Bạn sẽ xây dựng cái này như thế nào khi triển khai 3-CNF của nén SHA-256? Làm cách nào để xây dựng điều này từ việc triển khai 3-CNF của vòng SHA-256? Làm thế nào để tiếp tục phá vỡ điều đó thành 3-CNF? Chỉ cần bắt đầu làm điều đó, và nếu bạn gặp khó khăn, hãy cho biết ở đâu.
0
Hồi đáp
J.Doe avatar
lá cờ br
J.Doe
Cảm ơn. chỉ là một truy vấn tiếp theo. Bạn có thể đề xuất một ngôn ngữ tốt và một chương trình đầu ra mạch theo nghĩa cung cấp các hoạt động nhị phân cấp cao, về cơ bản, nó tạo ra một biểu thức boolean thực hiện logic. VHDL hoặc một số khác dường như là để thiết kế mạch nhưng tôi không chắc làm thế nào chúng ta có thể có được đầu ra dựa trên cổng logic [AND, OR, NOT] nhị phân thực hiện giống nhau. Tái bút Mới đối với điều này do đó hơi không biết gì.
0
Hồi đáp
fgrieu avatar
lá cờ ng
fgrieu
Xin lỗi tôi không thể giới thiệu một công cụ. Tôi đã từng (2004) muốn chuyển đổi sang CNF một vấn đề liên quan đến tiền điện tử ([VMPC](http://www.vmpcfunction.com/vmpc.pdf)), cố gắng tìm các công cụ dễ sử dụng, không thành công và cuối cùng viết [ một chương trình C ngắn](https://pastebin.com/WbDaYxWP). Điểm chuẩn mà nó tạo ra vẫn được sử dụng trong các cuộc thi SAT. Toàn bộ mọi thứ bắt đầu hoạt động trong một buổi tối duy nhất, IIRC.
2
Hồi đáp
J.Doe avatar
lá cờ br
J.Doe
không phải là một vấn đề. cảm ơn rất nhiều.
0
Hồi đáp
lá cờ VietNam
Phan Văn Trường
Câu hỏi này là trong các ngôn ngữ khác:

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.