Desde el lanzamiento de la compresión ZK hasta la implementación futura de varios llamados al sistema, la importancia de ZK en Solana no puede subestimarse.
Escrito por: Yash Agarwal & 0xIchigo
Compilado & organizado por: Pzai, Foresight News
En términos generales, la infraestructura de Solana ayuda a los desarrolladores a ahorrar costos en el rendimiento de la red, proporcionando soluciones de ejecución asíncrona y crecimiento de estado; en términos de seguridad, Solana ofrece privacidad y confidencialidad para aplicaciones en la cadena, así como verificabilidad y redes de prueba descentralizadas, explorando más en detalle cada uno de estos aspectos.
Privacidad y verificabilidad
Arcium ayuda a lograr la privacidad de las aplicaciones en la cadena al proporcionar un marco descentralizado, verificable y eficiente para ejecutar cálculos criptográficos. Por ejemplo, los modelos de IA pueden ser entrenados en datos privados, mientras que DeFi puede utilizarlos para transacciones privadas.
Bonsol de Anagram es el sistema de computación verificable nativo de Solana, que permite a los desarrolladores crear archivos ejecutables completamente verificables para datos privados y públicos, garantizando matemáticamente su validez e integrando los resultados en contratos inteligentes de Solana para probarlo en la cadena.
Anonimato y escalabilidad basada en ZK
Darklake ha construido una aplicación de intercambio AMM de privacidad, diseñada para ser el primer DEX de Solana que ofrece ejecución de órdenes en tiempo real y resistente a MEV.
Dark Protocol ha construido un protocolo anónimo gobernado por el mercado, respaldado por ZK-SNARKS.
La compresión ZK desarrollada por el protocolo de prueba ZK LightProtocol y Helius es un nuevo primitivo de cuenta de Solana, con pruebas zk y un mecanismo de compresión de estado, que reduce los costos de alquiler para los desarrolladores de aplicaciones de Solana y proporciona soluciones de crecimiento de estado.
El almacenamiento de estado comprimido ZK se encuentra en cuentas comprimidas. Estas cuentas son similares a las cuentas normales de Solana, pero presentan algunas diferencias clave que pueden mejorar la eficiencia y la escalabilidad:
Identificación por hash: cada cuenta comprimida se puede identificar por su valor hash
Cambio de hash al escribir: cualquier operación de escritura en la cuenta comprimida cambiará su hash
Dirección opcional: se puede optar por establecer la dirección como un ID único permanente para la cuenta comprimida. Esto es muy útil para ciertos casos de uso (por ejemplo, NFT). Esta campo es opcional para evitar la sobrecarga computacional, ya que las cuentas comprimidas pueden ser referenciadas por su valor hash.
Árbol de estado disperso: todas las cuentas comprimidas se almacenan en un árbol Merkle, y solo la raíz del estado del árbol (es decir, la raíz Merkle) se almacena en el espacio de cuentas de la cadena. Más específicamente, el árbol de estado se basa en un árbol Merkle concurrente con hash Poseidon.
Muchos equipos de Solana han estado construyendo casos de uso de compresión ZK en los siguientes aspectos:
Los usuarios de la billetera Backpack pueden mantener tokens sin pagar alquiler (Gas).
Aplicaciones sociales para consumidores, como Tribe.fun, permiten a los creadores enviar tokens a bajo costo.
Herramientas de airdrop como Helius Airship
ZKVM y stack de escalabilidad de red
RiscZero y SuccinctLabs pueden ayudar a probar cualquier cálculo en la cadena, sin estar limitados por el cálculo en la cadena. Esto puede mejorar los clientes ligeros de Solana impulsados por ZK, implementar redes DePIN simplificadas y proporcionar un inicio de sesión ZK seguro y sin costuras.
Además, zkSVM se está utilizando en muchos casos de uso:
Solforge Network utiliza ZKP para la escalabilidad de la red Stack y zk compresión para habilitar la prueba de actualizaciones de estado de transferencia, optimizando la generación de pruebas a través de LightSVM.
La plataforma de implementación de la red SVM Terminaxyz se aplica a casos de uso específicos mediante la reducción de la latencia, el aumento de la privacidad y la disminución de los costos de cómputo.
El stack SVM SonicSVM para juegos y aplicaciones también está trabajando en la escalabilidad a través de zk y Hypergrid.
ZetaMarkets Bullet L2 está escalando a un rendimiento extremadamente alto, y todas las transiciones de estado son verificables.
Además, equipos como Aerius están experimentando con pruebas zk.
Otras iniciativas incluyen el programa ZK Token Proof, que apoya las transferencias privadas a través de Anza: el saldo y el monto de las transacciones de los tokens SPL cifrados, para proteger la privacidad de los casos de uso de pagos, la criptografía homomórfica permite realizar cálculos sobre datos cifrados sin necesidad de descifrarlos. Para ello, las transferencias privadas utilizan el cifrado Twisted ElGamal para realizar operaciones matemáticas ocultas sobre el texto cifrado y utilizan el protocolo Sigma para verificar estas transferencias sin revelar información sensible. Solo los titulares de cuentas con la clave de descifrado pueden ver su saldo cifrado. Sin embargo, el Sistema Global de Auditoría (Global Auditor System) en Solana permite el acceso de lectura selectiva a través de una clave de descifrado separada para cumplir con la normativa y la auditoría.
