Publiqué sobre pruebas sucintas que violaban la teoría de la información y recibí un rechazo significativo de los criptógrafos.
Después de pensarlo más, me di cuenta de que tenía mis cables cruzados. No se produce ninguna transmisión de información. El probador ayuda al verificador con el cálculo, no con la transferencia de información.
El verificador podría teóricamente verificar todas las posibilidades, pero carece de poder computacional. Es un problema de computación, no un problema de teoría de la información.
¡Gracias por hacerme rendir cuentas, chicos!
He estado pensando mucho en el hecho de que los ZKP violan la teoría de la información: prueban la validez con datos increíblemente pequeños.
Mucha gente no quiere escuchar esto.
La bóveda sin confianza tiene dos propiedades fundamentales:
Las condiciones de retiro se pueden especificar en Bitcoin sin confianza.
Las condiciones de retiro se pueden verificar en Bitcoin sin confianza.
Esta combinación permite una garantía nativa de Bitcoin sin intermediarios de confianza.
Los protocolos peer-to-peer se enfrentan a desafíos fundamentales: necesita partes opuestas con necesidades y cantidades coincidentes al mismo tiempo.
Es como un trueque.
Tengo maíz y quiero carne de res, pero encontrar a alguien con la cantidad correcta de carne que quiera exactamente mi cantidad de maíz es casi imposible.
Esta es la razón por la que los préstamos pasaron de los modelos peer-to-peer a peer-to-pool.
La gente deposita en piscinas, otras piden prestado de piscinas.
Mucho más eficiente que el emparejamiento directo.