Discussions under General

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

Problems with the makefile in external code

first post: pratiksoni324 wrote: On running make in the external-code folder of ccompiler, a 404 err...

latest post: parno wrote: It looks like the pycparser project migrated to github. You can us...

Usage of --verify

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

latest post: azerty123 wrote: Works like a charm. Thanks!