snarkVM icon indicating copy to clipboard operation
snarkVM copied to clipboard

[Feature] Early halt on nested definitions and values that exceed `P::NUM_DEPTH`

Open howardwu opened this issue 3 years ago • 0 comments

🚀 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.

howardwu avatar May 08 '22 17:05 howardwu