darkfi/lisp/new-cs.lisp

(println "new-cs.lisp")
(setup 
  (let* [aux (scalar 3)
      x (alloc "x" aux)
      x2 (alloc "x2" (* aux aux))
      x3 (alloc "x3" (* aux (* aux aux)))
      input (alloc-input "input variable" aux)]
  ;; (enforce left right output)
  (enforce 
    (scalar::one x)
    (scalar::one x)
    (scalar::one x2)
  )

  (enforce 
    (scalar::one x)
  )

  (enforce 
    (scalar::one input)
    (scalar::one cs::one)
    (scalar::one x3)  
  )
)))

(prove)
;; (println 'verify  (MyCircuit (scalar 27)))