CometBLS

Introducción

Probar el estado y la finalidad de una cadena de bloques se encuentra en la raíz del puente seguro y la verificación de consenso. Tendermint, aunque está diseñado para una finalidad rápida de una sola ranura, no es adecuado para puentear para bloquear cadenas restringidas en el espacio, como Ethereum. Requiere demasiado cálculo para verificar, e incluso crear pruebas de conocimiento cero de la verificación es costoso, lento y se escala mal con el número de validadores. La mayoría de los intentos de puentear a Ethereum antes de la Unión están centralizados y no se basan en la verificación de consenso.

CometBL es una mejora sobre la Tendermint, lo que la hace adecuada para la prueba de conocimiento cero. CometBLS se logra mediante tres cambios significativos a CometaBFT, con más mejoras pendientes. Estas mejoras disminuirán aún más los tiempos de prueba, lo que conducirá a transferencias de puente más rápidas y retransmisión más barata.

BLS Firmas

Boneh–Lynn–Shacham (BLS) firmas forman la base de CometBLS. Son más baratos de verificar tanto para IBC regular como para IBC basado en prueba de conocimiento cero (zkp). Con las firmas BLS, podemos agregar las claves públicas y las firmas, y verificar la firma agregada con la clave privada agregada. Esto tiene algunas ventajas:

• El tamaño de la transacción disminuye en comparación con la verificación ECDSA. No necesitamos transferir todas las firmas, solo el agregado.

• El costo de cálculo en cadena disminuye. En lugar de verificar cada firma, verificamos el agregado.

• La verificación ZKP es mucho más eficiente.

Tenga en cuenta que los validadores de la Unión no producen ZKP directamente. Esta función es realizada por galo. Los relés pueden producir pruebas por sí mismos o usar Union como una capa de secuenciación distribuida mediante el uso de reclamaciones de prueba.

En CometBLS, la red de la Unión puede escalar a cientos de validadores sin afectar el rendimiento o la latencia de puente. Además, debido a que las firmas BLS se pueden agregar, podemos emplear Distribuido Validator Tech escalar a miles de validadores.

Hashing MiMC

SHA-256 se utiliza en todo Tendermint para pruebas de almacenamiento y más. La seguridad de SHA-256 sobre alternativas como BLAKE es cuestionable; el principal inconveniente es el alto costo dentro de los circuitos de Conocimiento Cero para probar el hashing. MiMC es una alternativa que proporciona una excelente seguridad y disminuye significativamente el número de restricciones en Galois. CometBLS V3 introdujo estos hashes MiMC, trayendo mejoras significativas de rendimiento.

Rotación del Validador Basada en Época

La reducción del número de actualizaciones de clientes ligeros requeridas para el funcionamiento seguro del puente es crucial para la rentabilidad de la capa relé y la viabilidad económica de los clientes ligeros en entornos con restricción de gas, lo que a su vez reduce las tarifas para los usuarios habituales. Epoch Staking es nuestro esfuerzo actual para minimizar las actualizaciones de clientes ligeros de ‘useless’ y la generación de pruebas. Combina diseños del consenso de Polkadot con modelos de gobernanza y seguridad de Cosmos’.

Mejoras Pendientes

Las versiones futuras de CometBLS admitirán mejoras centradas en reducir aún más los tiempos de prueba y los costos de prueba.

Verkle Árboles

Una mejora aún mayor para las pruebas de almacenamiento es el uso de Verkle Árboles sobre los árboles Merkle. Sin embargo, esta tecnología está relativamente poco desarrollada.