Commit code for verifying Alice's signature on Bob's side.