Entrevista = nil_ Foundation: construya un mercado de prueba y haga realidad la visión de "todo puede ser ZK"

Desde EDCON en Montenegro en abril, "ZK" se ha convertido en la palabra más candente de este año, y la expansión del espacio narrativo traído por Ethereum ha alcanzado un nuevo punto alto. Mucha gente cree que este será un nuevo mercado de cientos de miles de millones de dólares, creando más oportunidades e historias de riqueza, como la "minería ZK". Por supuesto, como una nueva era que aún no ha llegado, ZK también significa que muchas oportunidades son difíciles de identificar con precisión en este momento.

El futuro de ZK aún necesita más imaginación. Y el Proof market construido por la Fundación =nil; ha despertado mis infinitas fantasías sobre esta era de cientos de miles de millones de dólares. Recientemente, tuve una conversación en profundidad con el cofundador de =nil; Foundation, Mikhail Komarov (en adelante, Misha), hablando sobre =nil; Foundation, zkLLVM y temas relacionados con el mercado de pruebas.

Resumen de la entrevista

1. La gente usa ZK para la compresión de información, que es el "mal uso" más emocionante de esta pila de tecnología.

2. La generación de pruebas ZK debe subcontratarse a productores que brinden dichos servicios profesionales, formando una red de productores profesionales para responder a las solicitudes del mercado.

3. En el mercado Proof actual ha aparecido el fenómeno del PEV (prover extractable value).

4. El mercado de prueba aún no está completamente descentralizado y este será el centro de trabajo del equipo durante algún tiempo.

= cero; origen

Misha ha estado en la industria del cifrado desde 2013. Lo primero que hizo después de ingresar al círculo fue estudiar la implementación de Bitmessage en C++. Este es un protocolo de mensajería de Bitcoin, y aunque desde entonces se ha roto varias veces, muchas personas estaban locas por él en ese momento. Más tarde, Misha comenzó a realizar una serie de trabajos de desarrollo con Dan Larimer (es decir, BM, fundador de Steemit, Bitshares y EOS) en torno a BitShares, y conoció a Konstantin Lomashuk, quien luego creó Lido en el proceso. En ese momento, Konstantin tenía en sus manos algunos proyectos de encriptación relacionados con Bitshares y quería crear una bifurcación de Steemit específicamente para Rusia, a saber, Golos Network.

Era 2016 y Misha comenzó un nuevo viaje con Dan y Konstantin como CTO de Golos. Pero después de dos años, Misha estaba cansado de Golos, pensó que el producto diseñado por Dan no era satisfactorio, su estructura interna no era adecuada y su calidad no era suficiente. Como resultado, Misha dejó proyectos relacionados como Golos y Steemit y fundó Nil con Konstantin en abril de 2018.

La idea original de Misha era evitar que las personas se encontraran con los problemas de inestabilidad que existían en Golos y Steemit, como la falta de una gestión de datos adecuada, arquitectura, seguridad, etc. Por lo tanto, el propósito de Nil es llevar los logros de la industria de administración de bases de datos a la industria del cifrado, brindando más confiabilidad, seguridad, escalabilidad, etc. a este campo. Por supuesto, lo que Misha no esperaba era que su nuevo viaje lo llevaría al mismo centro del futuro escalable del mundo encriptado.

**BlockBeats: presente brevemente su experiencia, por ejemplo, ¿cómo comenzó el negocio de la encriptación y por qué se unió a la industria de la encriptación? **

Misha: Eso fue hace mucho tiempo. Me involucré en la industria de las criptomonedas alrededor de 2013, cuando estaba trabajando en la implementación de Bitmessage en C++. Es posible que recuerde ese protocolo de mensajería similar a Bitcoin que enloquecía a todos en ese entonces, y fue pirateado varias veces, pero todavía estaba de moda en ese entonces.

Luego comencé a desarrollar todo sobre BitShares y Dan Larimer (es decir, BM, creador de Steemit, Bitshares y EOS) y luego conocí a Konstantin Lomashuk, ahora probablemente lo conozcas por Lido. En ese momento, tenía en sus manos algunos proyectos de encriptación relacionados con Bitshares y quería crear una bifurcación de Steemit específicamente para Rusia. Entonces hicimos Golos, me convertí en CTO en 2016 y hemos estado trabajando juntos desde entonces.

Pero en abril de 2018, me cansé de Golos porque Dan diseñó productos que no eran satisfactorios, sus productos nunca funcionaban por mucho tiempo y, aunque funcionaban, no creo que la arquitectura interna me encajara y la calidad no. suficiente, así que dejé Golos y Steemit y todos los demás proyectos y comencé Nil en abril de 2018.

Mi objetivo al principio era evitar que la gente se encontrara con los problemas que tenía con Golos y Steemit, como no tener una adecuada gestión de datos, arquitectura, seguridad, etc., todo era muy inestable. No pensé que esa fuera una buena solución, así que fundé Nil con Kosta para llevar el trabajo de la industria de administración de bases de datos a la industria del cifrado, porque significa confiabilidad, seguridad, escalabilidad, etc. La historia después de eso es el desarrollo de Nil.

**BlockBeats:=nil; ¿Cuándo comenzó la Fundación a prestar atención a las pruebas de conocimiento cero? **

Misha: Mirando hacia atrás, alrededor de 2020, cuando terminamos el primer prototipo de DBMS (sistema de gestión de base de datos), nos dimos cuenta de algunos problemas. Para ser honesto, nadie había intentado realmente hacer eso antes de que intentáramos integrar los sistemas de administración de bases de datos con la industria del cifrado, y cuando terminamos con este proyecto nos dimos cuenta de que la suposición de confianza no era lo que queríamos.

Todos deben confiar en nosotros si va a funcionar, ya sea utilizando nuestros datos o de otra manera. Pensamos en cómo reducir esta suposición de desconfianza, cómo hacerla lo más desconfiada posible, luego nos dimos cuenta de que podríamos necesitar usar algún tipo de tecnología, necesitamos una herramienta criptográfica para lograr este objetivo, por lo que para este propósito A Se construye la suite de criptografía.

En ese momento, la industria aún estaba en una etapa temprana de desarrollo y no había un entorno de desarrollo como Arc Works. Pensamos que, dado que teníamos conceptos teóricos y algunos experimentos, teníamos que intentarlo. Construimos una suite y construimos un sistema de prueba propio. Luego trabajamos con gente de la Fundación Ethereum y la Fundación Mina para construir un compilador de circuitos. Para no generar pruebas nosotros mismos, hemos establecido un Mercado de pruebas para introducir dinámicas de mercado en la generación de pruebas.

En la construcción del compilador con la gente de la Fundación Mina, también estamos trabajando con la gente de la Fundación Solana. En ese proceso nos dimos cuenta de que necesitábamos Prueba de Estado, y la Prueba de Estado era algo que la gente de Mina y Ethereum buscaban en ese momento. Alrededor de principios de 2021, cuando estábamos desarrollando las pruebas de estado necesarias para el sistema de gestión de bases de datos, la gente de Mina, Ethereum y Solana sintieron que esto era un "puente zk". Porque Justin Drake, Evan Shapiro y Anatolly piensan que necesitamos una tecnología Bridge más segura, y luego dicen como lo llames, es zkBridge.

**BlockBeats: En cuanto a las pruebas de conocimiento cero, el campo de la encriptación se ha estado investigando y probando durante bastante tiempo, pero no ha podido lograr avances significativos. Pero desde principios de este año, el desarrollo del campo ZK parece haber entrado en un estado de explosión. **

Misha: En realidad, solo hay dos métodos que se pueden aplicar a toda la tecnología zk. El primer método obviamente se usa con fines de privacidad, y el segundo método se usa para la compresión, como la expansión de la que todos hablan. , y la aparición de zk -Rollups, zk-Bridges, zk-MLS, zk-Oracles, etc. La gente "usa indebidamente" esta pila para la compresión, y creo que es el "uso indebido" más emocionante que he visto en mi vida. Entonces la pregunta es, ¿por qué ahora? Pudimos lograr esto hace algunos años, y pueden ser varios hitos de desarrollo tecnológico clave que lo hacen utilizable, factible e interesante de usar.

El primer hito se produjo en 2016, cuando la tecnología se volvió cada vez más útil para la criptoindustria. En ese momento, los sistemas de restricciones de rango 1 (R1CS) se volvieron bastante comunes y comenzaron a aparecer diferentes aplicaciones. Fundamentalmente, cuando se vuelve factible preservar la privacidad, esto se vuelve posible. Por ejemplo, Zcash, Tornado Cash, etc. Estos proyectos nacieron en esa era, o las ideas de estos proyectos nacieron en esa era.

El segundo es entre 2019 y 2021, que es el segundo período crítico para esta tecnología. En ese momento, los filtros Bloom (argumentaciones contundentes) se hicieron cada vez más populares. La gente comenzó a construir sistemas de prueba basados en filtros Bloom. También tenemos nuestro propio sistema de prueba llamado marcadores de posición. ¿Por qué es importante este período de tiempo? Porque gracias a estos sistemas de prueba basados en filtros Bloom, permite que los proyectos utilicen esta pila para la compresión. Mejora la compresión, lo que hace que sea más barato y más factible realizar el escalado adecuado de Rollups y zkBridge en 2021.

En la actualidad, hemos logrado algunos avances en el desarrollo del sistema de prueba y también hemos logrado ciertos avances en nuestro proyecto. Baste decir que escribir restricciones y cálculos matemáticos complejos también es bastante desafiante en un entorno en el que la información se comparte a lo largo del tiempo. Mucha gente se ha dedicado a este problema, como la introducción de STARK, la introducción de zkVM para resolver este problema de complejidad y nuestra introducción del compilador zkLLVM, que también facilita la creación de aplicaciones. Desde 2019 hasta 2021, el sistema de prueba se ha estado desarrollando y desde finales de 2020 hasta principios de 2021 y finales de 2022, el desarrollo de herramientas también ha progresado. Todos estos avances hacen que sea lo suficientemente eficiente y económicamente viable para construir pruebas de cálculos complejos.

Por supuesto, el desarrollo de los sistemas de prueba está lejos de terminar. Para realizar más escenarios de aplicación, todavía queda mucho trabajo por hacer para probar el sistema. Por ejemplo, tal vez este año o el próximo, veremos el desarrollo del sistema de prueba, y también estamos realizando investigaciones y desarrollos relacionados aquí. El desarrollo de estos sistemas de prueba permitirá aplicaciones zkLLVM económicamente viables y esperamos ser el primer equipo en hacerlo. Pero de todos modos, en este momento todos están tratando de mejorar el sistema de prueba.

**BlockBeats: mencionó zkLLVM, que es un compilador creado para que los desarrolladores creen sus propios circuitos zk. ¿Dónde cree que es importante zkLLVM y cuál es la madurez actual del producto? **

Misha: Puede que zkLLVM no haya sido el primero, pero fue uno de los primeros compiladores de circuitos. He visto algunos prototipos antes, he visto algunos proyectos DSL, pero con un compilador de circuitos completamente funcional en lugar de una máquina virtual, no he visto muchos antes. Hay algunos, pero no estoy seguro de si alguien realmente los usa, por eso creo que es importante. Y bastantes personas en esta industria están tratando de deshacerse del dilema de "yo no lo creé", que consume mucha energía. Obviamente, las personas terminan creando productos realmente buenos, pero este dilema de "yo no lo creé" hace que el desarrollo lleve mucho tiempo y sea costoso.

Por ejemplo, ahora nos comunicamos a través de Zoom y casi todo el software de nuestras computadoras portátiles está compilado con LLVM. Tomamos todo eso y lo hicimos demostrable. Así que creo que solo estamos incorporando todo el ecosistema de compiladores a la industria de las criptomonedas para que estos esfuerzos puedan reutilizarse en el espacio de las criptomonedas para lograr eficiencia y viabilidad económica. Esto también provocó lenguajes de programación ampliamente utilizados. Hay mucho software en el mundo escrito en Rust, C++, Go, TypeScript, etc. que uno podría querer ejecutar dentro de Ethereum y en un entorno sin confianza.

Mi ejemplo favorito es cuando las personas toman el código fuente de Doom (código fuente C/C++), lo prueban en Ethereum a través de zkLLVM y luego lo arrastran entre ellos para mostrar cuánto tiempo les tomó terminarlo. Por ejemplo, completé el desafío de velocidad de Doom en 20 minutos, aquí está la prueba y su Ethereum NFT, lo que demuestra que completó el desafío de velocidad de Doom en 20 minutos.

**BlockBeats: ¿Qué grupos de usuarios utilizan actualmente zkLLVM y cuáles son los productos creados? **

Misha: Muchos tipos diferentes de proyectos están usando estas tecnologías, y algunos proyectos pueden estar simplemente creando algo para intentar implementar, o pueden estar ya ejecutándose. El caso de uso más obvio es nuestro compilador zkBridge, protegido por su sistema de prueba. Quizás esta sea una de las razones por las que reconocimos la necesidad de un compilador y comenzamos a construirlo en primer lugar. También se está intentando utilizarlo para la verificación formal de declaraciones de prueba, para no tratar de ponerles la especificación formal del programa, sino para condensarla en la prueba usando el compilador zkLLVM que compila las declaraciones formales. De hecho, la gente compila compiladores.

Tomemos, por ejemplo, aplicaciones similares a zkOracles, las personas han creado zkOracles para recuperar datos históricos de Ethereum o Lido para asegurar la emisión de participación de Ethereum. Las personas están abordando problemas en los que hay muchas suposiciones de confianza, a pesar de haber estado funcionando durante más de dos años. Cuando diseñamos Lido en 2020, esto era aceptable, pero luego queríamos reducir la suposición de confianza, porque no podíamos arriesgar el TVL del usuario, así que decidimos protegerlo con la prueba de trabajo de ZK. Hay muchos otros proyectos además, podría seguir para siempre sinceramente, tengo alrededor de 80 proyectos en CRM en este momento.

**BlockBeats:=nil; Foundation recibió anteriormente una inversión de StarkWare, Mina y otros equipos L2 y otros VC con una valoración de más de 200 millones de dólares estadounidenses. ¿Este dinero se usa para construir el mercado Proof y la inversión de StarkWare y Mina significa que estará más inclinado a cooperar con un ecosistema específico? **

Misha: Esta es nuestra primera y única ronda de financiamiento en cinco años, porque antes no teníamos la necesidad de esto y ahora es el momento de hacerlo. Hemos hecho suficientes prototipos, hemos respaldado suficientes proyectos, hemos aprendido lo suficiente como para sentirnos lo suficientemente fuertes y seguros para lanzar el producto de la forma en que creemos que debe construirse.

Esta ronda de financiación se cerró hace aproximadamente un año y la anunciamos muchos meses después de que ocurriera. No anunciamos el financiamiento hasta que nos sentimos cómodos al comenzar a hablar sobre "esto es algo que construimos". Debido a la recaudación de dinero, comienzan a prometerse cosas entre sí, y luego les preguntan para qué recaudaron dinero, ¿qué vamos a entregar? ¿Qué es un producto? ¿Alguien está usando su producto? Así que pospusimos deliberadamente cualquier discusión sobre este tema hasta que al menos hayamos hecho algo al respecto.

Realmente estamos trabajando con todo el ecosistema de Mina y el equipo de Starkware, ya hay muchas aplicaciones del ecosistema de Mina que se construyeron sobre nosotros, se construyeron con nosotros o se asociaron con nosotros. Recientemente, el equipo de Mina comenzó a investigar y desarrollar roll-ups, para lo cual necesitan muchas capacidades de verificación. Además, creamos una verificación de prueba de estado basada en compiladores con Mina en 2021, otro proyecto del ecosistema de Mina con el que colaboramos.

También están sucediendo muchas cosas al trabajar con el ecosistema de Starkware. Por supuesto, este es el propósito de nuestra colaboración para que también seamos útiles para aplicaciones comprobables en el ecosistema Starknet. Por ejemplo, hay varios proyectos puente a Starknet que utilizan nuestra pila tecnológica para ser puentes a prueba de conocimiento cero. Varios proyectos de juegos nos dijeron que se necesitan capacidades de verificación.

Hay algunos otros proyectos que intentan usar tecnología puente más antigua, aprovechar la verificación de prueba de estado y construir aplicaciones Ethereum encima de ella. Algunas personas están construyendo L3 en StarkNet y dijeron que tener capacidades de verificación sería una buena opción. De todos modos, para eso nos hemos reunido con ellos. Honestamente, estoy feliz con la asociación.

Mercado secundario para pruebas ZK

La prueba de conocimiento cero (ZK Proof) es el núcleo absoluto del campo ZK en el mercado de cifrado actual. Su existencia ofrece infinitas posibilidades para muchos escenarios, como ZK Rollup y zkEVM. Sin embargo, generar una prueba ZK también es una tarea computacional pesada y, a menudo, lleva horas completar una prueba, razón por la cual la mayoría de los clasificadores actuales aún no han resuelto el problema de la centralización. Para generar pruebas ZK de manera confiable y rentable, no solo necesitamos desarrollar y mantener la infraestructura informática, sino también expandirla. En opinión de Misha, la introducción de un mecanismo de mercado es la solución óptima a este problema.

=nil; El equipo de la Fundación cree que la generación de pruebas ZK es una tarea que debe subcontratarse a los productores que brindan este tipo de servicios especializados. Bajo esta premisa, necesitamos un mercado de prueba, donde todos puedan solicitar generar las pruebas ZK requeridas, y luego una red de productores profesionales responderá a dichas solicitudes.

**BlockBeats: ahora hablemos específicamente sobre Proof Marketplace, ¿de dónde surgió la idea y cuál es la historia detrás de ella? **

Misha: La idea surge de nuestra amplia participación en aplicaciones de protocolo y varias cosas relacionadas con Filecoin desde 2020 hasta finales de 2021. No solo fuimos testigos de primera mano de la locura que sucedía en torno a Filecoin, sino que también participamos en ella desde nuestra perspectiva. Fue entonces cuando aprendimos cómo hacer que todos los sistemas de prueba fueran correctos, cómo hacer los argumentos adecuados, etc., e implementamos un probador de Filecoin que era 10 veces más rápido que la versión pública, lo que permitía a los mineros utilizar completamente su hardware. En realidad, somos un centro que ve todos los experimentos que intentan reducir los costos desde la perspectiva de un minero.

Durante ese tiempo, aprendimos muchos datos reales del mercado, como el valor y el tiempo que llevaría generar esta prueba en particular con este hardware, quién usa qué hardware, qué centros de datos están construidos para él, etc. Y luego, al trabajar con la Fundación Ethereum, la Fundación Mina y muchos otros, encontramos que estas pruebas de estado y las pruebas de consenso son muy onerosas, y absolutamente no permitiríamos que nadie las probara por sí mismo.

Porque seamos honestos, nadie tiene este tipo de hardware que se puede generar rápidamente porque son demasiado masivos. Por ejemplo, al igual que el consenso de Mina, la prueba del estado de Mina es la curva del inversionista en políticas multiplicada por alrededor de $35 mil millones, que es bastante. O la Prueba de Consenso de Solana, que contiene, entre otras cosas, alrededor de 4000 firmas ECDSA, y lleva mucho tiempo generarla.

Cuando esto se notó, decidimos no hacerlo más. Pensamos, está bien, vamos a subcontratar este trabajo. Construiremos un mercado para esto, porque ya tenemos una gran cantidad de datos relacionados con Filecoin, construyamos un mercado, hagámoslo una mercancía, dejemos que la dinámica del mercado se aplique a esto, para que las personas puedan ir Coordinado por un protocolo centralizado, ellos competir entre sí para que, en lugar de ser el centro, dejemos que el protocolo sea el centro. Resultó que nuestro pensamiento era correcto. Todos están construyendo el mercado de prueba en este momento, y adivinamos la dirección.

**BlockBeats: cuando creaste el mercado Proof, ¿consideraste su dinámica con el zkLLVM que ya creaste? **

Misha: Al principio, los dos proyectos en realidad estaban separados, eran dos cosas separadas. Por ejemplo, solo necesitamos la cadena de herramientas para construir el circuito, ya que no lo construiremos manualmente, es demasiado grande. Luego descubrimos que otras personas también necesitaban esta cadena de herramientas, por lo que decidimos abrirla para que todos puedan usarla.

Y el mercado de prueba también es algo aparte, porque creemos que es solo un mercado de generación de prueba. Ni siquiera pensamos en las personas que intentan especular con pruebas. En realidad, están tratando de comprar barato y vender caro o algo así, lo cual es bastante ridículo porque se supone que no debe ser así, pero de todos modos, así es como es.

El protocolo que admite el mercado de prueba debe ser un protocolo muy especial, porque necesitamos mucha verificación y debemos manejar mucha carga en este aspecto. Cuando las personas vienen con datos que necesitan ser verificados, necesitamos manejar muchos datos porque cargarán los datos en el libro de pedidos del mercado de prueba, lo que hace que el protocolo sea muy intensivo en datos, como la cantidad de datos que describen la prueba de estado promedio. Una vez que una descripción de prueba de estado promedio bien hecha ocupa aproximadamente 2 GB de datos, intente encontrar un protocolo que pueda manejar 2 GB de datos. Es casi imposible.

Pero luego, la gente comenzó a probar algunas cosas realmente importantes con zkLLVM, y las bases de código como Ross y C++ eran bastante grandes en comparación con lo que la gente estaba haciendo en Solidity. Así que los juntamos, hacemos que se relacionen entre sí y luego los hacemos utilizables como un servicio. Seguimos pensando que el compilador hace un buen trabajo al ser eficiente y esperamos que siga siendo así.

**BlockBeats: Actualmente, ¿quiénes son los principales grupos de usuarios y participantes en el mercado Prueba? **

Misha: El primer tipo de usuario es principalmente zkBridge, y algunas pruebas de consenso y de estado son bastante difíciles de generar. Si genera una verificación correcta y segura como la prueba de consenso de Ethereum, por ejemplo, con la verificación de consenso completa de Ethereum y la verificación del validador de firma de 100 000 nodos, le llevará un tiempo generarla.

La segunda categoría son los oráculos zk, como aquellas aplicaciones que necesitan acceder a datos históricos de Ethereum, o procesar datos de Ethereum de cierta manera, y luego usarlos con el EVM. Algunas aplicaciones intentan reducir sus costos de gas de esta manera, como los protocolos de préstamo que intentan calcular y cargar los parámetros de riesgo de sus activos colaterales en la EVM, pero no se pueden calcular en la EVM en términos de costo.

Toman todos los datos necesarios de Ethereum de diferentes intercambios, de diferentes índices, los colocan en el EVM y luego los usan como un conjunto de parámetros de riesgo para la garantía. Esto es como otro oráculo de Lido, que muestra cómo el protocolo puede mejorar su seguridad y reducir los costos de ejecución mediante la subcontratación de una serie de cálculos (como la seguridad en el mercado de prueba y zkLLVM solo). No hay duda de que los oráculos de conocimiento cero son muy importantes.

La tercera categoría es Rollup, que puede ser utilizada por Rollups existentes o nuevos, y algunos incluso están intentando hacerlo. Cualquiera que tenga la intención de convertirse en un validador de Rollup vendrá con el deseo de implementar algún tipo de prueba en el mercado de pruebas. Tratar con hardware especializado y ejecutar nodos en servidores de AWS alquilados es un gran desafío para los validadores. El hecho de que AWS actualmente no ofrece ATX, ni GPU muy potentes, por lo que básicamente los validadores vendrán con estos casos de uso de zkLLVM. Claramente, ya tenemos algunos casos de uso para zkLLVM, pero debo admitir que aún no están en producción.

Los casos de uso de zkLLVM también son muy aplicables para modelos grandes o muy complejos, ya que necesitan justificar la complejidad del modelo en cuestión. Esto también es algo que está actualmente en progreso, pero nuevamente, aún no está en producción, solo está en la etapa experimental. Una vez que esté en producción, podremos convertir el mercado de prueba en un mercado informático de IA comprobable, lo que suena ridículo.

**BlockBeats: si quiero convertirme en un generador de pruebas en el mercado de pruebas, ¿cuáles son los requisitos? **

Misha: Realmente no hay muchos requisitos o restricciones para convertirse en un generador de prueba, todo depende del circuito específico y la declaración específica que desea probar. Hemos configurado especialmente algo llamado "Proof Market Toolchain". Cuando un probador procesa varias pruebas en el mercado, solo necesita iniciarlo como un servicio o usarlo como una cadena de herramientas que se ejecuta en su máquina. proceso backstage.

Si no hay un mejor suministro de hardware en el mercado para una declaración específica, un circuito específico, una aplicación específica, una prueba específica, entonces puede tomar una orden y generar una prueba. Si tiene el mejor hardware, si puede hacer la promesa de generar pruebas más rápido y no hay otro competidor mejor, puede tomar pedidos, generar pruebas y ser recompensado.

**BlockBeats: todos los usuarios que usen =nil; Foundation deben registrar una cuenta. Si la prueba generada en sí misma o su información de transacción y propiedad se almacenan en un servidor privado, ¿presentará algunos problemas de centralización? **

Misha: Esto es exactamente lo que planeamos abordar para fin de año. Sí, la prueba de mercado actual no es tan descentralizada, no hemos lanzado un nodo de protocolo para admitirlo y no hemos hablado de este protocolo en público. Así es como funciona actualmente: con un par de personas que también participan en Lido y actúan como validadores y operadores de validadores como validadores, podemos hospedarlo temporalmente y ver cómo funciona. Luego les distribuimos el código fuente y, de hecho, tuvimos seis u ocho ejecutándose como modo de prueba.

En este momento, el sistema está algo descentralizado, pero no es público ni verdaderamente descentralizado. No todos pueden unirse y ejecutar su nodo Proof Market. Esa es una pregunta para nosotros también, nos encantan las aplicaciones que nos preguntan sobre seguridad, qué tan descentralizadas están, ¿podemos confiar en ellas? ¿Es esto algo que podemos usar actualmente? Respondí, sí puedes, pero no está lo suficientemente descentralizado porque lo estamos ejecutando en modo de prueba. Trabajaremos arduamente para resolver este problema, que es nuestra tarea más importante en este momento.

**BlockBeats: ¿Qué medidas está tomando para abordar estos problemas? **

Misha: Primero, diseñamos una prueba de mercado basada en un protocolo descentralizado, utilizando un determinado protocolo descentralizado desde el principio. Discutimos varias opciones de implementación y operación, tratamos de implementarlo directamente en Ethereum, pero cuando calculamos la viabilidad económica, descubrimos que si lo hiciéramos, tendríamos que pagar alrededor de $ 2.5 mil millones en tarifas de Ethereum por año. Entonces, administrar un mercado en Ethereum resultó ser financieramente inviable en absoluto.

Luego tratamos de ejecutarlo en algo como Rollup. Sin embargo, a pesar de que probamos varios paquetes acumulativos diferentes, el costo seguía siendo alto. Cuando calculamos el costo de ejecutar la prueba de mercado y realizar el arbitraje, descubrimos que el costo anual de la prueba de mercado solo era de 250 millones de dólares estadounidenses, que también es un costo muy alto. Así que tuvimos que idear nuestro propio protocolo que pueda manejar la carga, el costo, el uso intensivo de datos, etc.

Nuestro objetivo es hacer que este protocolo se acerque lo más posible a la seguridad de Ethereum, porque no hay otra forma de que las aplicaciones confíen en él. Resulta que este protocolo también es muy útil para operaciones como la serialización, porque al serializar, la carga a procesar es básicamente la misma. A uno le gustaría reducir la latencia entre el ordenante y el probador para que puedan enviar datos inmediatamente al probador y así ganar el bloque.

Cómo implementar el secuenciador en este protocolo también es una de nuestras principales preocupaciones actuales. Esperamos construir una plataforma que puedan usar los desarrolladores de terceros, para que cualquiera pueda iniciar y ejecutar un nodo que admita este protocolo. Y asegúrese de que la aplicación de prueba de mercado sea tan segura como Ethereum en términos de implementación de código.

**BlockBeats: ¿Puede compartir más sobre el mecanismo de incentivos del protocolo? **

Misha: Por supuesto, preferiríamos usar varios tokens para pagar las pruebas, por lo que no podemos obligar a todos a usar un token específico, lo que significa que tenemos que ser tan neutrales como sea posible, ya que somos neutrales. con cualquier producto y aplicación. Por ejemplo, es probable que sea similar a cómo funciona Arbitrum con Ethereum, puede tener Ethereum y Arbitrum, ¿por qué no?

El primer paso en esta dirección es definitivamente EVM Endpoint Approval Marketplace, que implementamos el otro día. Esta es la solución de pago que permite que todos los activos implementados por Ethereum se utilicen en el Mercado de prueba como incentivo para los aprobadores o para las aplicaciones que estén dispuestas a pagar sus propios tokens en el Mercado de prueba, y este es el primer paso en esta dirección. paso.

Prueba de fantasía del mercado

Dado que es un mercado, debe haber variabilidad y complejidad que las personas no pueden predecir ni controlar. Si las personas especularán sobre las pruebas ZK y cómo lo harán son datos importantes que el equipo necesita monitorear y registrar. Después de varios meses de pruebas reales, ¿qué fenómenos interesantes han surgido en el mercado de pruebas? ¿Qué planes tiene el equipo para el futuro?

**BlockBeats: ¿La introducción de un mecanismo de mercado prolongará el proceso de generación de pruebas? **

Misha: La subasta, o encontrar al mejor postor para el trabajo, toma algo de tiempo, tal vez no unos segundos de nuestra parte, pero sí unos minutos. Normalmente, este proceso tarda varios segundos, en la mayoría de los casos menos de un segundo. Me parece que la oferta y la demanda son bastante abundantes, por lo que esto introduce una latencia inferior a un segundo.

Incluso con retrasos de menos de un segundo, en los peores casos que he visto, la aplicación no puede encontrar un proveedor durante tres o cuatro segundos. Pero incluso entonces, este retraso no es comparable con el tiempo total de generación de la prueba. Por lo tanto, no creo que sea una preocupación en comparación con las ventajas de generación de multitudes que ofrece la dinámica del mercado.

**BlockBeats: si alguien quiere especular con pruebas generadas, ¿eso es algo bueno o malo? ¿Intervendrá el equipo de alguna manera? **

Misha: Están sucediendo muchas cosas extrañas en nuestro sitio, la que acabo de mencionar no es la más extraña, están sucediendo cosas aún más extrañas en el mercado de prueba, pero hablemos de eso primero La cuestión de la especulación . No tenemos ningún control sobre esto porque no podemos. Una vez que hagamos público este proyecto, una vez que hagamos que este protocolo esté disponible para todos, que todos lo ejecuten una vez a la semana, tal vez como un resumen, o de lo contrario, ya no podremos controlar todo esto.

Estamos tratando ahora de no interferir, de no tratar de hacer algo, porque en algún momento ya no podremos hacerlo, entonces, ¿cuál es el punto? Así que vamos a especular. Uno puede construir una aplicación similar a un circuito, como una aplicación comprobable, básicamente eso es todo, por lo que la especulación es incluso posible. Sin otro uso que la especulación en el mercado de prueba.

Uno de los casos de uso más extraños que he visto es el de alguien que intenta intercambiar futuros por potencia informática y luego usa esos futuros para tener una discusión especulativa. Es como los futuros de tasa de hash de bitcoin, pero también para pruebas de zk. ¿Alguna vez te has preguntado acerca de MEV? ¿Qué sucede si le digo que en realidad hay un valor de extracto de probador (PEV)?

No funciona como si la aplicación trajera algunos datos y luego algo necesita una prueba y los probadores lo hacen. Traen los datos, comienzan a generar pruebas y todo funciona como se esperaba. Pero al mismo tiempo, si un probador está tratando de obtener más ganancias con estos datos o algo así. Usarán estos datos en otros lugares, como en Ethereum u otros protocolos, o incluso algunos Rollups.

Hacen esto para extraer el mayor valor posible de estos datos, en lugar de usarlos para generar pruebas. Hay otros tipos diferentes de pruebas de valor extraíbles, como personas que intentan predecir cuándo se generará una prueba y luego inyectan transacciones para comprar o vender pruebas en el protocolo Proof Market, mediante ingeniería inversa de la API e intentan inyectar transacciones en él. De esta manera, el probador puede vender, o el comprador puede adivinar el precio para extraer valor de él, al igual que los mineros de Lightning, o los constructores y proponentes especulan en las transacciones en Ethereum.

Algunas personas han comenzado a experimentar cómo evitar que los probadores exploten los datos que obtienen al generar pruebas. Para hacer esto, la única forma es generar pruebas sobre datos FHE (cifrado homomórfico). Intentan hacer algo como zkFHE, para ocultar los datos necesarios para la generación de pruebas, pero FHE es muy costoso computacionalmente, por lo que aumenta el costo de la prueba.

Como enviarlo al cielo, lo que duplica, triplica o incluso diez veces el costo de la prueba. Pero dirán, nadie está usando mis datos, nadie está extrayendo nada de mis datos. Entonces, zkFHE nacerá del mercado Proof, que es un nivel independiente de complejidad, como un alto nivel de complejidad.

**BlockBeats: Actualmente el Proof market es compatible con ZKLLVM y Mina, me gustaría saber cómo el Proof market generará pruebas para diferentes circuitos en el futuro. **

Misha: En pocas palabras, el proceso es el siguiente: una aplicación lleva una declaración que debe probarse, y esta declaración se compila en un código de bytes o en una máquina virtual para impulsar el mercado de pruebas. Esta máquina virtual es EVM. Y luego vienen aquí con este requisito, diciendo que necesito probar esta declaración. Proof Market no tiene permiso, y luego se implementa un nuevo par de circuitos, que es cómo se genera un nuevo par de circuitos, y cada nuevo circuito es un nuevo par comercial.

Cuando el probador ve la necesidad de un nuevo reclamo en particular, ese nuevo reclamo podría ser una necesidad repentina y continua, una gran necesidad única o una necesidad única pero interesante. El probador puede decir, está bien, quiero agregar este circuito a la lista de circuitos que me interesan y quiero generar una prueba para este circuito. Proof Market luego realiza los cambios apropiados, genera y envía pruebas. Estamos trabajando arduamente para que este proceso sea lo más simple posible.

**BlockBeats: ¿Cómo se implementa para diferentes sistemas de prueba? **

Misha: Esta es una historia más interesante. Básicamente, solo hay un requisito para que los diferentes sistemas de prueba se conecten al mercado de prueba, que es compilar el verificador de este sistema de prueba en el código de bytes EVM. Dado que es el EVM el que impulsa el mercado de prueba, los validadores se compilan en el EVM. Puede estar escrito en Solidity, puede ser Rust o C++.

Si está escrito en Solidity, simplemente impleméntelo; y si está escrito en Rust o C++, aprovecharemos zkLLVM para proporcionar una cadena de herramientas que compile verificadores de Rust y C++, de modo que zkLLVM se pueda usar como un lenguaje principal A-a- Compilador EVM que puede generar validadores de Rust, C++ u otros lenguajes e implementarlos en el mercado de pruebas. Una vez implementado, el mercado de pruebas admite la verificación del nuevo sistema de pruebas. En esa medida, no tiene permiso.

**BlockBeats: recuerdo que una vez dijiste en una mesa redonda sobre el proceso de descentralización de Rollup, = nil; El camino de Foundation es el opuesto al de la mayoría de los Rollups, que consiste en construir primero una red de generación de pruebas y luego descentralizar el cambio de clasificador. Entonces, ¿el mercado de prueba de =nil; Foundation tiene la oportunidad de ser una solución descentralizada para estos proyectos de resumen? **

Misha: Recuerdo que fue en Denver, cuando hablábamos de la estrategia de mercado desde diferentes direcciones, mucha gente desarrolló muchas aplicaciones que requerían pruebas de conocimiento cero, sistemas de prueba y muchas pruebas internas. y luego encontraron problemas como este: Hemos desarrollado el producto, pero no es perfecto, porque no está descentralizado, la prueba no está descentralizada, pero no tenemos suficiente poder de prueba, por lo que estamos atascados.

Las personas han creado productos, pero sienten que están atascados. Por nuestra parte, hemos construido una pila de tecnología para resolver estos problemas, podemos mejorar el servicio de mercado, integrarlo en la cadena de valor, lograr la descentralización y descentralización de pruebas y brindar soporte para roll-ups. La forma en que funciona es que los verificadores de esos resúmenes necesitan obtener una certificación de algún lugar, y ellos mismos deben ser los certificadores.

En algunos casos, es posible que el verificador no esté dispuesto, sea incapaz o no pueda configurar su propio hardware, GPU, ASIC, etc. Cuando solo tiene capital pero no infraestructura, necesita obtener pruebas de alguna parte. Es genial, proporciona pruebas para aquellos que tienen el capital pero no tienen la infraestructura o no quieren poseer la infraestructura.

El segundo punto es por qué mencioné que comenzamos en diferentes direcciones, nos propusimos mejorarlas desde una perspectiva de toma de decisiones. Personas como equipos de terceros están tratando de agregar un clasificador descentralizado encima de nosotros, tal vez alguien coloque un resumen encima de todo el sistema, para entonces la pila tecnológica estará completa y todo el sistema se implementará completo.

**BlockBeats: Finalmente, ¿puede Misha revelar =nil; cuáles son las cosas más importantes en la hoja de ruta de la Fundación para este año? **

Misha: Tenemos dos direcciones principales. La primera dirección son las aplicaciones verificables. Debemos hacer públicos estos casos de uso y permitir que más personas los conozcan. Algunos de estos ya se conocen, algunos no son tan conocidos y algunos ni siquiera están habilitados todavía, por ejemplo, nuestro caso de uso de zkLLVM requiere una interfaz creada específicamente para aplicaciones zkLLVM. Esto hará que Drupal y zkLLVM sean útiles para los casos de uso de zkLLVM y todas esas cosas.

Otro ejemplo es que queremos ayudar a las personas que desarrollan por encima de nosotros a completar sus proyectos, que serán algunas cosas interesantes sobre los juegos zk. ¿Alguna vez pensó en jugar un juego de disparos en tercera persona en 3D en Ethereum? Todavía no es posible, pero será posible, y así es como se habilitan nuevos casos de uso para Proof Marketplace y zkLLVM. A veces es peculiar, a veces es divertido y, a veces, es realmente útil.

La segunda gran dirección, tenemos que hacer que este protocolo sea descentralizado y accesible para cualquiera, lo que nos permitirá implementar el caso de uso del secuenciador descentralizado, hacer que el protocolo sea accesible para todos, probar experimentos, construir sobre su base, construir algo sobre él. Veremos cómo van las cosas, pero esperamos que se solucione. Debido al protocolo que construimos para el mercado de prueba, no hay nada igual en el mercado actual.

Quizás además de resolver problemas reales, también será interesante porque los desarrolladores de terceros pueden usarlo, ya que pueden probar algunas funciones que no se pueden implementar en otros lugares. Estas son nuestras dos direcciones generales: garantizar la seguridad y realizar la descentralización.