From b440d8500d4475abb5133a500b8ffa0f4c5390e4 Mon Sep 17 00:00:00 2001
From: Olexandr88 <radole1203@gmail.com>
Date: Tue, 10 Feb 2026 10:34:03 +0200
Subject: [PATCH] validate OODS length before slicing in verify_oods

Signed-off-by: Olexandr88 <radole1203@gmail.com>
---
 src/oods.cairo | 1 +
 1 file changed, 1 insertion(+)

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,