feat(main) implement verifyTransaction