added verifiability code