Questions tagged [arithmetic-circuit]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
1 answer

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 ...
Z. Chen's user avatar
  • 185
1 vote
1 answer

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 ...
Mjf T's user avatar
  • 21
2 votes
1 answer

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 ...
user1936752's user avatar
2 votes
2 answers

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 ...
Yiyi's user avatar
  • 45
1 vote
0 answers

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 ...
itabline's user avatar
6 votes
1 answer

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 - Here, he writes We assume multiplication gates have exactly two ...
user93353's user avatar
  • 2,169
0 votes
1 answer

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 ...
taserghar's user avatar
  • 103
0 votes
1 answer

How are arbitrary boolean gates constructed in homomorphic encryption using only addition and multplication?

I've recently become interested in homomorphic encryption, specifically how boolean gates are constructed to do arbitrary circuit arithmatic on the encrypted data without decrypting it. I have heard ...
August H's user avatar
0 votes
0 answers

reason of using $y=0$ result in ABE for arithmetic circuits

In Boneh et. al.'s ABE scheme (,, the result value for the arithmetic function is selected ...
Mahdi Mahdavi's user avatar