zksnark在tezos中有什么味道

我有已阅读 Nomadic Labs正在致力于将某些zksnarks风味融入tezo中,以用于未来的修订提案(大概在2019年).

查看文献,我发现有很多零知识的形式或者已经在其他区块链(zcash,以太坊)中实现,或者已经在学术文献中进行了研究,包括一些没有受信任的设置.

鉴于所有这些实现方式都具有相对优势(请参见问题(用于大量资源),我想知道哪些技术假设/要求/约束​​推动了tezos中zkp的一个或多个实现的设计选择:

1. tezos可以从拥有多个可用模式中受益吗?(其中一些模式旨在提高安全性,其他模式则可以提高性能)?
2. 潜在的实施问题会导致整个链的完整性问题还是仅导致私人交易的收集问题?
3. Tezos是要自我修正的,因此,如果选择了一种方案,并在以后发现一种新方案更好,那么某些zk证明是否可以将自己"移植"到新方案中?

I have read that Nomadic Labs is working on incorporating some flavor of zksnarks into tezos for future amendment proposal (presumably in 2019).

Looking at the literature I see there are many flavors of zero-knowledge which are being either already implemented in other blockchains (zcash, ethereum) or being studied in the academic literature including some without trusted setup.

Given that all these implementations have relative advantages (see this question for great resources), I would like to know what are the technical assumptions/requests/constraints that drive the design choice of the one or multiple implementation of zkp in tezos:

1. Can tezos benefit from having multiple schemas available (some being geared to more security others geared to better performance)?
2. Would potential implementation issue cause an integrity problem for the entire chain or only the collection of private transactions?
3. Tezos is meant to self-amend so if one schema is chosen and down the road a new schema is found superior, do certain kinds of zk proofs allow themselves to be "ported" to a new scheme?