Loop bounds must be constant: Vyper compiler static analysis
Vyper enforces strict bounded loops to ensure predictable gas costs and prevent denial-of-service attacks. This requirement is handled by the compiler's static analysis component, which mandates that the upper bound of any for loop be a constant value known at compile-time. When implementing logic that requires iterating over a dynamic data structure, such a