snarkVM
snarkVM copied to clipboard
[Feature] Early halt on nested definitions and values that exceed `P::NUM_DEPTH`
🚀 Feature
Early halt on nested definitions and values that exceed P::NUM_DEPTH
This applies to Definition and Value in snarkvm-bytecode. We'll need to add safety checks for both string parsing and byte (de)serializing to enforce that a definition and value cannot exceed P::NUM_DEPTH in nested structures.