Es hora de prevenir hacks *antes* de que ocurran. La V1 de Credible Layer ya está aquí. Las pruebas beta comienzan ahora. Hemos estado trabajando en esto durante mucho tiempo y somos muy optimistas sobre el impacto que puede tener. Así es como funciona. Credible Layer tiene cuatro componentes: > Afirmaciones: Reglas de seguridad escritas en Solidity que definen estados que nunca deberían ocurrir (por ejemplo, "la dirección de implementación no debería cambiar", "el precio no debería desviarse más de x% en una sola transacción"). > Protocolos: Los equipos definen afirmaciones para sus contratos y las registran en la cadena. > Constructores de bloques/Sequenciadores: La infraestructura de la red valida cada transacción contra las afirmaciones antes de la inclusión en el bloque, descartando cualquier transacción que viole las reglas de seguridad. > Panel de Transparencia: Muestra qué protocolos están protegidos y cómo. Aquí hay un desglose del flujo de transacciones para darte una idea de cómo funciona en la práctica: > El usuario envía la transacción a la red > La transacción entra en el mempool > OP-Talos recibe la transacción para posible inclusión > OP-Talos hace referencia a las afirmaciones relacionadas con los contratos con los que interactúa la transacción > PhEVM simula la ejecución de la transacción y crea instantáneas del estado pre/post-transacción > Todas las afirmaciones relevantes se ejecutan contra estos estados > Si alguna afirmación revierte → transacción marcada como inválida y descartada > Si todas las afirmaciones pasan → transacción incluida en el bloque Si una transacción resultaría en un hack y el contrato está protegido por Credible Layer, la transacción es descartada. Si el contrato no está protegido, la transacción es incluida. Los sistemas que hacen posible lo anterior: > OP-Talos: Constructor de bloques personalizado para rollups de OP Stack que orquesta el proceso de validación y construye bloques excluyendo transacciones que violan afirmaciones. > PhEVM (el brazo de ejecución de OP-Talos): Ejecuta el bytecode de afirmaciones en un entorno aislado fuera de la cadena con precompilaciones especiales para un acceso eficiente al estado. > Assertion DA: Almacena el código fuente de afirmaciones y bytecode, proporciona el código de afirmaciones a los constructores de bloques. > Protocolo de Credible Layer: Contrato inteligente que gestiona el registro en la cadena de afirmaciones, mapeando afirmaciones a contratos protegidos. Esto permite lo siguiente para tu dapp: • Previene hacks, no los detecta: Detiene ataques antes de la ejecución • Sin falsos positivos: Solo bloquea transacciones que violan explícitamente las reglas definidas • Amigable para desarrolladores: Afirmaciones escritas en Solidity • No invasivo: No se requieren modificaciones en contratos existentes • Alto rendimiento: Procesa más de 1,500 transacciones en menos de 50 ms • Transparente: Todas las afirmaciones visibles en la cadena Está disponible para que los desarrolladores lo prueben hoy. Puedes: > desplegar contratos > escribir afirmaciones > escribir pruebas > probar si una transacción de hackeo rompe tus afirmaciones Si estás interesado, contáctanos. Estamos whitelistando el acceso por ahora. La seguridad está cambiando. (Gran anuncio próximamente).