especialmente com o estado da computação verificável