Current diagram for voting audit phases: technical smart contract diagram participants&use-cases diagram action team audit process diagram Carlos Toriello Herrerías paper