RISC0

Primitive choices

Primitive choices

Fill in all primitive choices made in the implementation.

Encoding choices

Encoding choices

Fill in all encoding choices made in the implementation.

Other decisions

Other decisions

Fill in all other decisions made in the implementation.