『¿ZK es el juego final? Una imagen para entender: cómo las pruebas de conocimiento cero están cambiando la blockchain』 Recientemente, ha habido una ola de proyectos que han cambiado sus avatares para unirse a los pequeños pingüinos, lo que inevitablemente genera la sensación de que todos están a punto de hacer algo. Recordando la última vez que ocurrió algo así, probablemente fue con "ZK es el juego final"; cada persona en Web3, de una forma u otra, ha escuchado o tiene conocimiento sobre ZK. Para que mis compañeros comprendan mejor la situación actual de la pista ZK, he recopilado el desarrollo de diez años de pruebas de conocimiento cero x blockchain, y en este momento, el proyecto de la pista ZK que más me entusiasma es @boundless_xyz. ¡Comencemos! 🗓️ La evolución de las pruebas de conocimiento cero en el ámbito de la blockchain 🔹Fase 1: 2014~2016: Primera combinación de ZKP y blockchain 2014: Se comienza a prestar atención a ZKP. Vitalik Buterin y otros comienzan a explorar la posibilidad de zk-SNARKs en Ethereum; zk-SNARKs es un sistema de prueba de conocimiento cero que, mediante el uso de números aleatorios públicos o funciones hash, elimina la necesidad de interacción. Es más adecuado para escenarios de blockchain. ZKP se considera una tecnología potencial de privacidad. 2016: Lanzamiento de Zcash (momento histórico) Zcash es el primer proyecto que realmente utiliza zk-SNARK en la red principal. Logra transacciones completamente anónimas (direcciones y montos no visibles). Depende de una configuración confiable (Trusted Setup). 🔹Fase 2: 2017~2019: La tecnología ZKP se vuelve de código abierto y se optimiza el rendimiento Comienzan a aparecer marcos de pruebas de conocimiento cero: Se lanzan bibliotecas de código abierto como libsnark, Bellman; más proyectos investigan cómo generar pruebas más rápido y verificar más barato. Los proyectos comienzan a intentar aplicaciones de segunda capa: StarkWare, Aztec, ZKSync, entre otros, comienzan a investigar zkRollup; StarkWare lanza zk-STARK, que no depende de configuraciones confiables y es resistente a ataques cuánticos; Bulletproofs es adoptado por Monero para transacciones privadas más compactas. 🔹Fase 3: 2020~2021: La ZKP se vuelve práctica y explota zkRollup zkRollup se convierte en la ruta popular de escalabilidad: zkRollup mueve una gran cantidad de cálculos fuera de la cadena, solo coloca las pruebas en la cadena; logra "seguridad + bajos costos + alta capacidad de procesamiento". Proyectos representativos: ZKSync: basado en zk-SNARK, soporta transferencias y transacciones; Loopring: soporta DEX zkRollup; StarkEx: motor zkRollup de alto rendimiento lanzado por StarkWare; Aztec 2.0: sistema de contratos inteligentes privados construido con ZKP. 🔹Fase 4: 2022~2023: zkEVM y computación general Aparece zkEVM: lleva la máquina virtual de Ethereum (EVM) a ZKP. zkEVM permite a los desarrolladores seguir usando Solidity para escribir contratos; cada instrucción que se ejecuta en la EVM puede ser "probada". Rutas principales de zkEVM: Polygon zkEVM: altamente compatible con Solidity; ZKSync Era: alto rendimiento, compatibilidad en aumento; Scroll: intenta ser compatible con el cliente de Ethereum; Taiko: completamente equivalente (objetivo). Otras innovaciones: zkVM (como Risc Zero): combina computación general y ZKP; zkWASM: WebAssembly + ZKP, expande aplicaciones Web3. 🔹Etapa actual: 2024~2025: Ingeniería ZKP, modularización e integración con IA Diversos ZKDSL (Circom, Noir, Leo, Juvix) maduran; la cadena de herramientas ZKP soporta lenguajes principales como Rust, C, Solidity; en combinación con IA: proporciona pruebas ZK confiables para inferencia de modelos y entrada de datos; Caso representativo: Boundless @boundless_xyz: comercialización y mercadeo de pruebas de conocimiento cero, construyendo una red de incentivos de computación descentralizada. #Kaito #Boudless @blockTVBee @sanyi_eth_ @wenxue600 @0xNing0x