verification : finalization verification interface
verification : finaliza