Eutenho Ler Que onômade laboratórioestátrabalhandoparaincorporar algum sabor de zksnarksem Tezosparafuturaproposta de alteração (presumivelmenteem 2019).
Olhandopara a literatura que vejo hámuitos sabores de zero-conhecimento queestão sendojáimplementadosem outrosblockchains (ZCash,Ethereum) ouestudadosna literatura acadêmica,incluindo alguns sem configuração confiável .
Dado quetodasessasimplementaçõestêm vantagens relativas (vereste pergunta Porgrandes recursos),gostaria de saber quais são as suposições/pedidos/restriçõestécnicas queimpulsionam aescolha de design da única oumúltiplaimplementação de ZKPem Tezos:
.
a Tezospodebeneficiar deter váriosesquemas disponíveis (alguns sendo voltadosparamais segurança outros voltadosparamelhor desempenho)?
Oproblemapotencial deimplementação causará umproblema deintegridadeparatoda a cadeia ou apenas a coleta detransaçõesprivadas?
Tezos épara simesmopara se auto-alterar,se umesquema éescolhidoe descendo aestrada,umnovoesquema éencontrado superior,fazer certostipos deprovas zkpermitem-se ser "portadas"para umnovoesquema?
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?
Eutenho Ler Que onômade laboratórioestátrabalhandoparaincorporar algum sabor de zksnarksem Tezosparafuturaproposta de alteração (presumivelmenteem 2019).
Olhandopara a literatura que vejo hámuitos sabores de zero-conhecimento queestão sendojáimplementadosem outrosblockchains (ZCash,Ethereum) ouestudadosna literatura acadêmica,incluindo alguns sem configuração confiável .
Dado quetodasessasimplementaçõestêm vantagens relativas (vereste pergunta Porgrandes recursos),gostaria de saber quais são as suposições/pedidos/restriçõestécnicas queimpulsionam aescolha de design da única oumúltiplaimplementação de ZKPem Tezos:
.- a Tezospodebeneficiar deter váriosesquemas disponíveis (alguns sendo voltadosparamais segurança outros voltadosparamelhor desempenho)?
- Oproblemapotencial deimplementação causará umproblema deintegridadeparatoda a cadeia ou apenas a coleta detransaçõesprivadas?
- Tezos épara simesmopara se auto-alterar,se umesquema éescolhidoe descendo aestrada,umnovoesquema éencontrado superior,fazer certostipos deprovas zkpermitem-se ser "portadas"para umnovoesquema?