Prueba de Espaciotiempo (PoSt) | Lección 4 de 6

Aprende cómo los métodos de verificación incorporados en Filecoin hacen posible confiar en los pares en un sistema de almacenamiento descentralizado de archivos.

Mientras que la Prueba de Replicación se realiza una vez para demostrar que un minero almacenó una copia físicamente única de los datos en el momento en que el sector fue sellado, la Prueba de Espaciotiempo (PoSt) se ejecuta repetidamente para probar que continúan dedicando espacio de almacenamiento a esos mismos datos a lo largo del tiempo.

PoSt se basa en varios elementos creados durante la Prueba de Replicación: la réplica, el CommRLast guardado de manera privada, y el CommR conocido públicamente.

Primero, PoSt selecciona aleatoriamente algunos nodos hoja de la réplica codificada y realiza pruebas de inclusión de Merkle sobre ellos para mostrar que el minero posee los bytes específicos que deberían estar allí. Luego, el minero usa el CommRLast almacenado privadamente para probar (sin revelar su valor) que conoce una raíz para la réplica que concuerda con las pruebas de inclusión y puede ser utilizada para derivar el CommR conocido públicamente.

La etapa final de PoSt comprime estas pruebas en un solo zk-SNARK. (Aprenderemos sobre zk-SNARKs en la próxima lección.)

Cuando los mineros acuerdan almacenar datos para un cliente, se les exige que depositen un colateral. Si fallan en una Prueba de Espaciotiempo en cualquier punto durante el contrato, serán penalizados. Esto es una parte clave de la incentivación que fomenta el buen comportamiento entre todos los actores de la red Filecoin.