La idea subyacente es transformar la cadena de balizas de una base de datos de estado global en una “corte” ligera que solo verifique pruebas: los validadores prueban su propio estado utilizando #ZK/STARK, sin necesidad de almacenar para siempre en cadena claves públicas, saldos o historial de slashing, además de regenerar diariamente las claves públicas para re-anonimización. Lo que me mantiene despierto por la noche: ¿la agregación diaria de pruebas se convierte en un cuello de botella a escala? ¿Y con el slashing, podría el manejo entre días abrir nuevas superficies de ataque? Parece un gran compromiso: estado más ligero frente a nuevos riesgos operativos. Me gustaría saber cómo lo ven otros. #ETH.