Discurso de apertura de Vitalik Buterin en Hong Kong: El acuerdo se ha desarrollado rápidamente en los últimos 10 años, pero hay dos problemas principales: eficiencia y seguridad.
Durante el Carnaval Web3 de Hong Kong de 2024, el cofundador de Ethereum, Vitalik Buterin, pronunció un discurso de apertura "Alcanzando los límites del diseño de protocolos" en la "Cumbre Académica Web3 2024" organizada por DRK Lab.
Presentó que en la década de 2010, los protocolos basados en criptografía básica eran el hash y las firmas. Posteriormente, el acuerdo se desarrolló rápidamente. En la década de 2020, los protocolos basados en criptografía avanzada incluyen ZK-SNARKS, 2PC, MPC, FHE (cifrado totalmente homomórfico), agregación (incluso a través de IVC, ICD, etc.) y redes P2P avanzadas.
Vitalik dijo que las tecnologías actuales ZK-SNARK, MPC, FHE y otras tienen problemas de eficiencia y seguridad, entre ellos, el tiempo de bloqueo de Ethereum Slot es de 12 segundos, el tiempo de verificación de bloque "ordinario" es de aproximadamente 400 milisegundos y la certificación ZK-SNARK El tiempo es de unos 20 minutos, Ethereum tiene como objetivo lograr pruebas en tiempo real. Existen varias soluciones al problema de la eficiencia, incluida la paralelización (paralelización), árboles de agregación (árboles de agregación), mejora de la eficiencia (utilizando el algoritmo SNARK y hash) y soluciones de hardware aceleradas ASIC.
El problema de vulnerabilidad del circuito ZK-SNARK puede ser resuelto por el comité de seguridad y los probadores múltiples. En el futuro, la IA puede ayudar a depurar y resolver problemas.
"Creo que una dirección futura interesante es utilizar herramientas de inteligencia artificial, potencialmente usando nuevas herramientas para la verificación formal. Como demostrar que no hay errores en el zkEVM", dijo. "Tal vez podamos lograr un sistema libre de errores". mundo en el futuro Esto es un poco loco ".
Además, al hablar de la eficiencia de la agregación de firmas, Vitalik Buterin señaló que la situación actual es de unas 30.000 firmas por ranura, lo que requiere una alta demanda de nodos. El objetivo deseado es admitir tantos validadores como sea posible al mismo tiempo que se reducen los requisitos de los nodos y se adopta un protocolo relativamente simple. Según las limitaciones teóricas, cada participante requiere 1 bit de datos por intervalo de tiempo y no existe un límite inferior en el cálculo.
"Así que la conclusión es, básicamente, que lo que debemos pensar es que necesitamos protocolos para alcanzar los límites de lo que se puede hacer con la criptografía, y hemos llegado al punto en el que nuestra criptografía es mucho más fuerte de lo que era hace unas décadas. hace, pero puede ser más fuerte, en este punto creo que realmente necesitamos empezar a pensar en cuál es el techo y cómo podemos llegar a él", dijo Vitalik para concluir.
Ver originales
El contenido es solo de referencia, no una solicitud u oferta. No se proporciona asesoramiento fiscal, legal ni de inversión. Consulte el Descargo de responsabilidad para obtener más información sobre los riesgos.
Discurso de apertura de Vitalik Buterin en Hong Kong: El acuerdo se ha desarrollado rápidamente en los últimos 10 años, pero hay dos problemas principales: eficiencia y seguridad.
Durante el Carnaval Web3 de Hong Kong de 2024, el cofundador de Ethereum, Vitalik Buterin, pronunció un discurso de apertura "Alcanzando los límites del diseño de protocolos" en la "Cumbre Académica Web3 2024" organizada por DRK Lab.
Presentó que en la década de 2010, los protocolos basados en criptografía básica eran el hash y las firmas. Posteriormente, el acuerdo se desarrolló rápidamente. En la década de 2020, los protocolos basados en criptografía avanzada incluyen ZK-SNARKS, 2PC, MPC, FHE (cifrado totalmente homomórfico), agregación (incluso a través de IVC, ICD, etc.) y redes P2P avanzadas.
Vitalik dijo que las tecnologías actuales ZK-SNARK, MPC, FHE y otras tienen problemas de eficiencia y seguridad, entre ellos, el tiempo de bloqueo de Ethereum Slot es de 12 segundos, el tiempo de verificación de bloque "ordinario" es de aproximadamente 400 milisegundos y la certificación ZK-SNARK El tiempo es de unos 20 minutos, Ethereum tiene como objetivo lograr pruebas en tiempo real. Existen varias soluciones al problema de la eficiencia, incluida la paralelización (paralelización), árboles de agregación (árboles de agregación), mejora de la eficiencia (utilizando el algoritmo SNARK y hash) y soluciones de hardware aceleradas ASIC.
El problema de vulnerabilidad del circuito ZK-SNARK puede ser resuelto por el comité de seguridad y los probadores múltiples. En el futuro, la IA puede ayudar a depurar y resolver problemas.
"Creo que una dirección futura interesante es utilizar herramientas de inteligencia artificial, potencialmente usando nuevas herramientas para la verificación formal. Como demostrar que no hay errores en el zkEVM", dijo. "Tal vez podamos lograr un sistema libre de errores". mundo en el futuro Esto es un poco loco ".
Además, al hablar de la eficiencia de la agregación de firmas, Vitalik Buterin señaló que la situación actual es de unas 30.000 firmas por ranura, lo que requiere una alta demanda de nodos. El objetivo deseado es admitir tantos validadores como sea posible al mismo tiempo que se reducen los requisitos de los nodos y se adopta un protocolo relativamente simple. Según las limitaciones teóricas, cada participante requiere 1 bit de datos por intervalo de tiempo y no existe un límite inferior en el cálculo.
"Así que la conclusión es, básicamente, que lo que debemos pensar es que necesitamos protocolos para alcanzar los límites de lo que se puede hacer con la criptografía, y hemos llegado al punto en el que nuestra criptografía es mucho más fuerte de lo que era hace unas décadas. hace, pero puede ser más fuerte, en este punto creo que realmente necesitamos empezar a pensar en cuál es el techo y cómo podemos llegar a él", dijo Vitalik para concluir.