Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [circuit]

The tag has no usage guidance.

7
votes
1answer
193 views

Representing a function as FHE circuit

I am actually trying to study homomorphic encryption (on lattices) but I'm facing a problem. Every paper that I have read so far talk about writing the function to evaluate on ciphertexts as a circuit,...
7
votes
3answers
135 views

How to determine the layers of a circuit?

In many cryptographic applications like Multiparty Computation (MPC) or Fully Homomorphic Encryption (FHE), you consider a function $f$ described by a circuit over some algebraic structure, typically ...
1
vote
0answers
66 views

zkSNARK and definition of Quadratic Span Program

In zkSNARKs in a Nutshell, page 12, what exactly are $I_{free}$ and $V_{free}$? Why do we have $V_{free}$ but not $W_{free}$?
0
votes
0answers
49 views

zk-SNARKs: Possible to deduce circuit/statement from verification key and proof?

Suppose Carol generated proving and verification key pk and vk (discarding $\lambda$) for some circuit $C$. If Alice then used pk to generate a proof $\pi$ for some witness $w$ then it is clear from ...
3
votes
1answer
79 views

Can any one explain why circuit privacy is needed on homomorphic encryption?

I know some works have been done in the context of cirrcuit privacy on homomorphic encryption, where from an output ciphertext it does not allow someone to distinguish what function is computed. I ...