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 x2)
    (scalar::one x)
    (scalar::one x3)
  )

  (enforce 
    (scalar::one input)
    (scalar::one cs::one)
    (scalar::one x3)  
  )
  )
  )
 )
(prove)
)
;; (println 'verify  (MyCircuit (scalar 27)))