Puncte:2

Execuția verificabilă a unui program

drapel si

Aș dori să știu ce primitive criptografice ar putea fi folosite pentru ca Alice să-i demonstreze lui Bob că a executat de fapt un program. Scopul este de a realiza o lucrare de dovezi utile, în care Alice demonstrează că a verificat o tranzacție, dar în care această dovadă este legată de cheia publică a lui Alice. Crearea dovezii trebuie să fie posibilă numai prin executarea programului. Verificarea dovezii ar trebui să fie mult mai rapidă folosind cheia publică a lui Alice.

Intrare (cunoscută de toată lumea):

  • Identitatea lui Alice (inclusiv cheia publică și alte materiale necesare)
  • Intrarea programului
  • Programul în sine
  • Ieșirea programului

Ieșire (creată de Alice):

  • O dovadă de execuție

Verificare (realizată de Bob):

  • Luați toate datele introduse plus dovada execuției și verificați că este corectă

Restrictii:

  • Chiar dacă Eve știe toate intrările și ieșirile, nu ar trebui să-i ofere un avantaj în a-și crea propria dovadă de execuție
  • Verificarea ar trebui să fie mult mai rapidă decât recrearea dovezii

În prezent, mă uit la funcțiile de întârziere verificabile și la funcția aleatorie verificabilă, dar acest lucru nu pare să atingă ținta. Poate că ar putea fi folosit un fel de ZKP, dar pentru a dovedi o execuție generică a unui program pare foarte greu.

drapel cn
Ar ajuta calculul verificabil, de exemplu, https://eprint.iacr.org/2013/279.pdf? Caracteristica cheie a VC este că verificarea calculului ar trebui să fie mult mai eficientă decât efectuarea calculului în sine. Apropo, acestea sunt ZKP, deoarece verificatorul trebuie să cunoască intrarea, dar pare să se potrivească cerințelor dvs.
drapel cn
Ne pare rău, greșeală, ar trebui să fie *nu sunt ZKP*. Nu pot edita din anumite motive.
drapel si
În lucrare, ei arată cum poate fi folosit și ca ZKP. Cu toate acestea, dacă Eve vrea să demonstreze că a verificat programul, va trebui să sune din nou „KeyGen”, ceea ce pare a fi destul de scump. M-am uitat puțin la lucrările care citează Pinocchio, dar nu am găsit niciuna care să poată elimina apelurile multiple către „KeyGen”.
drapel jp
Prin definiție, orice informație pe care Alice o are pe care Bob nu o are este o ieșire a programului. Am putea obține toate rezultatele intermediare, pentru a demonstra că Alice știe de fapt rezultatele intermediare, dar apoi le-ar ști și Eve.

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.