CESC '22: Notas de campo del Taller ZKP

Notas de campo es una serie en la que informamos sobre el terreno en eventos importantes de la industria, la investigación y otros. En esta edición, Valeria Nikolaenko, socia de investigación del laboratorio de criptografía a16z, informa sobre la Taller de prueba de conocimiento cero del desplegable Conferencia de seguridad de criptoeconomía (CESC), que tuvo lugar el 30 de octubre en la Universidad de California en Berkeley. los programa tuvo como objetivo reunir a investigadores y profesionales para mostrar y discutir los desarrollos más recientes en blockchain y web3. Puedes ver las grabaciones de las presentaciones esta página.

• Dawn Song (UC Berkeley) anunció un nuevo MOOC para la primavera de 2023 en pruebas de conocimiento cero, que está programado para comenzará el 17 de enero de 2023 y recordó los MOOC que ya se están ejecutando en el otoño de 2022:

• yupeng zhang (Universidad A&M de Texas) presentó una tutorial sobre el desarrollo reciente de los sistemas ZKP, una descripción general excepcional de los diferentes enfoques para crear sistemas de prueba zk, mapeándolos en 4 ejes: concisión de poof, eficiencia del probador y verificador, y configuración transparente versus confiable.

• Dan Boneh (Universidad Stanford) presentó una visión general de abstracción de IOPs en general y polinomio-IOP de Plonk en particular.

Dan también explicó un nuevo sistema llamado HiperPlonk, que puede eliminar costosas FFT del lado del probador y maneja puertas de alto grado de manera mucho más eficiente, reduciendo tanto el tiempo del probador como el tamaño de la prueba. El parámetro interesante a recordar es que las FFT dominan el tiempo del probador cuando el número de puertas es superior a 2²⁰.

• Tiancheng Xie (UC Berkeley) presentado en el zkBridge (lea el artículo esta página), destacando la importancia de un mejor diseño para los puentes a la luz de numerosos ataques recientes (Aprovechamiento del puente Ronin, truco de agujero de gusano, Drenaje de puente nómada, y así). zkBridge minimiza la confianza y mejora el rendimiento con el sistema de prueba de conocimiento cero de deVirgo.
• Dawn Song (UC Berkeley) anunció zkCollective, una base para la interoperabilidad segura entre cadenas. El formulario para participar en el esfuerzo se puede llenar esta página.

• Aficionado a Leo (císico) destacaron sus resultados para acelerar la multiplicación multiescalar (MSM) en FPGA para zk-prover, donde MSM a menudo representa más del 50 % del tiempo del probador. Se estima que son más rápidos que los esfuerzos comparables (PipaMSM y CiclónMSM). Su objetivo final es construir un ASIC.
• marek olszewski (Celo) dio una gran demostración sobre cómo ejecutar el cliente ligero de Celo, Plumo, que ha estado 2 años en desarrollo y se lanzó este año. El cliente se desarrolla como un circuito masivo con 2²⁷ puertas, y alimentado por un optimista poderes de tau ceremonia que puede ser útil para otros proyectos. Los miembros de la comunidad están generando pruebas de SNARK diariamente (después de cada cambio de época), una prueba tarda aproximadamente 1 hora en una máquina de 256 núcleos. Su biblioteca WASM permite la verificación de las pruebas desde aplicaciones web.
• Howard Wu (aleo) presentó las ideas detrás del diseño de Aleo, que construye una cadena de bloques para transacciones privadas que permite la concurrencia y actualizaciones de estado eficientes.
• jeremy bruestle (riesgo0) explicó la lógica de diseño detrás de la construcción de un conjunto de instrucciones zkVM para RISC-V implementado con zkSTARK. RISC-V tiene un conjunto de instrucciones muy pequeño (<40), bien soportado por diferentes compiladores, completamente abierto. Y, lo que es más importante, está diseñado para implementaciones de hardware eficientes, lo que implica un diseño de circuito eficiente para pruebas zk.
• uma roy (Laboratorios sucintos) dio una descripción general de una forma de verificar sucintamente el consenso de Ethereum con zkSNARK con un tiempo de prueba de solo 1 minuto.

***

Valeria Nikolaenko es un socio de investigación en a16z crypto. Su investigación se centra en la criptografía y la seguridad de blockchain. También ha trabajado en temas como ataques de largo alcance en protocolos de consenso de PoS, esquemas de firma, seguridad poscuántica y computación multipartita. Tiene un doctorado en criptografía de la Universidad de Stanford bajo la asesoría del profesor Dan Boneh y trabajó en la cadena de bloques de Diem como parte del equipo de investigación principal.

***

Las opiniones expresadas aquí son las del personal individual de AH Capital Management, LLC ("a16z") citado y no son las opiniones de a16z o sus afiliados. Cierta información contenida aquí se ha obtenido de fuentes de terceros, incluso de compañías de cartera de fondos administrados por a16z. Si bien se tomó de fuentes que se consideran confiables, a16z no ha verificado de forma independiente dicha información y no hace declaraciones sobre la precisión duradera de la información o su idoneidad para una situación determinada. Además, este contenido puede incluir anuncios de terceros; a16z no ha revisado dichos anuncios y no respalda ningún contenido publicitario incluido en ellos.

Este contenido se proporciona solo con fines informativos y no debe considerarse como asesoramiento legal, comercial, de inversión o fiscal. Debe consultar a sus propios asesores sobre estos asuntos. Las referencias a cualquier valor o activo digital son solo para fines ilustrativos y no constituyen una recomendación de inversión ni una oferta para proporcionar servicios de asesoramiento de inversión. Además, este contenido no está dirigido ni destinado a ser utilizado por ningún inversionista o posible inversionista, y bajo ninguna circunstancia se puede confiar en él al tomar una decisión de invertir en cualquier fondo administrado por a16z. (Una oferta para invertir en un fondo a16z se realizará solo mediante el memorando de colocación privada, el acuerdo de suscripción y otra documentación relevante de dicho fondo y debe leerse en su totalidad). Cualquier inversión o compañía de cartera mencionada, referida o descritos no son representativos de todas las inversiones en vehículos administrados por a16z, y no puede garantizarse que las inversiones serán rentables o que otras inversiones realizadas en el futuro tendrán características o resultados similares. Una lista de inversiones realizadas por fondos administrados por Andreessen Horowitz (excluyendo inversiones para las cuales el emisor no ha otorgado permiso para que a16z divulgue públicamente, así como inversiones no anunciadas en activos digitales que cotizan en bolsa) está disponible en https://a16z.com/investments /.

Los cuadros y gráficos proporcionados en el interior tienen únicamente fines informativos y no se debe confiar en ellos al tomar cualquier decisión de inversión. El rendimiento pasado no es indicativo de resultados futuros. El contenido habla sólo a partir de la fecha indicada. Todas las proyecciones, estimaciones, pronósticos, objetivos, perspectivas y/u opiniones expresadas en estos materiales están sujetas a cambios sin previo aviso y pueden diferir o ser contrarias a las opiniones expresadas por otros. Consulte https://a16z.com/disclosures para obtener información adicional importante.