logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-05-22 17:59:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Trivial random access

Browse Source
This commit is contained in:
wborgeaud 2021-10-06 16:36:30 +02:00
parent 5098c2a386
commit 9b098a9fbe
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/gadgets/random_access.rs
View File

@ -14,6 +14,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
claimed_element: ExtensionTarget<D>, claimed_element: ExtensionTarget<D>,
v: Vec<ExtensionTarget<D>>, v: Vec<ExtensionTarget<D>>,
) { ) {
debug_assert!(!v.is_empty());
if v.len() == 1 {
return self.connect_extension(claimed_element, v[0]);
}
let gate = RandomAccessGate::new(v.len()); let gate = RandomAccessGate::new(v.len());
let gate_index = self.add_gate(gate.clone(), vec![]); let gate_index = self.add_gate(gate.clone(), vec![]);
@ -42,6 +46,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
mut v: Vec<ExtensionTarget<D>>, mut v: Vec<ExtensionTarget<D>>,
min_length: usize, min_length: usize,
) { ) {
debug_assert!(!v.is_empty());
if v.len() == 1 {
return self.connect_extension(claimed_element, v[0]);
}
let zero = self.zero_extension(); let zero = self.zero_extension();
if v.len() < min_length { if v.len() < min_length {
v.resize(8, zero); v.resize(8, zero);