Las pruebas STARK son como el viento matemático que sopla sobre los datos. Si hay algún polvo de especificación, este viento lo sacará de su escondite y se verá en todas partes.