STARK: pruebas de conocimiento cero que realmente escalan sin configuración confiable, sin talón de Aquiles cuántico.