cadena de bloques
El ejecutivo de riesgo e investigación de Mechanism Capital, Brian Fakhoury, ha publicado un hilo en Twitter compartiendo ideas sobre pruebas de conocimiento cero (ZKP). Fakhoury enfatiza que personas como Vitalik Buterin han comentado públicamente que probablemente estén a la par con blockchain en términos de importancia ideológica.
🧵 La conclusión lógica del cálculo de conocimiento cero.
Las pruebas de conocimiento cero (ZKP) son un avance tecnológico absurdo, y personas como @VitalikButerin han comentado públicamente que es probable que estén a la par con las cadenas de bloques en términos de importancia ideológica para esta década.
– Brian Fakhoury (@brianfakhoury) 11 de diciembre de 2022
Fakhoury explicó la capacidad de los ZKP. Él dice que los ZKP generalmente se pueden dividir en dos superpoderes, a saber, privacidad y compresión. Fakhoury señala que ambos lados de esta tecnología son increíblemente vitales.
Convirtió las aplicaciones de los ZKP en una fábula y agregó que si uno considera la compresión como recibir un título universitario, el diploma de graduación, emitido por una universidad “acreditada”, serviría como una forma de prueba.
El individuo graduado puede convencer a un tercero de que ha pasado por años de formación académica. En lugar de mostrar a terceros docenas de programas de estudio y puntajes de exámenes, el diploma sirve como fuente de prueba compacta.
Además, el diploma utilizado en el ejemplo puede generalizarse como un “recibo”, que es prueba de validez de que algo ocurrió. Un verificador corre el peligro de ser engañado por una prueba falsa si un ZKP no se basa completamente en matemáticas cuando se trata de computadoras (sin confianza humana).
Cada sistema de prueba de conocimiento cero tiene su propio lenguaje de circuito especializado. Como resultado, los ZKP pueden considerarse computadoras virtuales, similares a intérpretes de idiomas de alto nivel, plataformas de contratos inteligentes, emuladores de sistemas operativos, etc.
Fakhoury profundizó en lo crucial que es examinar el lenguaje del sistema de prueba en relación con el lenguaje del programador humano de alto nivel si los usuarios consideran que los ZKP son computadoras virtuales.
Al concluir el hilo, Fakhoury agregó que, lógicamente, el disco se está moviendo hacia los sistemas ZKP, que se comunican como los de una computadora estándar y, por lo tanto, pueden ser programados directamente por cualquiera que esté familiarizado con los lenguajes compilados. “Me esforzaré en analizar las múltiples consecuencias que esto tiene”.