constant v = 123 contract input_spend param x private x2 private x3 public input start set x2 x mul x2 x lc0_add x lc1_add x lc2_add x2 enforce set x3 x2 mul x3 x lc0_add x2 lc1_add x lc2_add x3 enforce set input x3 lc0_add input lc1_add 1 lc2_add x3 enforce end
