The 2024 Developer Survey results are live! See the results

# Questions tagged [arithmetic-circuit]

The tag has no usage guidance.

11 questions
Filter by
Sorted by
Tagged with
59 views

### Why do SNARKs operate on arithmetic circuits?

I'm currently writing my bachelor thesis about zero-knowledge proofs. Right now I'm working on introducing SNARK's and in my approach I'm following this course that's available on youtube. In the ...
48 views

### Are polynomial hash functions over prime order fields ZK-friendly?

"Traditional" hash functions such as SHA2/SHA3 are not considered ZK-friendly because their translation in the native prime fields of the ZK-proof system leads to a large number of ...
• 2,873
99 views

### How to convert exponents and group operations to gates in arithmetic circuit

I am following Vitalik Buterin's article to study zk-SNARKs recently. I can understand the main procedure of zk-SNARKs when given example equation x**3 + x + 5 == 35. However, in cryptography, most ...
• 185
1 vote
137 views

### Matrix multiplication circuit

I am trying to understand which operations are computable by an $\texttt{NC}^1$ circuit. However, I am struggling to understand whether there is such a circuit for multiplying a matrix with a vector ...
• 21
145 views

### Can a 3-coloring for a graph be represented as a circuit?

I was looking at a layman explanation for zero-knowledge proofs in zk-SNARKs here. The idea there is that if one knows a solution (3) to a question (find a value of ...
• 737
525 views

### How to compare two field elements in Arithmetic Circuit?

Given two field elements as input of Arithmetic Circuit (consists of adding gates and multiplicating gates only), how could I output the bigger one? Or, how to place the gates in order to distinguish ...
• 45
1 vote
106 views

### How to compute the absolute value of a float number using only addition and multiplication (or using an and-xor circuit)?

Hi I am trying to calculate the abs or a float number $x$, however, I want to apply this operation when $x$ is under fully homomorphic encryption (typically CKKS ...
• 11
753 views

### Arithmetic Circuits to R1CS. Do we consider addition gates or not?

Here is Ariel Gabizon's Blog for the process of converting Arithmetic Circuits into R1CS - https://electriccoin.co/blog/snark-explain5/ Here, he writes We assume multiplication gates have exactly two ...
• 2,180
157 views

### Conditional Boolean circuits

I have two questions I couldn't find straightforward answers to after many searches. (1) We can perform 2-party MPC over arbitrary functions using Garbled Circuit. To do that, we first need to convert ...
• 103