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
47 stars 3 forks source link

Added the unconstrained feature in branches #354

Closed gabriel-barrett closed 4 weeks ago

gabriel-barrett commented 1 month ago

This allows you to mark match branches with the #[unconstrained] flag, which will remove branch constraints. This is useful in a few cases, but should be used with discretion, since it's a dangerous flag

arthurpaulino commented 1 month ago

I think this is the kind of patch that should come with at least some benefit (maybe in performance) besides the potential footgun