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

chore: properly detect flawed data in `ZDag` #373

Closed arthurpaulino closed 2 weeks ago

arthurpaulino commented 2 weeks ago

Enhance has_opaque_data (and rename it) to:

  1. Cache nodes that were already checked
  2. Also detect mismatching digests