Điểm:2

Thực hiện có thể kiểm chứng của một chương trình

lá cờ si

Tôi muốn biết nguyên hàm mật mã nào có thể được sử dụng để Alice chứng minh với Bob rằng cô ấy thực sự đã thực hiện một chương trình. Mục tiêu là tạo ra Bằng chứng hữu ích, trong đó Alice chứng minh rằng cô ấy đã xác minh một giao dịch, nhưng bằng chứng này được gắn với khóa công khai của Alice. Việc tạo bằng chứng chỉ có thể thực hiện được bằng cách thực thi chương trình. Việc xác minh bằng chứng sẽ nhanh hơn nhiều khi sử dụng khóa công khai của Alice.

Đầu vào (được mọi người biết đến):

  • Danh tính của Alice (bao gồm khóa công khai và tài liệu cần thiết khác)
  • Đầu vào của chương trình
  • Bản thân chương trình
  • Đầu ra của chương trình

Đầu ra (được tạo bởi Alice):

  • Một bằng chứng thực hiện

Xác minh (do Bob thực hiện):

  • Lấy tất cả thông tin đầu vào cộng với bằng chứng thực thi và xác minh thông tin đó chính xác

Những hạn chế:

  • Ngay cả khi Eve biết tất cả Đầu vào và Đầu ra, thì điều đó cũng không mang lại lợi thế cho cô ấy trong việc tạo bằng chứng thực thi của riêng mình
  • Xác minh phải nhanh hơn nhiều so với tạo lại bằng chứng

Tôi hiện đang xem xét Hàm trì hoãn có thể xác minh và Hàm ngẫu nhiên có thể xác minh, nhưng điều này dường như không hoàn toàn đạt được mục tiêu. Có lẽ một số loại ZKP có thể được sử dụng, nhưng để chứng minh việc thực thi chương trình chung có vẻ rất nặng nề.

lá cờ cn
Tính toán có thể kiểm chứng có giúp được gì không, ví dụ: https://eprint.iacr.org/2013/279.pdf? Tính năng chính của VC là việc xác minh tính toán sẽ hiệu quả hơn nhiều so với việc tự thực hiện tính toán. Nhân tiện, đây là ZKP vì người xác minh cần biết đầu vào, nhưng có vẻ như nó phù hợp với yêu cầu của bạn.
lá cờ cn
Xin lỗi, lỗi đánh máy, nó phải là *không phải ZKP*. Tôi không thể chỉnh sửa vì một số lý do.
lá cờ si
Trong bài báo, họ cũng chỉ ra cách nó có thể được sử dụng như một ZKP. Tuy nhiên, nếu Eve muốn chứng minh rằng cô ấy đã xác minh chương trình, cô ấy sẽ phải gọi lại `KeyGen`, điều này có vẻ khá tốn kém. Tôi đã xem xét một chút các bài báo trích dẫn Pinocchio, nhưng không thể tìm thấy bất kỳ bài báo nào có thể loại bỏ nhiều lệnh gọi tới `KeyGen`.
lá cờ jp
Theo định nghĩa, bất kỳ thông tin nào Alice có mà Bob không có đều là đầu ra của chương trình. Chúng ta có thể tạo ra tất cả các kết quả trung gian, để chứng minh rằng Alice thực sự biết các kết quả trung gian, nhưng sau đó Eve cũng sẽ biết chú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.