Puede que no conozcas mucho sobre el campo de ZK (conocimiento cero) y verifiability (verificabilidad) de Solana, pero definitivamente es un caballo oscuro. Este artículo te llevará a conocer rápidamente los proyectos de ZK, verificabilidad y privacidad en Solana.
En general, la infraestructura de Solana ayuda a:
Rendimiento de la red
-- Ahorrar mil veces en costos para los desarrolladores de aplicaciones
-- Ejecución asíncrona
-- Solución de crecimiento del estado
Seguridad
-- La privacidad y la confidencialidad de las aplicaciones en la cadena
-- Verificabilidad
-- red de prover descentralizada
¡Incluso en Solana hay ZK-rollup!
Veamos uno por uno:
-- Privacidad y verificabilidad
-- Anonimato
-- Escalabilidad basada en ZK y ZKVMs
-- Pilas de expansión de red ZK
-- Plan ZK
Por favor, tenga en cuenta: para facilitar la comprensión, a continuación se reclasificará esto y puede haber algunas superposiciones.
1. Privacidad y verificabilidad
Arcium ayuda a proporcionar privacidad para aplicaciones en cadena al ofrecer un marco eficiente y verificable que no requiere confianza para ejecutar cálculos criptográficos. Por ejemplo: los modelos de inteligencia artificial pueden entrenarse con datos cifrados, mientras que DeFi puede utilizarlo para transacciones confidenciales.
Bonsol, lanzado por ANAGRAM, es un sistema de cálculo verificable nativo de Solana que permite a los desarrolladores crear:
Un archivo ejecutable de datos privados o públicos completamente verificable → garantiza matemáticamente su validez → integra los resultados en el contrato inteligente de Solana para su verificación en la cadena.
2、anonimato
Darklake ha creado un AMM de intercambio con privacidad, destinado a convertirse en el primer intercambio descentralizado de Solana que ofrece ejecución de órdenes en tiempo real y resistente a MEV. Dark Protocol ha desarrollado un protocolo anónimo gestionado por el mercado, respaldado por ZK-snarks.
3. Escalabilidad basada en ZKP
ZK Compression es un nuevo primitivo de Solana lanzado conjuntamente por Light Protocol y Helius, que utiliza pruebas ZK y compresión de estado para reducir los costos de alquiler de los desarrolladores de aplicaciones Solana en mil veces.
El equipo ya ha realizado desarrollos en el área de compresión ZK en los siguientes aspectos:
-- Cartera (como Backpack): los usuarios poseen tokens sin necesidad de pagar alquiler.
-- Aplicaciones socialfi para consumidores (como Tribe.run): los creadores pueden enviar tokens a un costo más bajo.
-- Herramientas de airdrop (como Helius Airship)
4、ZKVMs
RISC Zero y Succinct pueden ayudar a demostrar cálculos arbitrarios en la cadena, sin las limitaciones del cálculo en la cadena. Esto puede soportar:
-- Cliente ligero de Solana basado en ZK
-- Red DePIN simplificada
-- Inicio de sesión ZK seguro y sin interrupciones
5、Solana red pila de expansión
zkSVM se está aplicando a:
-- Solforge: Esta pila de expansión de red utiliza el método ZKP y la compresión ZK del Protocolo Ligero para soportar la expansión de pruebas de flujo de actualización de estado y la optimización de generación de pruebas de LightSVM.
-- Termina: plataforma de implementación de redes SVM para casos de uso específicos, que puede reducir la latencia, mejorar la privacidad y disminuir los costos de computación.
-- Sonic SVM: pila SVM orientada a juegos y aplicaciones, que se está ampliando a través de Hypergrid con ZK.
-- bulletxyz: un rollup de ultra baja latencia desarrollado por ZetaMarkets, que se está expandiendo a un rendimiento extremadamente alto, todas las transiciones de estado son verificables. Además, equipos como Aerius Labs están llevando a cabo experimentos relacionados con pruebas ZK.
6, Plan ZK
Otros planes como el programa de prueba de tokens ZK de Anza apoyan transferencias confidenciales: el saldo de los tokens SPL encriptados y el monto de las transacciones, para proteger la privacidad de casos de uso como cuentas por pagar.
Desde la reciente publicación de la compresión ZK hasta las diversas llamadas al sistema que se lanzarán pronto, Solana se está convirtiendo en un potente motor ZK. Este artículo es solo un breve resumen para ayudar a todos a comprender el desarrollo temprano de ZK y la verificabilidad en Solana.
El contenido es solo de referencia, no una solicitud u oferta. No se proporciona asesoramiento fiscal, legal ni de inversión. Consulte el Descargo de responsabilidad para obtener más información sobre los riesgos.
Una visión rápida de los proyectos de ZK y verificabilidad en Solana
Fuente: Solana; Traducción: Jinse Caijing xiaozou
Puede que no conozcas mucho sobre el campo de ZK (conocimiento cero) y verifiability (verificabilidad) de Solana, pero definitivamente es un caballo oscuro. Este artículo te llevará a conocer rápidamente los proyectos de ZK, verificabilidad y privacidad en Solana.
En general, la infraestructura de Solana ayuda a:
-- Ahorrar mil veces en costos para los desarrolladores de aplicaciones
-- Ejecución asíncrona
-- Solución de crecimiento del estado
-- La privacidad y la confidencialidad de las aplicaciones en la cadena
-- Verificabilidad
-- red de prover descentralizada
¡Incluso en Solana hay ZK-rollup!
Veamos uno por uno:
-- Privacidad y verificabilidad
-- Anonimato
-- Escalabilidad basada en ZK y ZKVMs
-- Pilas de expansión de red ZK
-- Plan ZK
Por favor, tenga en cuenta: para facilitar la comprensión, a continuación se reclasificará esto y puede haber algunas superposiciones.
1. Privacidad y verificabilidad
Arcium ayuda a proporcionar privacidad para aplicaciones en cadena al ofrecer un marco eficiente y verificable que no requiere confianza para ejecutar cálculos criptográficos. Por ejemplo: los modelos de inteligencia artificial pueden entrenarse con datos cifrados, mientras que DeFi puede utilizarlo para transacciones confidenciales.
Bonsol, lanzado por ANAGRAM, es un sistema de cálculo verificable nativo de Solana que permite a los desarrolladores crear:
Un archivo ejecutable de datos privados o públicos completamente verificable → garantiza matemáticamente su validez → integra los resultados en el contrato inteligente de Solana para su verificación en la cadena.
2、anonimato
Darklake ha creado un AMM de intercambio con privacidad, destinado a convertirse en el primer intercambio descentralizado de Solana que ofrece ejecución de órdenes en tiempo real y resistente a MEV. Dark Protocol ha desarrollado un protocolo anónimo gestionado por el mercado, respaldado por ZK-snarks.
3. Escalabilidad basada en ZKP
ZK Compression es un nuevo primitivo de Solana lanzado conjuntamente por Light Protocol y Helius, que utiliza pruebas ZK y compresión de estado para reducir los costos de alquiler de los desarrolladores de aplicaciones Solana en mil veces.
El equipo ya ha realizado desarrollos en el área de compresión ZK en los siguientes aspectos:
-- Cartera (como Backpack): los usuarios poseen tokens sin necesidad de pagar alquiler.
-- Aplicaciones socialfi para consumidores (como Tribe.run): los creadores pueden enviar tokens a un costo más bajo.
-- Herramientas de airdrop (como Helius Airship)
4、ZKVMs
RISC Zero y Succinct pueden ayudar a demostrar cálculos arbitrarios en la cadena, sin las limitaciones del cálculo en la cadena. Esto puede soportar:
-- Cliente ligero de Solana basado en ZK
-- Red DePIN simplificada
-- Inicio de sesión ZK seguro y sin interrupciones
5、Solana red pila de expansión
zkSVM se está aplicando a:
-- Solforge: Esta pila de expansión de red utiliza el método ZKP y la compresión ZK del Protocolo Ligero para soportar la expansión de pruebas de flujo de actualización de estado y la optimización de generación de pruebas de LightSVM.
-- Termina: plataforma de implementación de redes SVM para casos de uso específicos, que puede reducir la latencia, mejorar la privacidad y disminuir los costos de computación.
-- Sonic SVM: pila SVM orientada a juegos y aplicaciones, que se está ampliando a través de Hypergrid con ZK.
-- bulletxyz: un rollup de ultra baja latencia desarrollado por ZetaMarkets, que se está expandiendo a un rendimiento extremadamente alto, todas las transiciones de estado son verificables. Además, equipos como Aerius Labs están llevando a cabo experimentos relacionados con pruebas ZK.
6, Plan ZK
Otros planes como el programa de prueba de tokens ZK de Anza apoyan transferencias confidenciales: el saldo de los tokens SPL encriptados y el monto de las transacciones, para proteger la privacidad de casos de uso como cuentas por pagar.
Desde la reciente publicación de la compresión ZK hasta las diversas llamadas al sistema que se lanzarán pronto, Solana se está convirtiendo en un potente motor ZK. Este artículo es solo un breve resumen para ayudar a todos a comprender el desarrollo temprano de ZK y la verificabilidad en Solana.