У меня есть readnoreferrer ,что Nomadic Labs работает над включением некоторой разновидности zksnarks вtezos для будущих предложений по поправкам (предположительно в 2019 году).
Глядя на литературу,я вижу,что существует множество разновидностей нулевого знания,которые либо уже реализованы в других блокчейнах (zcash,ethereum),либо изучаются в академической литературе,включая некоторые без доверенной настройки .
Учитывая,что все эти реализации имеют относительные преимущества (см. вопрос для отличных ресурсов),я хотел бы знать,какие технические предположения/запросы/ограничения определяют выбор дизайна одной или нескольких реализаций zkp вtezos:
Может лиtezos получить выгоду от наличия нескольких доступных схем (некоторые из которых предназначены для большей безопасности,другие - для повышения производительности)?
Может ли потенциальная проблема реализации вызвать проблему целостности для всей цепочки или только для коллекции частных транзакций?
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:
Can tezos benefit from having multiple schemas available (some being geared to more security others geared to better performance)?
Would potential implementation issue cause an integrity problem for the entire chain or only the collection of private transactions?
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?
У меня есть readnoreferrer ,что Nomadic Labs работает над включением некоторой разновидности zksnarks вtezos для будущих предложений по поправкам (предположительно в 2019 году).
Глядя на литературу,я вижу,что существует множество разновидностей нулевого знания,которые либо уже реализованы в других блокчейнах (zcash,ethereum),либо изучаются в академической литературе,включая некоторые без доверенной настройки .
Учитывая,что все эти реализации имеют относительные преимущества (см. вопрос для отличных ресурсов),я хотел бы знать,какие технические предположения/запросы/ограничения определяют выбор дизайна одной или нескольких реализаций zkp вtezos: