Coroutine support for `Op::Recv` and `Op::Emit`

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

Coroutine support for `Op::Recv` and `Op::Emit` #1216

Open arthurpaulino opened 3 months ago

arthurpaulino commented 3 months ago

[Post #1209]

We should use TerminalChannel to send and receive messages when implementing those LEM operators. The main interpreter and circuit code show how to handle those.