Added the current witness generation / reverification results