Điểm:0

Làm cách nào để xây dựng mạch SNARK để chứng minh kiến ​​thức về hình ảnh trước SHA256?

lá cờ us

Thông thường, người ta giải thích cách hoạt động của R1CS/QAP và SNARK bằng cách sử dụng các ví dụ về mạch có các nút nhân và cộng, đồng thời xây dựng các đa thức từ đó tương đối đơn giản.Hàm băm SHA-2 sử dụng số học bit phức tạp được áp dụng cho chính nó nhiều lần, không phải phép nhân và phép cộng đơn giản. Làm thế nào để một người thậm chí xây dựng một mạch để chứng minh rằng một chuỗi băm thành một hàm băm? Có nơi nào trực tuyến mà tôi có thể đọc về điều này ở dạng dễ tiếp cận không?

Vadym Fedyukovych avatar
lá cờ in
Bạn có đọc mã nguồn của tiện ích SHA libsnark không?
lá cờ us
@VadymFedyukovych Tôi đã hy vọng một cái gì đó giống như tổng quan và giải thích về nguyên tắc chung
Vadym Fedyukovych avatar
lá cờ in
Điều gì sẽ xảy ra nếu ai đó hỏi bạn về các nguyên tắc chung của lập trình C++ hoặc Java? R1CS là ngôn ngữ, có những ví dụ nổi tiếng trong thư viện tiện ích từ sơ cấp đến SHA (lớn). Bạn có bắt đầu từ ý tưởng biểu diễn bit của chuỗi đầu vào thành hàm băm, coi mỗi bit là một biến R1CS không?

Đă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.