ich habe lesen ,dass Nomadic Labs daran arbeitet,einen Geschmack von ZKSnarksin Tezosfür den zukünftigen Änderungsvorschlag (vermutlich 2019)integriert (vermutlich).
Blick auf die Literatur,ich sehe,dasses viele Aromen von Nullwissengibt,dieentwederbereitsin anderen Blockkammen (Zcash,Ethereum) umgesetzt werden oderin der akademischen Literatur untersucht werden,einschließlich ohne vertrauenswürdiges Setup .
Angesichts,dass alle diese Implementierungen relative Vorteile haben (siehe dies Frage fürgroße Ressourcen),ichmöchte wissen,was dietechnischen Annahmen/Anfragen/Einschränkungen sind,die die Design-Wahl dereinen odermehrerer Umsetzung von ZKPin Tezostreiben:
.
kann Tezos davonprofitieren,dassmehrere Schemas verfügbar sind (einige,die aufmehr Sicherheit angerichtet sind,andere aufbessere Leistung ausgerichtet)?
Tezos soll sich selbst ändern,wennein Schemagewählt und die Straßeist,dassein neues Schema überlegenist,können sichbestimmte Arten von ZK-Beweisenfürein neues Schema "portiert" lassen?
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?
ich habe lesen ,dass Nomadic Labs daran arbeitet,einen Geschmack von ZKSnarksin Tezosfür den zukünftigen Änderungsvorschlag (vermutlich 2019)integriert (vermutlich).
Blick auf die Literatur,ich sehe,dasses viele Aromen von Nullwissengibt,dieentwederbereitsin anderen Blockkammen (Zcash,Ethereum) umgesetzt werden oderin der akademischen Literatur untersucht werden,einschließlich ohne vertrauenswürdiges Setup .
Angesichts,dass alle diese Implementierungen relative Vorteile haben (siehe dies Frage fürgroße Ressourcen),ichmöchte wissen,was dietechnischen Annahmen/Anfragen/Einschränkungen sind,die die Design-Wahl dereinen odermehrerer Umsetzung von ZKPin Tezostreiben:
.- kann Tezos davonprofitieren,dassmehrere Schemas verfügbar sind (einige,die aufmehr Sicherheit angerichtet sind,andere aufbessere Leistung ausgerichtet)?
- würdeein potenzielles Implementierungsproblemein Integritätsproblemfür diegesamte Kette odernur die Sammlungprivater Transaktionen verursachen?
- Tezos soll sich selbst ändern,wennein Schemagewählt und die Straßeist,dassein neues Schema überlegenist,können sichbestimmte Arten von ZK-Beweisenfürein neues Schema "portiert" lassen?