Déjame contarte una historia. Mediados de 2023. Acababa de decidir empezar Fermah. Me uní a una llamada con algunas personas en las que confío profundamente, incluido Amit Sahai, un criptógrafo de renombre mundial con contribuciones fundamentales al espacio ZK. Compartí la visión: ZK debería ser fácil para los desarrolladores. Nadie debería tener que luchar contra la creación de una infraestructura de prueba y su optimización; Deberían poder delegar las pruebas a una plataforma que lo haga. Amit: "¿Qué pasa con los datos de los testigos? ¿Cómo se puede confiar en GPU aleatorias con datos confidenciales de testigos?" Me: "La mayoría de las aplicaciones en producción hoy en día ni siquiera usan la parte de conocimiento cero de los ZKP, solo la concisión". Amit se echó a reír: "¡Así que es como ZK sin el ZK! Entonces, ¿qué hacen las aplicaciones que se preocupan por la privacidad para generar pruebas?" Me:... Después de la llamada, tuve muchas reuniones y estuve inquieto todo el día. Le escribí a Amit algo así como: "El hecho de que la tecnología ZK no sea accesible para las mismas personas para las que fue diseñada inicialmente para proteger es salvaje. Pero no estoy seguro de si es el momento adecuado para crear una solución. Tendré que hacer un poco de investigación de mercado". Así que comencé con un enfoque simple: Paso 1. Haz una lista de las aplicaciones que están empezando a prometer convertirse en grandes Paso 2. Vea cuáles de ellos necesitan ZK con privacidad Efectivamente, dos de las principales aplicaciones fueron ZK-identity y zkTLS. Déjame decirte rápidamente por qué era optimista con ellos antes de continuar con la historia. Me sorprendió lo convincente que es la prueba de personalidad para asegurar un futuro impulsado por la IA, y cómo Sam Altman, liderando el camino en IA, enfatizó la necesidad de la identidad ZK con @worldcoin. zkTLS es una historia más personal. Me subí a este carro cuando solo había un par de personas en él. Esto fue hace unos buenos 5 años. Lideré el producto y la implementación de un proyecto zkTLS en @MinaProtocol. Ya entonces entendí que llegaría el momento en que la adopción de las criptomonedas se impulsaría aprovechando lo que ya existe: la Web2. Y ese puente es zkTLS. Estaba convencido de que teníamos que resolver esto. Estaba claro que necesitábamos seguir la ruta del MPC: FHE sigue siendo demasiado optimista para este tipo de trabajo pesado. Investigué en los trabajos de investigación y me encontré con el artículo colaborativo de SNARKs de Dan Boneh y Alex Ozdemir y la línea de trabajo que siguió. La idea es que varias máquinas realicen la generación de pruebas a través de un protocolo MPC, lo que garantiza que ninguna máquina tenga acceso a los datos confidenciales. Avance rápido hasta octubre/noviembre de 2023, estaba ejecutando toda la visión de Fermah de Dan. Fue hermoso recibir sus bendiciones sobre Fermah y su visión. A partir de ahí, seguí adelante con nuestra recaudación de semillas, con una tesis central: construir lo que Fermah es conocido hoy en día, un mercado de prueba universal, y agregar una cereza dorada en la parte superior: el MPC-zkVM. Mi visión es construir un ZKVM que sea amigable con MPC y que venga con una delegación de prueba confidencial incorporada. La idea es: Los desarrolladores pueden escribir computación en lenguajes populares como Rust B. No tienen que preocuparse por la experiencia de usuario, no más pruebas del lado del cliente C. No tienen que arreglárselas para demostrar la infra Sus clientes simplemente envían una transacción de "demuéstralo con privacidad" a Fermah, y sale una prueba, generada de forma confidencial Ese es el corazón de nuestro protocolo de Delegación de Pruebas Confidenciales (CPD). Estoy emocionado de compartir nuestros primeros pasos hacia esa visión: CPD para pruebas Groth16, que sigue siendo uno de los sistemas de pruebas más utilizados que existen. Estamos parados sobre los hombros de gigantes: - @Ingo_zk 's Icicle, que se turboalimenta probando en las GPU - Taceo, que llevó MPC a Circom - Boneh-Ozdemir, quien agregó MPC a Arkworks Nuestro protocolo CPD trabaja mano a mano con la capa de emparejamiento de Fermah para ofrecer una solución completa para cualquier persona que construya teniendo en cuenta ZK y la privacidad. También estamos increíblemente agradecidos a @worldcoin por creer en esta visión desde el principio. Nos dieron una subvención para explorar CPD para el sistema de prueba de restos, lo cual fue muy significativo dado lo optimistas que somos en Fermah sobre la identidad ZK. Muchas gracias a @recmo y @DCbuild3r por su apoyo y confianza. ¡También estamos agradecidos a los increíbles @nico_mnbl, Ryan y Daniel de ex-Modulus Labs y ahora en World por ser una caja de resonancia! Ya estamos trabajando con algunos clientes fenomenales y nos encantaría ayudar a todos los demás que comparten la visión de ZK con privacidad. ¡Adelante!