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

fixes

Browse Source
This commit is contained in:
Nicholas Ward 2021-07-15 13:57:50 -07:00
parent d3127c73d3
commit 6b214410f2
2 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/circuit_data.rs
View File

@ -54,7 +54,7 @@ impl CircuitConfig {
pub(crate) fn large_config() -> Self {
Self {
num_wires: 134,
num_routed_wires: 28,
num_routed_wires: 34,
security_bits: 128,
rate_bits: 3,
num_challenges: 3,

18
src/gadgets/insert.rs
View File

@ -19,24 +19,26 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
vec_size: v.len(),
_phantom: PhantomData,
};
let gate_index =
self.add_gate_no_constants(InsertionGate::new(v.len()));
v.iter().enumerate().map(|(i, &val)| {
let gate_index = self.add_gate_no_constants(InsertionGate::new(v.len()));
v.iter().enumerate().for_each(|(i, &val)| {
self.route_extension(
val,
ExtensionTarget::from_range(gate_index, gate.wires_original_list_item(i)),
);
});
self.route(index, Target::wire(gate_index, gate.wires_insertion_index()));
self.route(
index,
Target::wire(gate_index, gate.wires_insertion_index()),
);
self.route_extension(
element,
ExtensionTarget::from_range(gate_index, gate.wires_element_to_insert()),
);
(0..=v.len()).map(|i| {
ExtensionTarget::from_range(gate_index, gate.wires_output_list_item(i))
}).collect::<Vec<_>>()
(0..=v.len())
.map(|i| ExtensionTarget::from_range(gate_index, gate.wires_output_list_item(i)))
.collect::<Vec<_>>()
}
}