Added Abstract
Added the verifier picture