Điểm:4

Định nghĩa về sự hài lòng của mạch trong bối cảnh của zk-SNARK

lá cờ sa

Một định lý tiêu chuẩn là khả năng thỏa mãn mạch boolean là NP-đầy đủ (được hiển thị trong CLRS, Ví dụ).

Tôi quan tâm đến ý nghĩa chính thức của những tuyên bố này. Từ CLRS, tôi có thể trích dẫn rằng

$$\text{CIRCUIT-SAT} = \{C \mid \text{$C$ là một mạch tổ hợp boolean thỏa mãn}\}$$

Trong Bitansky và cộng sự., tính thỏa mãn của mạch boolean được sử dụng để nắm bắt mệnh đề cần chứng minh. Tuy nhiên, đây không phải là CIRCUIT-SAT: Bitansky et al. xem xét sự thỏa mãn của một mạch $C$một đầu vào $x$. CIRCUIT-SAT chỉ mô tả sự hài lòng của một mạch $C$không tí nào đầu vào $x$.

Một zk-SNARK chứng minh các tuyên bố $x \in L$$L \trong NP$. Điều được thực hiện để tạo zk-SNARK cho khả năng thỏa mãn mạch boolean là giảm $L$ đến một mạch boolean $C$ như vậy mà $C$ là thỏa đáng cho một đầu vào $x$ nếu $x \in L$. $C$ người mẫu $L$, có thể nói như vậy.

Tôi bối rối bởi những người nói rằng khả năng thỏa mãn mạch boolean (hoặc số học) là NP-đầy đủ. Như tôi hiểu nó, $L$ cần phải được mô hình hóa bởi một mạch $C$. Tuy nhiên, nếu tôi đi theo định nghĩa của CIRCUIT-SAT, $x$ sẽ cần phải được chuyển đổi thành một mạch $C$. CIRCUIT-SAT cho zk-SNARK sẽ trông như thế nào

$$\text{CIRCUIT-SAT} = \{ (C, x) \mid \text{$C$ là mạch tổ hợp boolean thỏa đáng cho đầu vào $x$}\}$$

Chúng tôi muốn một mạch mỗi ngôn ngữ, không phải trên mỗi đầu vào.

Vì vậy, khi ai đó nói rằng khả năng đáp ứng của các mạch, R1CS, QSP hoặc QAP là NP-đầy đủ trong ngữ cảnh của zk-SNARK, thì thực tế họ có đề cập đến định nghĩa của tôi về CIRCUIT-SAT và các định nghĩa tương tự không?

Điểm:2
lá cờ us

Giả sử $L$ là ngôn ngữ NP và thuật toán kiểm tra nhân chứng của nó là $R$, để có thể $L = \{ x \mid \exists w : R(x,w) = 1 \}$.

Đây là cách tôi có thể chứng minh với bạn rằng $x \in L$:

  • Tạo mạch $C$ như vậy mà $C(w) = R(x,w)$. Cả hai chúng ta có thể làm điều này bởi vì $R$ là một thuật toán công khai và $x$ cũng là công khai. mạch này $C$ có ví dụ $x$ "mã hóa cứng" vào nó, để đầu vào chính thức duy nhất của nó là $w$.

  • Thuyết phục bạn rằng mạch $C$ là thỏa mãn -- tức là, có một đầu vào $w$ mà nguyên nhân $C$ để xuất 1.

Nói cách khác, tôi chỉ cần thuyết phục bạn rằng một số $C$ nằm trong CIRCUIT-SAT.

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