search

argumentcomputer / lurk

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
https://docs.argument.xyz
MIT License
46 stars 3 forks source link

chore: change `call`-based meta commands #375

Closed arthurpaulino closed 2 weeks ago

arthurpaulino commented 2 weeks ago

call, chain, transition and microchain-transition will now evaluate their arguments out of circuit and assemble the call expr to be proved using the evaluated, but quoted, arguments.