Anaxi Labs y CyLab de la Universidad Carnegie Mellon lanzan un sistema de prueba revolucionario que allana el camino para aplicaciones del mundo real escalables y seguras.
Anaxi Labs y el Instituto de Seguridad y Privacidad en Red de la Universidad Carnegie Mellon (CyLab) han anunciado una colaboración para lanzar un marco revolucionario de compilador criptográfico que resuelve un problema que ha estado afectando a la industria durante mucho tiempo: la construcción de aplicaciones de conocimiento cero escalables requiere compromisos en un nivel fundamental. Hasta ahora, se consideraba imposible lograr simultáneamente aplicaciones escalables, seguras y descentralizadas, lo cual ha sido una barrera para la adopción a gran escala... hasta ahora.
Avances criptográficos sin compromisos
Ethereum y otras blockchain son consideradas el futuro de la infraestructura de Descentralización, y la tecnología de prueba de conocimiento cero (ZK) se considera capaz de mejorar la seguridad y la escalabilidad de Ethereum a más de 120 transacciones por segundo. Pero la realidad es muy diferente. Desarrollar zk-SNARKs es complejo y lleva mucho tiempo, requiere que decenas de desarrolladores dediquen miles de horas. Para optimizar la velocidad de generación de pruebas, a menudo es necesario diseñar protocolos manualmente, y la codificación manual y decenas de miles de líneas de código conllevan importantes riesgos de seguridad. Esto hace que la creación de aplicaciones de Descentralización sensibles a la seguridad sea complicada, y convierte la auditoría y el cumplimiento en una pesadilla, lo que obstaculiza la amplia aplicación de esta tecnología en sectores regulados como finanzas, atención médica e inteligencia artificial.
El equipo de investigación de la Universidad de Carnegie Mellon está trabajando con Anaxi Labs para superar este desafío
El último artículo publicado por la Universidad Carnegie Mellon propone un enfoque revolucionario que puede compilar automáticamente el software de alto nivel y simplificarlo a una forma más simple (representación de bajo nivel) requerida por los sistemas de prueba. Este proceso es completamente automatizado, repetible y auditable, eliminando el trabajo manual y mejorando significativamente el rendimiento, al tiempo que garantiza la seguridad en el nivel de criptografía. Este logro descompone el programa de alto nivel en unidades pequeñas e indivisibles mediante el análisis del programa y luego crea representaciones de bajo nivel de cada unidad que pueden ser fácilmente introducidas en varios sistemas de prueba.
El profesor asistente del Departamento de Ingeniería Eléctrica y de Computadoras de la Universidad Carnegie Mellon, Riad Wahby, dijo: "La descomposición de los cálculos en bloques muy concretos de forma automatizada para reemplazar a la CPU es un enfoque completamente nuevo, y esta es la primera vez que alguien intenta este método de compilación que evita la representación completa del programa. Estamos muy emocionados al respecto."
Aplicación de Descentralización Nueva Iniciada
Esta investigación y el marco construido por Anaxi Labs basado en la investigación cambiarán por completo el panorama de la industria en Web3 y otras áreas. En el campo financiero tradicional y regulado, mejorar el rendimiento mientras se mantiene la auditabilidad ha hecho posible el asentamiento en tiempo real (como pagos instantáneos en dólares). En el campo de la atención médica, en medio de los desafíos que enfrenta 23andMe, las herramientas seguras y de encriptación respaldadas por los productos desarrollados por Anaxi Labs ahora pueden abordar problemas críticos al garantizar la legítima propiedad individual de su propio ADN y al mismo tiempo respaldar investigaciones valiosas. En el campo de la inteligencia artificial empresarial y la infraestructura física clave, las soluciones de descentralización que requieren alta disponibilidad y baja latencia (como ajustes y razonamientos rápidos en múltiples recursos de datos y cómputo) también se han convertido en una realidad.
En términos recientes, el producto basado en esta investigación ha proporcionado la solución más efectiva para las empresas Web3 que están abordando los problemas de escalabilidad, seguridad y equilibrio de la descentralización, y ha establecido un nuevo paradigma de diseño para rollups y productos de interoperabilidad.
La cofundadora de Anaxi Labs, Kate Shen, dijo: "Esta investigación y el producto que estamos construyendo que integra los resultados de esta investigación tendrán un impacto profundo en muchas aplicaciones importantes de la industria que requieren soluciones auditables para abordar una gran cantidad de cuellos de botella de rendimiento, como ZK y EVM, y finalmente nos acercará aún más a nuestra visión de descentralización, consenso y liquidación en tiempo real con encriptación segura."
Shen complementa: "También apreciamos mucho la capacidad de este estudio de ser multilingüe, lo que significa que varios proyectos pueden beneficiarse sin necesidad de modificar el código. Esto nos permite construir un marco abierto y colaborativo en lugar de seguir el enfoque estático y monolítico de hoy en día. De esta manera, todos los desarrolladores pueden seleccionar y combinar automáticamente las ventajas de los últimos sistemas de prueba, como la tabla de búsqueda, el coprocesador y la aceleración de hardware, maximizando así el rendimiento de cada método de cálculo."
Anaxi Labs y CyLab: una colaboración que cambia las reglas del juego
El CyLab de la Universidad Carnegie Mellon ha sido un centro de investigación líder en el desarrollo de blockchain, incluida la tecnología de conocimiento cero. Los destacados profesores e investigadores de CyLab incluyen a Bryan Parno, quien ha sido un importante contribuyente en la historia del desarrollo de la tecnología de conocimiento cero y cuyo laboratorio ha producido la ampliamente citada serie de documentos Nova; y al profesor asistente Riad Wahby, cuyas investigaciones han dado lugar a nuevas técnicas criptográficas que han cumplido con la visión de la Fundación Ethereum (recientemente también ha habido implementaciones pioneras de Jolt zkVM del departamento de encriptación de Andreessen Horowitz a16z crypto).
Los resultados de investigación de este marco de compilador provienen de la colaboración simbiótica establecida en el segundo proyecto de investigación entre Anaxi Labs y CyLab a través del Programa de Seguridad de Blockchain de CMU. Esta colaboración permitió a los académicos de Carnegie Mellon University colaborar con Anaxi Labs para obtener ideas y aprendizaje de su implementación comercial de investigación en blockchain en aplicaciones Web3 y Web 2.0. Les permitió encontrar soluciones comerciales para los principales problemas existentes en blockchain y cerrar la brecha entre las ventajas conocidas de la tecnología blockchain y su aplicación a gran escala. También proporcionó un trampolín para que los estudiantes de Carnegie Mellon University inicien sus carreras profesionales en el campo de Web3.
El director senior de asociaciones de CyLab, Michael Lisanti, dijo: "La colaboración entre Anaxi Labs y CyLab ha mejorado la capacidad de los investigadores de la Universidad Carnegie Mellon para trabajar en proyectos con aplicaciones directas en la vida real, asegurando que su trabajo tenga correlación práctica y un impacto potencial."
Para obtener más información sobre Anaxi Labs, visite el sitio web.
Para obtener más información sobre el último trabajo de Anaxi Labs y CyLab, visite aquí.
Para obtener más información sobre la colaboración entre CyLab y Anaxi Labs, visite aquí.
Sobre Anaxi Labs
Anaxi Labs es un nuevo laboratorio de investigación y desarrollo que actúa como puente entre la teoría académica avanzada y la aplicación a gran escala. Nos dedicamos a realizar investigaciones de vanguardia originales, construir infraestructuras descentralizadas de nivel empresarial, seguras y escalables, y promover el desarrollo de aplicaciones descentralizadas de próxima generación impulsadas por la criptografía.
Colaboramos con los principales talentos en criptografía a nivel mundial y con ingenieros de clase mundial, quienes han construido y operado con éxito productos de renombre con cientos de millones de usuarios. Su experiencia y conocimientos especializados brindan un sólido respaldo técnico a nuestro proyecto. Somos socios de instituciones académicas líderes en criptografía como la Universidad Carnegie Mellon. Nos dedicamos a liberar el potencial científico para transformar el futuro de Internet para la humanidad, la sociedad y el planeta.
Sobre CyLab
CyLab de la Universidad Carnegie Mellon es un instituto de investigación en seguridad y privacidad de la universidad. Reunimos a expertos de todas las facultades de la universidad, incluyendo ingeniería, informática, políticas públicas, sistemas de información, negocios, finanzas, gestión de riesgos, humanidades y ciencias sociales. Nuestra misión es catalizar, apoyar, promover y fortalecer la investigación y la educación colaborativas en seguridad y privacidad entre departamentos, disciplinas y fronteras geográficas, con el fin de tener un impacto significativo en la investigación, la educación, las políticas públicas y la práctica.
Este artículo proviene de una contribución y no representa una opinión
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.
Anaxi Labs y CyLab de la Universidad Carnegie Mellon lanzan un sistema de prueba revolucionario que allana el camino para aplicaciones del mundo real escalables y seguras.
Anaxi Labs y el Instituto de Seguridad y Privacidad en Red de la Universidad Carnegie Mellon (CyLab) han anunciado una colaboración para lanzar un marco revolucionario de compilador criptográfico que resuelve un problema que ha estado afectando a la industria durante mucho tiempo: la construcción de aplicaciones de conocimiento cero escalables requiere compromisos en un nivel fundamental. Hasta ahora, se consideraba imposible lograr simultáneamente aplicaciones escalables, seguras y descentralizadas, lo cual ha sido una barrera para la adopción a gran escala... hasta ahora.
Avances criptográficos sin compromisos
Ethereum y otras blockchain son consideradas el futuro de la infraestructura de Descentralización, y la tecnología de prueba de conocimiento cero (ZK) se considera capaz de mejorar la seguridad y la escalabilidad de Ethereum a más de 120 transacciones por segundo. Pero la realidad es muy diferente. Desarrollar zk-SNARKs es complejo y lleva mucho tiempo, requiere que decenas de desarrolladores dediquen miles de horas. Para optimizar la velocidad de generación de pruebas, a menudo es necesario diseñar protocolos manualmente, y la codificación manual y decenas de miles de líneas de código conllevan importantes riesgos de seguridad. Esto hace que la creación de aplicaciones de Descentralización sensibles a la seguridad sea complicada, y convierte la auditoría y el cumplimiento en una pesadilla, lo que obstaculiza la amplia aplicación de esta tecnología en sectores regulados como finanzas, atención médica e inteligencia artificial.
El equipo de investigación de la Universidad de Carnegie Mellon está trabajando con Anaxi Labs para superar este desafío
El último artículo publicado por la Universidad Carnegie Mellon propone un enfoque revolucionario que puede compilar automáticamente el software de alto nivel y simplificarlo a una forma más simple (representación de bajo nivel) requerida por los sistemas de prueba. Este proceso es completamente automatizado, repetible y auditable, eliminando el trabajo manual y mejorando significativamente el rendimiento, al tiempo que garantiza la seguridad en el nivel de criptografía. Este logro descompone el programa de alto nivel en unidades pequeñas e indivisibles mediante el análisis del programa y luego crea representaciones de bajo nivel de cada unidad que pueden ser fácilmente introducidas en varios sistemas de prueba.
El profesor asistente del Departamento de Ingeniería Eléctrica y de Computadoras de la Universidad Carnegie Mellon, Riad Wahby, dijo: "La descomposición de los cálculos en bloques muy concretos de forma automatizada para reemplazar a la CPU es un enfoque completamente nuevo, y esta es la primera vez que alguien intenta este método de compilación que evita la representación completa del programa. Estamos muy emocionados al respecto."
Aplicación de Descentralización Nueva Iniciada
Esta investigación y el marco construido por Anaxi Labs basado en la investigación cambiarán por completo el panorama de la industria en Web3 y otras áreas. En el campo financiero tradicional y regulado, mejorar el rendimiento mientras se mantiene la auditabilidad ha hecho posible el asentamiento en tiempo real (como pagos instantáneos en dólares). En el campo de la atención médica, en medio de los desafíos que enfrenta 23andMe, las herramientas seguras y de encriptación respaldadas por los productos desarrollados por Anaxi Labs ahora pueden abordar problemas críticos al garantizar la legítima propiedad individual de su propio ADN y al mismo tiempo respaldar investigaciones valiosas. En el campo de la inteligencia artificial empresarial y la infraestructura física clave, las soluciones de descentralización que requieren alta disponibilidad y baja latencia (como ajustes y razonamientos rápidos en múltiples recursos de datos y cómputo) también se han convertido en una realidad.
En términos recientes, el producto basado en esta investigación ha proporcionado la solución más efectiva para las empresas Web3 que están abordando los problemas de escalabilidad, seguridad y equilibrio de la descentralización, y ha establecido un nuevo paradigma de diseño para rollups y productos de interoperabilidad.
La cofundadora de Anaxi Labs, Kate Shen, dijo: "Esta investigación y el producto que estamos construyendo que integra los resultados de esta investigación tendrán un impacto profundo en muchas aplicaciones importantes de la industria que requieren soluciones auditables para abordar una gran cantidad de cuellos de botella de rendimiento, como ZK y EVM, y finalmente nos acercará aún más a nuestra visión de descentralización, consenso y liquidación en tiempo real con encriptación segura."
Shen complementa: "También apreciamos mucho la capacidad de este estudio de ser multilingüe, lo que significa que varios proyectos pueden beneficiarse sin necesidad de modificar el código. Esto nos permite construir un marco abierto y colaborativo en lugar de seguir el enfoque estático y monolítico de hoy en día. De esta manera, todos los desarrolladores pueden seleccionar y combinar automáticamente las ventajas de los últimos sistemas de prueba, como la tabla de búsqueda, el coprocesador y la aceleración de hardware, maximizando así el rendimiento de cada método de cálculo."
Anaxi Labs y CyLab: una colaboración que cambia las reglas del juego
El CyLab de la Universidad Carnegie Mellon ha sido un centro de investigación líder en el desarrollo de blockchain, incluida la tecnología de conocimiento cero. Los destacados profesores e investigadores de CyLab incluyen a Bryan Parno, quien ha sido un importante contribuyente en la historia del desarrollo de la tecnología de conocimiento cero y cuyo laboratorio ha producido la ampliamente citada serie de documentos Nova; y al profesor asistente Riad Wahby, cuyas investigaciones han dado lugar a nuevas técnicas criptográficas que han cumplido con la visión de la Fundación Ethereum (recientemente también ha habido implementaciones pioneras de Jolt zkVM del departamento de encriptación de Andreessen Horowitz a16z crypto).
Los resultados de investigación de este marco de compilador provienen de la colaboración simbiótica establecida en el segundo proyecto de investigación entre Anaxi Labs y CyLab a través del Programa de Seguridad de Blockchain de CMU. Esta colaboración permitió a los académicos de Carnegie Mellon University colaborar con Anaxi Labs para obtener ideas y aprendizaje de su implementación comercial de investigación en blockchain en aplicaciones Web3 y Web 2.0. Les permitió encontrar soluciones comerciales para los principales problemas existentes en blockchain y cerrar la brecha entre las ventajas conocidas de la tecnología blockchain y su aplicación a gran escala. También proporcionó un trampolín para que los estudiantes de Carnegie Mellon University inicien sus carreras profesionales en el campo de Web3.
El director senior de asociaciones de CyLab, Michael Lisanti, dijo: "La colaboración entre Anaxi Labs y CyLab ha mejorado la capacidad de los investigadores de la Universidad Carnegie Mellon para trabajar en proyectos con aplicaciones directas en la vida real, asegurando que su trabajo tenga correlación práctica y un impacto potencial."
Para obtener más información sobre Anaxi Labs, visite el sitio web.
Para obtener más información sobre el último trabajo de Anaxi Labs y CyLab, visite aquí.
Para obtener más información sobre la colaboración entre CyLab y Anaxi Labs, visite aquí.
Sobre Anaxi Labs
Anaxi Labs es un nuevo laboratorio de investigación y desarrollo que actúa como puente entre la teoría académica avanzada y la aplicación a gran escala. Nos dedicamos a realizar investigaciones de vanguardia originales, construir infraestructuras descentralizadas de nivel empresarial, seguras y escalables, y promover el desarrollo de aplicaciones descentralizadas de próxima generación impulsadas por la criptografía.
Colaboramos con los principales talentos en criptografía a nivel mundial y con ingenieros de clase mundial, quienes han construido y operado con éxito productos de renombre con cientos de millones de usuarios. Su experiencia y conocimientos especializados brindan un sólido respaldo técnico a nuestro proyecto. Somos socios de instituciones académicas líderes en criptografía como la Universidad Carnegie Mellon. Nos dedicamos a liberar el potencial científico para transformar el futuro de Internet para la humanidad, la sociedad y el planeta.
Sobre CyLab
CyLab de la Universidad Carnegie Mellon es un instituto de investigación en seguridad y privacidad de la universidad. Reunimos a expertos de todas las facultades de la universidad, incluyendo ingeniería, informática, políticas públicas, sistemas de información, negocios, finanzas, gestión de riesgos, humanidades y ciencias sociales. Nuestra misión es catalizar, apoyar, promover y fortalecer la investigación y la educación colaborativas en seguridad y privacidad entre departamentos, disciplinas y fronteras geográficas, con el fin de tener un impacto significativo en la investigación, la educación, las políticas públicas y la práctica.
：