CESC '22 : Notes de terrain de l'atelier Zero Knowledge

Note de la rédaction: Notes de terrain est une série où nous rendons compte sur le terrain d'événements importants de l'industrie, de la recherche et d'autres événements. Dans cette édition, Valeria Nikolaenko, partenaire de recherche crypto a16z partage ses points saillants de la Atelier de preuve zéro connaissance affilié à la Conférence sur la sécurité de l'économie cryptographique (CESC), qui a eu lieu le 30 octobre à l'Université de Californie à Berkeley. La Danse visait à réunir des chercheurs et des praticiens pour présenter et discuter des développements les plus récents de la blockchain et du web3. Vous pouvez regarder les enregistrements des présentations ici.

• Dawn Song (UC Berkeley) a annoncé un nouveau MOOC pour le printemps 2023 sur les preuves à connaissance nulle, qui devrait débuteront le 17 janvier 2023 et rappelleront les MOOC déjà en cours à l'automne 2022 :

• Yu Peng Zhang (Texas A&M University) a présenté une tutoriel sur le développement récent des systèmes ZKP, un aperçu exceptionnel des différentes approches de la construction de systèmes de preuve zk, en les cartographiant sur 4 axes : concision du pouf, efficacité du prouveur et du vérificateur, et configuration transparente ou fiable.

• Dan Boneh (Université de Stanford) présenté un aperçu d'abstraction des IOP en général et du polynôme de Plonk-IOP en particulier.

Dan a également expliqué un nouveau système appelé Hyperplonk, qui peut éliminer les FFT coûteuses du côté du prouveur et gère les portes de degré élevé beaucoup plus efficacement, réduisant à la fois le temps du prouveur et la taille de la preuve. Le paramètre intéressant à retenir est que les FFT dominent le temps du prouveur lorsque le nombre de portes est supérieur à 2²⁰.

• Tiancheng Xie (UC Berkeley) présenté sur le zkBridge (lire le papier ici), soulignant l'importance d'une meilleure conception des ponts à la lumière des nombreux hacks récents (Exploitation du pont Ronin, Piratage de trou de ver, Bonde de pont nomade, etc). zkBridge minimise la confiance et améliore les performances avec le système de preuve à connaissance nulle deVirgo.
• Dawn Song (UC Berkeley) a annoncé zkCollective - une base pour une interopérabilité sécurisée entre les chaînes. Le formulaire pour participer à l'effort peut être rempli ici.
• Fan de Lion (Cysique) ont mis en évidence leurs résultats pour accélérer la multiplication multi-scalaire (MSM) sur FPGA pour les prouveurs zk, où la MSM représente souvent plus de 50 % du temps du prouveur. On estime qu'ils sont plus rapides que des efforts comparables (PipeMSM ainsi que CycloneMSM). Leur but ultime est de construire un ASIC.
• Marek Olszewski (Zèle) a donné une excellente démonstration sur l'exécution du client léger de Celo, Plumo, qui a été développé pendant 2 ans et lancé cette année. Le client est développé comme un circuit massif avec 2²⁷ portes, et alimenté par un optimiste pouvoirs-de-tau cérémonie qui peut être utile pour d'autres projets. Les membres de la communauté génèrent quotidiennement des preuves SNARK (après chaque changement d'époque), une preuve prend environ 1 heure sur une machine à 256 cœurs. Leur bibliothèque WASM permet la vérification des preuves à partir d'applications Web.
• Howard Wu (Aleo) a présenté les idées derrière la conception d'Aleo, qui construit une blockchain pour les transactions privées qui permet la simultanéité et des mises à jour d'état efficaces.
• Jérémy Bruestle (Risque0) a expliqué la logique de conception derrière la construction d'un jeu d'instructions zkVM pour RISC-V implémenté avec zkSTARK. RISC-V a un très petit ensemble d'instructions (<40), bien pris en charge par différents compilateurs, entièrement ouvert. Et, plus important encore, il est conçu pour des implémentations matérielles efficaces, ce qui implique une conception de circuit efficace pour les preuves zk.
• Uma Roy (Laboratoires succincts) a donné un aperçu d'un moyen de vérifier succinctement le consensus d'Ethereum avec zkSNARK avec un temps de preuve de seulement 1 minute.

Valéria Nikolaenko est un partenaire de recherche chez a16z crypto. Ses recherches portent sur la cryptographie et la sécurité de la blockchain. Elle a également travaillé sur des sujets tels que les attaques à longue portée dans les protocoles de consensus PoS, les schémas de signature, la sécurité post-quantique et le calcul multipartite. Elle est titulaire d'un doctorat en cryptographie de l'Université de Stanford et a travaillé sur la blockchain Diem au sein de l'équipe de recherche principale.

-

Les opinions exprimées ici sont celles du personnel individuel d'AH Capital Management, LLC (« a16z ») cité et ne sont pas les opinions d'a16z ou de ses sociétés affiliées. Certaines informations contenues ici ont été obtenues de sources tierces, y compris de sociétés de portefeuille de fonds gérés par a16z. Bien qu'elles proviennent de sources considérées comme fiables, a16z n'a pas vérifié ces informations de manière indépendante et ne fait aucune déclaration quant à l'exactitude durable des informations ou à leur pertinence dans une situation donnée. De plus, ce contenu peut inclure des publicités de tiers ; a16z n'a pas examiné ces publicités et n'approuve aucun contenu publicitaire qu'elles contiennent.

Ce contenu est fourni à titre informatif uniquement et ne doit pas être considéré comme un conseil juridique, commercial, d'investissement ou fiscal. Vous devriez consulter vos propres conseillers sur ces questions. Les références à des titres ou à des actifs numériques sont uniquement à des fins d'illustration et ne constituent pas une recommandation d'investissement ou une offre de fournir des services de conseil en investissement. En outre, ce contenu n'est ni destiné ni destiné à être utilisé par des investisseurs ou des investisseurs potentiels, et ne peut en aucun cas être invoqué pour prendre une décision d'investir dans un fonds géré par a16z. (Une offre d'investissement dans un fonds a16z ne sera faite que par le mémorandum de placement privé, le contrat de souscription et toute autre documentation pertinente de ce fonds et doit être lu dans son intégralité.) Tous les investissements ou sociétés de portefeuille mentionnés, référencés ou décrits ne sont pas représentatifs de tous les investissements dans des véhicules gérés par a16z, et rien ne garantit que les investissements seront rentables ou que d'autres investissements réalisés à l'avenir auront des caractéristiques ou des résultats similaires. Une liste des investissements effectués par des fonds gérés par Andreessen Horowitz (à l'exclusion des investissements pour lesquels l'émetteur n'a pas autorisé a16z à divulguer publiquement ainsi que des investissements non annoncés dans des actifs numériques cotés en bourse) est disponible sur https://a16z.com/investments /.

Les tableaux et graphiques fournis ici sont uniquement à des fins d'information et ne doivent pas être utilisés pour prendre une décision d'investissement. Les performances passées ne représentent pas les résultats futurs. Le contenu ne parle qu'à la date indiquée. Toutes les projections, estimations, prévisions, objectifs, perspectives et/ou opinions exprimées dans ces documents sont susceptibles d'être modifiées sans préavis et peuvent différer ou être contraires aux opinions exprimées par d'autres. Veuillez consulter https://a16z.com/disclosures pour des informations supplémentaires importantes.