feat: `fail` built-in - Githubissues

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

Closed arthurpaulino closed 2 months ago

arthurpaulino commented 2 months ago

Generalize error message formatting in Lair's Preimg and AssertEq
Remove the dependency on lurk from the lair module
- The execution algorithm was calling a bigint formatting function
Move Lurk specific message formatting to the reduction model
Implement fail with a proper message for good user feedback