contract input_spend param x private x2 private x3 public input start set x2 x mul x2 x set x3 x2 mul x3 x constraint lc0_add x lc1_add x lc2_add x2 enforce lc0_add x2 lc1_add x lc2_add x3 enforce lc0_add input lc1_add 1 lc2_add x3 enforce end
