jakiro
Yona es una capa 2 (acurrucado) alimentada por SVM en Bitcoin.
Mientras heredaba la seguridad de la economía criptográfica de Bitcoin, Yona se da cuenta de una rica programabilidad y expansión de ejecución sin precedentes de Bitcoin y sus activos.
Para lograr esto, Yona implementa una clavija de dos vías sin confianza entre BTC en Bitcoin y BTC en Yona y puede salir unilateralmente.Llamamos a este gancho nativo de Yona un gancho canónico.
La característica de diseño principal de Yona es que tiene como objetivo pasar de los puentes TSS-MPC conjuntos tradicionales a una especificación de ganchos bidireccionales, un mecanismo que se basa completamente en pruebas criptográficas y consenso de Bitcoin.En otras palabras, el gancho normativo bidireccional no depende de ningún consenso externo.
Características de los ganchos de especificación L2
El encierro debe proporcionar la capacidad de ingresar (depositar) y salir (retiro).
Los depósitos y retiros unilaterales son cruciales para garantizar la resistencia de disponibilidad y censura de los activos de bitcoin y dólar.
Si bien la implementación de depósitos es simple (comprobada por SPV), la salida unilateral correcta requiere una demostración directa de su validez en Bitcoin.
Proponemos un enfoque más práctico que se desarrollará gradualmente sobre la infraestructura económica cripto de Ethereum, con el objetivo de integrar gradualmente la mayor cantidad de seguridad de Bitcoin como sea la más apoyada por los bitcoin más centrales que la aceptan.
Ganchos de especificación de Bitcoin (BTC)
Nuestros ganchos nativos de BTC están impulsados por la seguridad criptoeconómica combinada con Eigenlayer y BITVM.
BITVM permite la verificación de la ejecución fuera de la cadena de Bitcoin, y cualquiera puede hacer pruebas de fraude y castigar las pruebas.BITVM es la fuente de seguridad de cifrado para los ganchos de especificación Yona.
Eigenlayer proporciona acceso a la base de capital de Ethereum y un conjunto de validador descentralizado.Eigenlayer es la fuente de seguridad económica para los enlaces de especificaciones de Yona.
Los operadores de Yona PEG son entidades que ayudan en la operación de modo normal del gancho (es decir, depósito/extracción de BTC).Cualquier operador de PEG necesita realizar dos roles:
BITVM Recarga/contrato de retiro contraparte (para operación de modo normal)
Operador AVS (para la salida unilateral)
Debe enfatizarse que el operador de Yona PEG nunca podrá acceder a Bitcoin depositado que no esté protegido por contratos de BITVM y que sean órdenes de magnitud más bajas que los activos de AVS.
Hay múltiples operadores de enlaces, al menos uno de los cuales debe ser honesto, pero incluso en los casos en que todos los operadores no son honestos, no pueden robar ningún depósito y, en el peor de los casos, solo los quemarán.
Cuando los usuarios depositan BTC en la cadena lateral, establecen un contrato de retiro BITVM con el operador de PEG.Después de establecer el contrato, el usuario envía directamente UTXO a la dirección BITVM.Tenga en cuenta que en cualquier momento, este UTXO no pertenece al corrector de pruebas.
Cuando los usuarios (posiblemente diferentes usuarios) proporcionan prueba de retiro válido de Yona, usan el contrato de retiro nuevamente (un nuevo contrato con el operador si no depositan BTC a Yona).
Si se produce una denegación de servicio o revisión, el operador PEG no podrá o no estará dispuesto a crear un contrato de BITVM.Aquí es donde entra en juego la seguridad económica de Eigenlayer.Por un lado, los operadores no pueden robar bitcoins depositados, por lo que no hay ningún beneficio de negarse a proporcionar servicios de retiro.Pero esto obviamente no es suficiente.Por lo tanto, utilizamos los recortes de Eignelayer para introducir los principales inconvenientes de rechazar retiros.
Si, por alguna razón, el operador PEG se niega a crear un contrato de retiro, el usuario puede enviar una transacción de bitcoin con la solicitud y demostrar a nuestro contrato Eigenlayer que el contrato de retiro no se creó.Esto reducirá los beneficios del operador.
Del mismo modo, en el caso de la retirada unilateral, el retirante puede proporcionar prueba de un retiro válido de Yona.Los operadores de PEG tienen hasta N bloqueos para proporcionar prueba de su solicitud de retiro completa.Si no se proporcionan pruebas, el operador se cortará en el Eigenlayer y el usuario puede retirar dinero directamente del contrato BITVM.
Especificación de meta-acristación para ganchos dobles, salida unilateral sin confianza
Otra innovación importante es que Yona puede implementar un monoprotocolo de bitcoin con cifrado completamente sincero y sin cifrado, sin cifrado, y no depende de la seguridad económica.
Los metaprotocolos (como BRC-20) usan Bitcoin para registrar datos y usan un indexador fuera de cadena para verificar independientemente las transacciones de metaprotocol.Esto permite la construcción de un acurrucado eficiente y sin confianza como una capa programable rápida del metaprotocol.
La principal diferencia entre Rollup y Sidechains es que el rollup permite salidas unilaterales sin confianza: los usuarios pueden extraer su BRC-20 del acurrucado mediante la ejecución de transacciones de Bitcoin sin la necesidad de que participen terceros (como operaciones rollup, validadores o puentes)).
A continuación, nos centraremos en los casos de uso BRC-20.
El mecanismo de enganche es el siguiente:
Para ingresar al acurrucado, los usuarios deben «destruir» BRC-20 en Bitcoin L1, demostrar la destrucción del contrato inteligente de Rollup (a través de Bitcoin ZK Light Client) y pueden acomodar la misma inscripción en L2.La destrucción se puede lograr en L1 enviando una transacción de «transferencia» a un script «OP_RETurn» que no contiene ningún dato.
Para salir del resumen, los usuarios deben «quemar» el BRC-20 en L2 y «menta» en Bitcoin L1 con ZK Prueba de retiro válido.
La prueba de salida válida de ZK incluye:
Compromiso con la entrada a las transacciones de retiro de L2 y la raíz de Merkle del árbol de estado rollup
ZKVM de Rollup ha realizado el cálculo correctamente y el saldo BRC20 resultante es mayor o igual que el monto del retiro
No hay violación del invariante de suministro total (es decir, el suministro total de BRC20 = BTC Supply + L2 Supply + Cantidad a retirarse)
La red de bitcoin en sí no puede verificar pruebas de conocimiento cero porque el script de bitcoin no tiene los códigos de operación necesarios.Sin embargo, dado que el indexador puede realizar una verificación, esto no es necesario.BRC-20 se ha basado en un indexador fuera de la cadena para reconstruir el saldo BRC-20, y lo único que debe hacer es apoyar la prueba de verificación de salida de las transacciones de retiro en el indexador.
Si L2 no está disponible, no hay pruebas de latidos del latido en la capa DA durante un tiempo determinado (por ejemplo, 5 días) que permite al usuario retirarse unilateral al enviar una transacción de bitcoin, es decir, el índice BRC20 fuera de la cadena puede procesar los retiros sin la retirada de L2 transacción.
Si L2 comienza a revisar los retiros, los usuarios pueden iniciar retiros enviando transacciones de bitcoin con solicitudes de retiro.El operador ligado a L2 tiene 24 horas para realizar retiros y enviar pruebas.Si esto no sucede, el usuario puede enviar la siguiente prueba:
Solicitar retirada unilateral a través de la transacción de bitcoin
La retirada unilateral de L2 no se manejó a tiempo
Hay un saldo pendiente válido de BRC20 para ser retirados
Al verificar esta prueba, el indexador BRC20 fuera de la cadena devuelve la propiedad sin verificar la transacción de retiro L2.
Entonces, Yona es el primer L2 en ofrecer un activo de dólar de Bitcoin completamente confiable fijado.
