> "o sistema pode fornecer garantias absolutas de que afirmamos que sim se o operador centralizado for honesto" > "não é uma suposição de 100% de honestidade" ¯\_(ツ)_/¯