Los zk-STARK son uno de los dos métodos transparentes y escalables para mejorar la privacidad. La disponibilidad pública de la aleatoriedad utilizada por el verificador niega la necesidad de una configuración confiable.
Pero, ¿qué significa zk-STARK? zk-STARK son las siglas de Zero-Knowledge Scalable Transparent Argument of Knowledge, que es un tipo de tecnología de prueba criptográfica. Los zk-STARK, también conocidos como pruebas de conocimiento cero, permiten a los usuarios comunicar datos validados o ejecutar cálculos con un tercero sin que los datos o el análisis se revelen a la otra parte.
Los zk-SNARK, que se utilizaron para construir sistemas a prueba de zk antes del desarrollo de zk-STARK, resolvieron la vulnerabilidad de aquellas partes confiables que ponían en peligro la privacidad del sistema porque tenían que configurar el sistema a prueba de zk inicialmente. Los zk-STARK avanzan en esta tecnología al alejarse del requisito de una configuración confiable.
Además, los problemas de escalabilidad y privacidad con blockchains sin permiso se mejoran con STARK. La presente investigación de zk-STARK realizada por el pionero de la tecnología STARK, StarkWare Industries, se ocupa principalmente de la escalabilidad, y la privacidad vendrá más tarde.
Al permitir que los desarrolladores reubiquen los cálculos y el almacenamiento fuera de la cadena, los STARK aumentan la escalabilidad. Las pruebas STARK que verifican la precisión de los cálculos fuera de la cadena pueden ser producidas por servicios fuera de la cadena. Después de eso, estas pruebas se vuelven a publicar en la cadena para que cualquier persona interesada pueda verificar el cálculo.
Además, los STARK permiten que la infraestructura de cadena de bloques existente se escale exponencialmente sin comprometer la integridad computacional al desconectar la mayor parte del esfuerzo informático. Entonces, ¿qué monedas usan zk-STARK?
Soluciones de capa 2 calcule miles de transacciones en un solo lote usando STARK y luego use una sola prueba de STARK para confirmar su validez en la cadena. Todas las transacciones en el lote comparten el costo de la operación en cadena, ofreciendo un bajo costo de gas para cada transacción. starkware es implementación Argumento de conocimiento transparente, escalable y de conocimiento cero en muchas cadenas de bloques, incluidas la cadena de bloques Ethereum.
Fuente: https://cointelegraph.com/explained/zk-starks-vs-zk-snarks-explained