Allow non-pure provable types as inputs/outputs in zkprogram
mitschabaude opened this issue · comments
This would be a great DX improvement because it would allow directly updating rich provable types like MerkleList or IndexedMerkleMap by a zkprogram