snarkVM
snarkVM copied to clipboard
[Feature] Array Concatenation.
This PR supports concatenating two arrays via the concat instruction.
concat r0 r1 into r2 as [boolean; 8u32];
Note that users must specify the target type.
An alternate design choice was considered:
concat r0 r1 into r2;
However, the first solution was favored as it makes the types explicit.