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

The tag has no usage guidance.

6
votes
1answer
100 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
131 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
50 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
45 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
75 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 ...