search

agoric-labs / jessica

Jessica - Jessie (secure distributed Javascript) Compiler Architecture
Apache License 2.0
36 stars 9 forks source link

zk Jessie via Ciaro? or Snarky? #55

Open dckc opened 3 years ago

dckc commented 3 years ago

docs say they have typed references as well as int/felt and struct. I wonder if that makes it a feasible Jessie compilation / translation / interpretation target.

another possible mechanism: https://github.com/o1-labs/snarky

cc @erights