diff --git a/src/gadgets/random_access.rs b/src/gadgets/random_access.rs index 13e42ab8..ab0db68c 100644 --- a/src/gadgets/random_access.rs +++ b/src/gadgets/random_access.rs @@ -14,6 +14,10 @@ impl, const D: usize> CircuitBuilder { claimed_element: ExtensionTarget, v: Vec>, ) { + 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_index = self.add_gate(gate.clone(), vec![]); @@ -42,6 +46,10 @@ impl, const D: usize> CircuitBuilder { mut v: Vec>, 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(); if v.len() < min_length { v.resize(8, zero);