Auditing perception formalisation #445
Description
Currently we don't formalise much concerning the perspective of other validators when auditing. That could be made a lot more comprehensive.
{{ message }}
Currently we don't formalise much concerning the perspective of other validators when auditing. That could be made a lot more comprehensive.