loop snippet

In otbn-rig, a loop snippet is a kind of snippet used when generating a random OTBN program. The documentation says the generated program is built from blocks called snippets, and that more complicated snippets include conditional branches and loops. The JSON output format represents this as a tree of snippets.

The documentation also describes snippet size in general. It gives examples for a single unconditionally executed instruction, a straight-line sequence of instructions, and an if/else branch. However, the provided evidence does not define any loop-specific size formula or JSON structure.

What the provided evidence supports

• otbn-rig generates random programs in JSON.
• Programs are built from snippets.
• Loops are one of the more complicated snippet forms.
• The JSON output represents a tree of snippets.

What is not specified here

The provided evidence does not describe:

• the internal fields of a loop snippet in JSON;
• how a loop snippet’s bounds are chosen; or
• any loop-specific execution or sizing rule.