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

Add generator to circuit

Browse Source
This commit is contained in:
Daniel Lubarov 2021-04-12 10:18:16 -07:00
parent 7d9bb073f4
commit 30b845e6b3
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/gadgets/split_join.rs
View File

@ -18,12 +18,13 @@ impl<F: Field> CircuitBuilder<F> {
num_bits: usize,
) -> Vec<Target> {
let bit_targets = self.add_virtual_advice_targets(num_bits);
split_le_generator::<F>(integer, bit_targets.clone());
self.add_generator(SplitGenerator { integer, bits: bit_targets.clone() });
bit_targets
}
}
/// Generator for a little-endian split.
#[must_use]
pub fn split_le_generator<F: Field>(
integer: Target,
bits: Vec<Target>,
@ -32,6 +33,7 @@ pub fn split_le_generator<F: Field>(
}
/// Generator for a little-endian split.
#[must_use]
pub fn split_le_generator_local_wires<F: Field>(
gate: usize,
integer_input_index: usize,

6
src/hash.rs
View File

@ -1,15 +1,13 @@
//! Concrete instantiation of a hash function.
use std::convert::TryInto;
use rayon::prelude::*;
use crate::circuit_builder::CircuitBuilder;
use crate::field::field::Field;
use crate::gmimc::gmimc_permute_array;
use crate::proof::{Hash, HashTarget};
use crate::util::reverse_index_bits_in_place;
use crate::circuit_builder::CircuitBuilder;
use crate::target::Target;
use crate::util::reverse_index_bits_in_place;
pub(crate) const SPONGE_RATE: usize = 8;
pub(crate) const SPONGE_CAPACITY: usize = 4;