diff --git a/src/oods.cairo b/src/oods.cairo index 1f1b03ec..4bc507b3 100644 --- a/src/oods.cairo +++ b/src/oods.cairo @@ -59,6 +59,7 @@ fn verify_oods( trace_generator: felt252, contract_address: ContractAddress, ) { + assert(oods.len() >= 2, 'Invalid OODS length'); let composition_from_trace = AIRComposition::eval_composition_polynomial( interaction_elements, public_input,