implemented janus_verify