We have an exciting update to share with our community.
While the exact timeline for quantum computers compromising modern cryptography remains uncertain, the cut-off dates to retire current standards have already been established. To address this transition, Veridise is officially introducing the Quantum Readiness Review today. This comprehensive service guides organizations through every phase of the transition, starting from an initial cryptographic inventory all the way to thoroughly verified post-quantum code.
Read the full announcement here: https://veridise.com/blog/news/post-quantum-migration/
Un informe de auditoría tradicional ofrece una instantánea estática de tu software, que refleja únicamente el día específico en que se congeló tu base de código. Como tu proyecto está en constante evolución, el equipo de @Veridise creó AuditHub para ofrecer seguridad continua. Esta solución garantiza que OrCa, Picus, ZK Vanguard y Vanguard operen de forma continua dentro de tu canalización de CI para supervisar cada nueva actualización que realices.
Para ver exactamente cómo esta plataforma puede optimizar tu flujo de trabajo, no dejes de contactar con nuestro vicepresidente de Desarrollo de Negocio, @kulm1nski, en Devcon 8. Estará en Mumbai del 3 al 6 de noviembre y está listo para ofrecerte un recorrido completo por el sistema.
Todos los validadores, puentes, monederos, exchanges y custodios se enfrentan a una inevitable migración poscuántica. Estas entidades protegen el valor subyacente mediante claves públicas que ya están establecidas en la blockchain. Para hablar sobre los detalles de la preparación para la era cuántica, @veridisecarlos, gerente de desarrollo de negocio de Veridise, asistirá a Devcon 8. El encuentro tendrá lugar en Bombay del 3 al 6 de noviembre.
Para saber qué falla primero ante las amenazas cuánticas emergentes, no te pierdas la próxima sesión con @ShankaraPailoo2 y @FormallyJon en Devcon 8. Hablarán el jueves 5 de noviembre a las 14:00 IST en Lotus Stage 1. Ten en cuenta que los ataques cuánticos no anunciarán su llegada. Lo más probable es que la primera oleada de brechas sea silenciosa y muy específica, y que apunte a wallets, puentes, validadores y custodios, un objetivo a la vez.
La creación y validación de pruebas ZK implica componentes matemáticos complejos que solo un grupo muy selecto de especialistas puede comprender y ejecutar de verdad. Debido a esta elevada barrera técnica, @boundless_xyz decidió recurrir una vez más a la experiencia de Veridise. Descubre las ideas compartidas por @emilianobonassi, quien explica los motivos para encargar a Veridise una segunda auditoría del Marketplace. Lee el análisis completo en el enlace que aparece a continuación.
La construcción y evaluación de pruebas ZK implica entidades matemáticas complejas que muy pocas personas tienen la experiencia necesaria para manejar. Según @emilianobonassi, este desafío específico es precisamente la razón por la que @BoundlessHQ decidió asociarse una vez más con Veridise para realizar una segunda auditoría de su Marketplace. Puedes consultar todos los detalles de esta decisión y los hallazgos posteriores leyendo la historia completa en el enlace que aparece a continuación.
Proteger a los agentes de inteligencia artificial presenta los mismos riesgos que el control de acceso tradicional, por lo que es fundamental auditar siempre quién más tiene la clave.
Para ver un ejemplo claro, consideremos un flujo de funcionamiento de una versión anterior del borrador del ERC-8468. En esa versión, un guardián podía activar la suspensión de un agente de IA, pero el sistema volvía a estar operativo después de un solo bloque. Esta rápida reactivación se debía a que el agente había especificado una segunda clave bajo su propio control, con autorización para reanudar las operaciones.
Ver una instrucción como x = x + 1 es perfectamente normal en el desarrollo de software convencional, pero genera complicaciones innecesarias para un probador. Cuando las variables cambian, el probador se ve obligado a determinar continuamente a qué versión de x se hace referencia en cada punto del código. Gracias a LLZK, este problema se evita por completo, ya que cada valor se asigna una sola vez. Para comprender mejor cómo este enfoque de asignación única simplifica la verificación de circuitos ZK, puedes leer el análisis de @RaghavMalik15.
Nueve organizaciones de criptomonedas han creado una nueva coalición llamada Quantum Alliance. De esta colaboración surge un grupo de trabajo dedicado a los sistemas de conocimiento cero poscuánticos, una iniciativa que nuestro equipo sigue muy de cerca.
El principal motivo de nuestro interés son los obstáculos técnicos que implica. Es muy poco habitual que los circuitos diseñados para un sistema de pruebas específico puedan trasladarse sin problemas a otro distinto. Por eso, cualquier reescritura necesaria genera código completamente nuevo que requiere una auditoría exhaustiva desde cero.
Encontrarás más detalles sobre este anuncio aquí: https://decrypt.co/381236/crypto-firms-launch-quantum-alliance-as-6-million-bitcoin-sit-exposed
Verificar el comportamiento de un bucle puede ser complicado cuando no sabes cuántas iteraciones completará. El secreto está en establecer una condición específica que se cumpla desde el principio y se mantenga durante cada iteración. Gracias al principio de inducción, puedes tener la certeza de que esta propiedad seguirá siendo válida cuando la ejecución finalmente concluya. Para ver un excelente ejemplo de este método en acción, @RaghavMalik15 explica paso a paso cómo lo pone en práctica LLEQ.
Cada vez que optimizas un circuito ZK para reducir las restricciones, debes asegurarte de que la nueva versión realice exactamente el mismo cálculo que el diseño inicial. Aunque las pruebas estándar solo validan las entradas específicas que prevés, LLEQ adopta un enfoque mucho más exhaustivo. Delega la verificación en un solucionador SMT, que evalúa lógicamente todos los escenarios de entrada posibles. Para ver una guía práctica sobre cómo ejecutar este flujo de trabajo, @RaghavMalik15 ofrece un tutorial completo.
El equipo de @aztecnetwork ha presentado una hoja de ruta integral para la era poscuántica, cuya finalización está prevista para 2030. Lo que hace especialmente interesante este cronograma es el orden de las actualizaciones planificadas. Desde el principio, están dando prioridad a abordar la vulnerabilidad de «recopilar ahora y descifrar después». Por este motivo, las bibliotecas reforzadas que protegen los datos privados se introducirán a principios de 2027, mucho antes de que se realicen cambios en el sistema de pruebas.
Al considerar la migración de Bitcoin, elegir un esquema de firma poscuántica es, de hecho, el paso menos complicado. Un artículo reciente sobre computación poscuántica publicado por Coinbase pone de relieve un problema mucho más difícil. Las billeteras que utilizan esquemas con estado deben llevar un control minucioso de cuáles claves de un solo uso ya se han utilizado. Si un usuario restaura una copia de seguridad desactualizada y luego reutiliza una clave, un atacante podría falsificar una firma válida.
Los agentes de inteligencia artificial tuvieron una presencia destacada en todo el evento @token2049, donde se mostró cómo realizaban tareas complejas, como gestionar tesorerías, ejecutar operaciones y redactar contratos. Sin embargo, en medio de todo el entusiasmo, se pasó por alto en gran medida una conversación fundamental. Casi nadie abordó la necesidad de validar los resultados concretos que producen estos agentes. Resolver precisamente esta brecha de verificación es en lo que se ha centrado nuestro equipo. Esperamos compartir más detalles contigo muy pronto.
Durante una jornada completa en Singapur, el equipo de Veridise tuvo el placer de hablar en tres escenarios distintos. Ya fuera en la @solana Summit, participando en @gammaprime o asistiendo al Multichain Day, nuestras conversaciones giraron en gran medida en torno a ZK, las auditorías de seguridad y la verificación formal. A pesar de las diferencias entre los eventos, la gente planteó una y otra vez un tema común. La pregunta recurrente del público era cómo encontrar una forma fiable de verificar que un fragmento de código determinado realmente hace exactamente lo que especifican sus requisitos.
Si tu hoja de ruta incluye una auditoría próxima para el Q4 o principios del próximo año, @kulm1nski es la persona ideal con la que consultar en relación con el alcance de tu proyecto y la planificación. Viajará a Singapur para asistir a @token2049 del 5 al 9 de octubre. Por favor, envíale un DM para coordinar un horario para reunirse.
Si tu hoja de ruta próxima incluye seguridad y buscas una conversación directa sobre el tema, la semana que viene es una oportunidad perfecta para conectar. @FormallyJon se dirige a Singapur, donde asistirá a @token2049 y explorará los eventos secundarios del 5 al 9 de octubre. Siéntete libre de enviar un DM para reservar una hora de reunión.
Con la introducción de las transacciones con marco (Frame Transactions), las cuentas tendrán la flexibilidad de definir sus propias pautas de autorización específicas. Esto significa que los usuarios pueden configurar reglas personalizadas para esquemas de firma alternativos, recuperación de cuentas y múltiples aprobaciones. Como resultado de este cambio, la lógica operativa que actualmente reside en el código de cada billetera se trasladará directamente al protocolo subyacente. Es importante tener en cuenta que, a medida que esta lógica transita, su correspondiente superficie de fallo también se trasladará a la capa del protocolo.
Antes de compartir la estimación de $63 para una transacción de Bitcoin resistente a la cuántica, se recomienda encarecidamente revisar la metodología subyacente. Como @StarkWareLtd explica claramente, esta cantidad es puramente un modelo teórico y no una factura real, lo que significa que nunca se generan transacciones reales. Además, aunque los puntos de referencia de rendimiento se ejecutaron usando RTX 4090, la proyección general de costos asume una red hipotética compuesta por 100 RTX 3090.
Asegurar una transacción de Bitcoin frente a las amenazas de la computación cuántica es ahora 6 veces más rápido, todo gracias a código criptográfico que ha sido optimizado por inteligencia artificial. Aunque la velocidad es una métrica que podemos medir con facilidad, establecer que dos métodos son verdaderamente equivalentes es imposible sin una prueba verificable.