Understand key realistic alternatives and possible bottlenecks/issues that require more research
Notes
E.g. STARKs have less of a trusted setup, but: (a) tooling appears to be lacking right now (b) proof size is ~40kb (too big for a single message => requires workaround) (c) verification time/gas usage high.
There are others like HALO, Bulletproofs, etc. More everyday. Understand how to place them and which to focus on and why.
Problem
Some of the isolated blockers for zKSNARKs (https://github.com/vacp2p/research/issues/7 https://github.com/vacp2p/research/issues/8 https://github.com/vacp2p/research/issues/9) might be mitigated by the use of other ZKP technology. However, they likely have their own issues.
Acceptance criteria
Understand key realistic alternatives and possible bottlenecks/issues that require more research
Notes
E.g. STARKs have less of a trusted setup, but: (a) tooling appears to be lacking right now (b) proof size is ~40kb (too big for a single message => requires workaround) (c) verification time/gas usage high.
There are others like HALO, Bulletproofs, etc. More everyday. Understand how to place them and which to focus on and why.