3.
¿Qué son los zk-STARK y cómo funcionan?
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 blockchain existente se escale exponencialmente sin comprometer la integridad computacional al desconectar la mayor parte del esfuerzo informático. Entonces, ¿qué monedas usan zk-STARK?
Las soluciones de capa 2 calculan miles de transacciones en un solo lote usando STARK y luego usan 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 está implementando el argumento de conocimiento transparente escalable de conocimiento cero en muchas cadenas de bloques, incluida la cadena de bloques Ethereum.