lurk-lab / lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

https://lurk-lang.org/

Apache License 2.0

418 stars 54 forks source link

A better design for Z data #1221

Closed arthurpaulino closed 2 months ago

arthurpaulino commented 3 months ago

1203 displays a failed attempt to improve a tag check in `zstore.rs`. However, the real issue is that Z data should be able to accommodate the `RawPtr` design.

lurk-lab / lurk-rs

A better design for Z data #1221

1203 displays a failed attempt to improve a tag check in zstore.rs. However, the real issue is that Z data should be able to accommodate the RawPtr design.

1203 displays a failed attempt to improve a tag check in `zstore.rs`. However, the real issue is that Z data should be able to accommodate the `RawPtr` design.