logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-03 22:33:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Route in constants from a ConstantGate (#367)

Browse Source 
Rather than creating arithmetic gates with potentially unique constants.

Should be strictly cheaper, though it only seems to save one gate in practice.
This commit is contained in:
Daniel Lubarov 2021-11-16 09:28:58 -08:00 committed by GitHub
parent 909a5c2392
commit 1e66cb9aee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/gadgets/arithmetic.rs
View File

@ -153,20 +153,20 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
/// Computes `x + C`.
pub fn add_const(&mut self, x: Target, c: F) -> Target {
let one = self.one();
self.arithmetic(F::ONE, c, one, x, one)
let c = self.constant(c);
self.add(x, c)
}
/// Computes `C * x`.
pub fn mul_const(&mut self, c: F, x: Target) -> Target {
let zero = self.zero();
self.mul_const_add(c, x, zero)
let c = self.constant(c);
self.mul(c, x)
}
/// Computes `C * x + y`.
pub fn mul_const_add(&mut self, c: F, x: Target, y: Target) -> Target {
let one = self.one();
self.arithmetic(c, F::ONE, x, one, y)
let c = self.constant(c);
self.mul_add(c, x, y)
}
/// Computes `x * y - z`.

12
src/gadgets/arithmetic_extension.rs
View File

@ -294,14 +294,14 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
/// Like `add_const`, but for `ExtensionTarget`s.
pub fn add_const_extension(&mut self, x: ExtensionTarget<D>, c: F) -> ExtensionTarget<D> {
let one = self.one_extension();
self.arithmetic_extension(F::ONE, c, one, x, one)
let c = self.constant_extension(c.into());
self.add_extension(x, c)
}
/// Like `mul_const`, but for `ExtensionTarget`s.
pub fn mul_const_extension(&mut self, c: F, x: ExtensionTarget<D>) -> ExtensionTarget<D> {
let zero = self.zero_extension();
self.mul_const_add_extension(c, x, zero)
let c = self.constant_extension(c.into());
self.mul_extension(c, x)
}
/// Like `mul_const_add`, but for `ExtensionTarget`s.
@ -311,8 +311,8 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
x: ExtensionTarget<D>,
y: ExtensionTarget<D>,
) -> ExtensionTarget<D> {
let one = self.one_extension();
self.arithmetic_extension(c, F::ONE, x, one, y)
let c = self.constant_extension(c.into());
self.mul_add_extension(c, x, y)
}
/// Like `mul_add`, but for `ExtensionTarget`s.