Allow non-pure provable types as inputs/outputs in zkprogram

o1-labs / o1js

TypeScript framework for zk-SNARKs and zkApps

https://docs.minaprotocol.com/en/zkapps/how-to-write-a-zkapp

Apache License 2.0

473 stars 105 forks source link

Allow non-pure provable types as inputs/outputs in zkprogram #1675

Open mitschabaude opened 2 weeks ago

mitschabaude commented 2 weeks ago

This would be a great DX improvement because it would allow directly updating rich provable types like MerkleList or IndexedMerkleMap by a zkprogram