Điểm:1

Chứng minh phạm vi của một giá trị mù quáng trong một cam kết của Pedersen với kiến ​​thức bằng không

lá cờ ps

Một câu tục ngữ có giá trị như sau: $$C = (h^ag^x)^b$$

và anh ta cần chứng minh bằng không kiến ​​​​thức cho người xác minh rằng $x < t$, đối với một số ngưỡng công khai $t$. Người xác minh biết $h$, $g$, $C$, và $t$. Người tục ngữ biết tất cả mọi thứ. Về cơ bản, đó là mối quan hệ sau:

$$\{(a,b,x)\ |\ C = (h^ag^x)^b \wedge x < t\}$$

Tôi biết điều này là có thể cho một giá trị $s' = h^ag^x$ (ví dụ như sử dụng kính chống đạn), nhưng tôi tự hỏi liệu nó có khả thi hay không khi có thêm yếu tố chói mắt $b$. Nếu vậy, bạn có thể giải thích làm thế nào hoặc chỉ cho tôi các tài liệu liên quan?

knaccc avatar
lá cờ es
Động lực để mù quáng Cam kết Pedersen hai lần là gì? Nếu hệ số mù của bạn $b$ khác nhau giữa các Cam kết Pedersen, thì chúng không còn đồng hình cộng
lá cờ ps
Hệ số mù $b$ thực sự giống nhau giữa các cam kết khác nhau, nhưng nó được tính toán bí mật thông qua MPC. Tôi cần nó để giữ cho các cam kết đồng nhất và đồng thời để ngăn người dùng giả mạo cam kết của người dùng khác (ví dụ: với $C_i \cdot g^{x'}$. Trong mô hình đối nghịch của tôi, một số người dùng là độc hại).
knaccc avatar
lá cờ es
Suy nghĩ đầu tiên của tôi là tôi không nghĩ điều đó là có thể, bởi vì 1. Bằng chứng phạm vi chỉ có thể hoạt động nếu người xác minh biết $g^b$ và 2. Kiến thức về $g^b$ cho phép giả mạo cam kết mà bạn' đang cố gắng ngăn chặn. Có thể có một cái gì đó phức tạp hơn có thể giải quyết vấn đề. Tại sao không chỉ ký các cam kết để ngăn chặn giả mạo?
knaccc avatar
lá cờ es
Một khả năng khác là những người xác minh tin tưởng rằng một loạt các cam kết đối với từng lũy ​​thừa của 2 (tất cả đều bị che khuất bởi $b$) đã được tuyên bố thực sự. Những cam kết đó sau đó có thể được sử dụng trong bằng chứng phạm vi cho bất kỳ cam kết nào bị che khuất bởi $b$. Tất cả những người chứng minh sẽ cần biết hệ số mù quáng $x$ cho mỗi cam kết sức mạnh của 2 đó.
lá cờ ps
Tôi có thể ký từng cam kết nhưng tôi cũng cho phép bất kỳ người dùng nào cộng tất cả các cam kết lại với nhau (bằng cách nhân chúng lên). Vì người dùng đó có thể độc hại, tôi không thể đảm bảo rằng cam kết cuối cùng cũng không bị giả mạo, phải không?
knaccc avatar
lá cờ es
Tôi không hiểu hết trường hợp sử dụng của bạn, vì vậy tôi không chắc tại sao, khi người dùng cộng các cam kết lại với nhau, họ không thể chỉ khai báo những cam kết nào đã được thêm cùng nhau để người xác minh có thể kiểm tra xem chúng đã được thêm chính xác chưa

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