Verifier property should be encoded and decoded as well.