Zero Knowledge Proof

[Sekonda]

 

Ce n'est pas facile de définir un cadrage pour ce fil mais l'idée est de présenter les méthodes avancées qui apparaissent en ce moment notamment les rollups et les différentes approches par passer à l'échelle ou être plus efficace en se basant sur des preuves à divulgation nulle de connaissance (zero knowledge proofs).

 

Quelques liens de vulgarisations (plus ou moins) :
Rollups:

• L'introduction de référence par Vitalik Buterin : An Incomplete Guide to Rollups
• Les ZK-ZK-Rollups d'Aztec

ZK :

• Différentes explications sur Halo2 (la plus simple)
• Une intro à Aztec (en français) :
• Une liste de liens sur les ZK-SNARK par Mina
• Buterin sur PLONK
• Un bon podcast sur les méthodes ZK : https://www.zeroknowledge.fm/
• la newsletter Zkmesh : un récapitulatif mensuel de ce qui s'est passé dans le monde du zero knowledge.

[Sekonda]

J'ajoute la newsletter Zkmesh : un récapitulatif mensuel de ce qui s'est passé dans le monde du zero knowledge.

[Sekonda]

Un articles assez technique en 2 parties (pour l'instant) sur les rollups:

Making Sense of Rollups, Part One: Optimistic vs. Zero Knowledge

Making Sense of Rollups, Part 2: Dispute Resolution on Arbitrum and Optimism

 

Voir aussi sur le sujet la vidéo déjà postée ailleurs

 

[Sekonda]

Zk-rollup vs. Solana

 

 

[Sekonda]

Une bonne liste de lectures sur le sujet 

 

Des discussions plus avancées mais intéressantes sur la terminologie :

 

 

Un bon résumé des nouvelles architectures :

 

 

[Sekonda]

Je pense de plus en plus de plus que les projets qui vont réussir / survivre seront ceux qui auront un vitesse d’exécution suffisante pour s'adapter et intégrer ces progrès au fur et à mesure.

 

BTC pourrait théoriquement intégrer des rollups (y compris l'exécution de contrats) mais cela demanderait l'ajout d'opcodes pour vérifier des ZKP  et je ne vois pas les développeurs se mettre d'accord.

[ttoinou]

Sauf si chaque réseau a ses propres propriétés et trouve sa niche. Si Bitcoin reste de l'or numérique, aucun besoin de nouvelles technos.

 

 

J'ai pas compris le rollup et les layer2

[ttoinou]

Ce qui est intéressant avec les cryptos c'est que chaque hypothèse que l'on faisait avant (pour simplifier et créer une solution sur le champ) peut être remise en question pour découvrir de nouvelles techniques.

 

Avant on voulait être sûr que l'autre était bien celui qu'il affirmait être et détenir, après on remplace ca par "payes pour autant de 9 que tu veux dans 0.999 chance sur 1 qu'il détienne bien l'info qu'il prétends mais on ne connaît pas cette info" ce qui ouvre de nouvelles portes dans plein de directions cool. Et maintenant "on intégrera cette transaction dans une semaine à moins que quelqu'un financièrement motivé ne nous prouvera qu'il ne détient pas l'info qu'il prétends", encore une fois ouvrant l'espace des possibilités d'applications et modifiant d'autres conpromis qui étaient tenus pour acquis. Rien ne dit que l'irreversibilité immédiate des transactions est vraiment utile aux consommateurs et entreprises utilisant les cryptos, c'était pourtant un argument massue des cryptos, en réalité juste le meilleur moyen de commencer une solution blockchain/crypto sans résoudre des problèmes trop complexes pour l'époque

 

[Waren]

Le 31/10/2021 à 11:11, ttoinou a dit :

Sauf si chaque réseau a ses propres propriétés et trouve sa niche. Si Bitcoin reste de l'or numérique, aucun besoin de nouvelles technos.

 

 

Tu as quand même un sacré fossé technologique entre Bitcoin et ce qui se fait actuellement. C'est se fermer des portes que de s'y cantonner uniquement.

[ttoinou]

Non. Le fait que tout le monde dans le monde connaisse de nom le bitcoin lui donne une valeur inestimable. Peu importe la technique derrière.

 

Sinon juste sur le point de vue technique, tu parles du fait qu'il y a beaucoup de nouvelles fonctionnalités cool en crypto ? Ou alors qu'il existe des bitcoin-like avec les mêmes features mais qui sont plus bcp plus efficaces (utilisant moins d'espace disque, moins de temps de calcul, moins de bande passante, moins de coûts pour miner, moins de coûts pour tenir un node etc.) ?

[Waren]

Il y a 3 heures, ttoinou a dit :

Sinon juste sur le point de vue technique, tu parles du fait qu'il y a beaucoup de nouvelles fonctionnalités cool en crypto ? Ou alors qu'il existe des bitcoin-like avec les mêmes features mais qui sont plus bcp plus efficaces (utilisant moins d'espace disque, moins de temps de calcul, moins de bande passante, moins de coûts pour miner, moins de coûts pour tenir un node etc.) ?

 

Oui, je pense particulièrement à tout ce qui gravite autour des Dapp et des smart-contract, que ce soit dans la Defi, les jeux, les sports, l'art, les transactions, les Oracles, etc. C'est bluffant. Tiens, pour la peine: 

https://dappradar.com/

https://www.dapp.com/

 

[ttoinou]

Tu parles donc du premier cas et pas du second ? juste pour être sûr. Tu dis oui à deux questions

[Sekonda]

Cette Faq de Polynya me semble une des meilleures introduction aux rollups et répond à beaucoup de contre-arguments. 

https://polynya.medium.com/addressing-common-rollup-misconceptions-eba9d758707e

[Sekonda]

Un nouvelle newsletter pour suivre l'actualité de zkSync : https://pseudotheos.substack.com/ par https://twitter.com/pseudotheos

 

 

zkSync se développe très vite :

https://newsletter.banklesshq.com/p/how-to-use-zksync?s=r => Orienté pratique

http://podcast.banklesshq.com/the-zkevm-is-here-alex-gluchowski-of-zksync => Sur l'exécution de contrats dans zkSync 2.0.

[Lameador]

Voici un excellent primer sur cet application cryptographique susceptible de rééquilibrer en faveur de la liberté et du droit à la vie privée les rapports de force.

 

https://www.zerohedge.com/crypto/beyond-crypto-zero-knowledge-proofs-show-potential-voting-finance

 

Les ZKP peuvent être un levier pour plafonner l'intrusivité des mesures de surveillance des états.

[Sekonda]

(fusionné avec le sujet existant)

[Sekonda]

Il y a 2 heures, Lameador a dit :

Voici un excellent primer sur cet application cryptographique susceptible de rééquilibrer en faveur de la liberté et du droit à la vie privée les rapports de force.

 

https://www.zerohedge.com/crypto/beyond-crypto-zero-knowledge-proofs-show-potential-voting-finance

 

Les ZKP peuvent être un levier pour plafonner l'intrusivité des mesures de surveillance des états.

Oui, et c'est un domaine où la recherche avance bien plus vite que ce qui était anticipé il y quelques années. Les implémentations concrètes arrivent assez vite (voir Scroll aujourd'hui même) mais le coût des preuves reste un obstacle.