1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
{ message_type: "Circuit", message: { connections: { variable_ids: [ 0, 1, 2, 3 ] }, free_variable_id: 6, r1cs_generation: true } }