Las demostraciones de ZK están revolucionando las criptomonedas e inflando los egos. Todos afirman tener un único sistema de demostración verdadero, pero las aplicaciones son la parte importante, las demostraciones ahora son una mercancía. Además: si la nueva prueba de zk de una empresa empieza por 'h' o 'hiper', han abandonado a su antiguo dios para comprobar la suma

Sum-check es un enfoque de ZK tan antiguo que nadie está en Twitter para decir que lo inventaron. Justin Thaler se hizo un nombre señalando que en realidad es útil. Puede que tenga razón... O formar un nuevo culto. Pero los proyectos cambian a sum-check, a veces fingiendo que es su antiguo dios inventado...

Vale, basta de alegorías. Los SNARKs representan los programas como polinomios. La comprobación de suma utiliza polinomios multivariantes, por ejemplo, P(x,y) = x^2+2y. Más confuso aún, los estilos de nombres "h" y "hyper" provienen de los polinomios que forman un hipercubo booleano. Una forma elegante de decir que cada variable es 0 o 1.

Piénsalo como los ordenadores: los ordenadores funcionan en binario en lugar de en base 10 porque algunas operaciones comunes son más eficientes cuando se desglosan bit a bit en lugar de dígito por dígito. Sum-check hace algo muy similar para los programas que demuestra que están satisfechos.

Una ventaja de este enfoque, no exclusiva de la comprobación de suma (véase, por ejemplo, esquemas de plegamiento), es el streaming. Para muchos sistemas de demostración basados en FFT o hash, necesitas encajar toda la sentencia que estás demostrando en memoria. Funciona bien para cosas pequeñas, pero Max deja un portátil rápido.

Esta restricción te limita a servidores grandes a los que todos tienen que enviar sus datos para demostrarlos. No son muy Zk de su parte. Es útil para montar un compactador de basura gigante (bueno, me refiro a un rollup centralizado), pero falla en privacidad del cliente, que es donde está buscando el mercado (por ahora)

Como he dicho, el sum-check no es el único sistema de streaming. También hay plegado. El duro trabajo que se suponía para crear todos estos esquemas zk también los convertía en una mercancía. Elige lo que necesites y céntrate en las solicitudes. No adores un sistema de pruebas ni un equipo. Internamente, el equipo no