# Questions tagged [arithmetic-circuit]

The tag has no usage guidance.

9 questions
Filter by
Sorted by
Tagged with
58 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 ...
1 vote
92 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 ...
126 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 ...
323 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 ...
1 vote
78 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 ...
505 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 ...
121 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 ...