QAP code: howto compile

first post: leon92 wrote: File qap/Types.h contains the following include directives: include...

Usage of --verify

first post: azerty123 wrote: Hi everyone Can anybody advise about the usage of the --verify op...

latest post: vcmp1 wrote: Hi, I am also trying to run the code that is discussed here. I am ...

How Pinocchio works

first post: koladoo wrote: I am a Master student and I am currently carrying out a research on...

latest post: parno wrote: Hi Kolade, Thanks for your interest in our work. The Pinocchio pa...

make.matrix errors

first post: ducTrinh wrote: Hi, I am doing Master program, and I need Pinocchio for my work I ...

latest post: ducTrinh wrote: I can run this as well, but the point is --verify option, as mentio...

nizks question

first post: wacban wrote: hello, I am doing my masters I would really love to use Pinocchio ...

latest post: wacban wrote: hey, I found a way to do it. The error was in the if statements. He...

Run separate client and server

first post: dmast wrote: I am currently doing my master's thesis in Computer Science on Veri...

latest post: dmast wrote: Dear Bryan, Thank you very much for your reply and the update of t...

polynomial asymptotics in the paper section 4.2.1

first post: jackiszhp wrote: The paper says a worker, in order to include h(s) into the proof, h...

latest post: jackiszhp wrote: Thank you for taking time to respond to me! I had this question sin...

Figure 2 in the paper

first post: jackiszhp wrote: The paper is rather difficult for me. For the Figure 2, I guess v...

latest post: parno wrote: Yes, v_1(x) = L_6(x), where L_6 is the Lagrange polynomial that's 1...

answered by: parno wrote: Yes, v_1(x) = L_6(x), where L_6 is the Lagrange polynomial that's 1...

calculated result verification

first post: jackiszhp wrote: in the paper, the calculated result y is an input for verification,...

latest post: jackiszhp wrote: thank you! I did not read the text carefully. it does says "the I/O...

Compiling C to a circuit

first post: JCrawford3 wrote: Hi, I've been trying to follow both the notes/discussions on here...

latest post: parno wrote: Hi, As noted in the README file, you need to edit the settings in ...