For tracking purposes, a list of all topics here, marking the ones that were already covered:
General:
- pre- and post-ordering
- forall & negative checks
- transaction function composition; define all operations on transaction functions instead of/in addition to transactions
- non-linear resources
- EVM integration
- more examples
- async co-processing
- FHE integration
- this
Information flow control:
- cross-proof-system interoperability
- generalized information revelation
- would designated-verifier proofs be useful?
- information revelation to different parties: explicitly define what and to whom
- this also relates to the balancing signature topic
- transitions between transparent and zk proofs
- IFC for transactions
Out of the report scope:
- distributed partial evaluation
- should be written down somewhere
- balancing signature business
- worked on; taiga-specific