Puncte:4

Definiția satisfacției circuitului în contextul zk-SNARK-urilor

drapel sa

O teoremă standard este că satisfacabilitatea circuitului boolean este NP-complet (arată în CLRS, de exemplu).

Sunt interesat de ceea ce înseamnă oficial aceste afirmații. De la CLRS, pot să citez asta

$$\text{CIRCUIT-SAT} = \{C \mid \text{$C$ este un circuit combinațional boolean satisfacabil}\}$$

În Bitansky și colab., satisfacabilitatea circuitului boolean este folosită pentru a capta declarația de demonstrat. Cu toate acestea, acesta nu este CIRCUIT-SAT: Bitansky et al. luați în considerare satisfacabilitatea unui circuit $C$ pentru un intrare $x$. CIRCUIT-SAT descrie doar satisfacabilitatea unui circuit $C$ pentru orice intrare $x$.

Un zk-SNARK dovedește afirmațiile $x \în L$ pentru $L \în NP$. Ceea ce se face pentru a crea un zk-SNARK pentru satisfacabilitatea circuitului boolean este reducerea $L$ la un circuit boolean $C$ astfel încât $C$ este satisfăcătoare pentru o intrare $x$ dacă $x \în L$. $C$ modele $L$, ca sa zicem asa.

Sunt confuz de oamenii care spun că satisfacabilitatea circuitului boolean (sau aritmetic) este NP-complet. După cum am înțeles eu, $L$ trebuie modelat de un circuit $C$. Totuși, dacă am urmat definiția CIRCUIT-SAT, $x$ ar trebui convertit într-un circuit $C$. Cum ar trebui să arate CIRCUIT-SAT pentru zk-SNARK

$$\text{CIRCUIT-SAT} = \{ (C, x) \mid \text{$C$ este un circuit combinațional boolean satisfacabil pentru intrarea $x$}\}$$

Vrem un circuit pe limbă, nu pe intrare.

Deci, când cineva spune că satisfacabilitatea circuitelor, R1CS, QSP-uri sau QAP-uri este NP-completă în contextul zk-SNARK-urilor, se referă de fapt la definiția mea de CIRCUIT-SAT și altele similare?

Puncte:2
drapel us

Presupune $L$ este un limbaj NP, iar algoritmul său de verificare a martorilor este $R$, astfel încât $L = \{ x \mid \exists w : R(x,w) = 1 \}$.

Iată cum îți pot dovedi asta $x \în L$:

  • Generați un circuit $C$ astfel încât $C(w) = R(x,w)$. Amândoi putem face asta pentru că $R$ este un algoritm public și $x$ este de asemenea public. Acest circuit $C$ are instanța $x$ „codificat” în el, astfel încât singura sa intrare formală este $w$.

  • Te convinge că circuitul $C$ este satisfăcătoare -- adică există o intrare $w$ care cauzează $C$ la ieșirea 1.

Cu alte cuvinte, trebuie doar să vă conving că unii $C$ este în CIRCUIT-SAT.

Postează un răspuns

Majoritatea oamenilor nu înțeleg că a pune multe întrebări deblochează învățarea și îmbunătățește legătura interpersonală. În studiile lui Alison, de exemplu, deși oamenii își puteau aminti cu exactitate câte întrebări au fost puse în conversațiile lor, ei nu au intuit legătura dintre întrebări și apreciere. În patru studii, în care participanții au fost implicați în conversații ei înșiși sau au citit transcrieri ale conversațiilor altora, oamenii au avut tendința să nu realizeze că întrebarea ar influența – sau ar fi influențat – nivelul de prietenie dintre conversatori.