UPDATE: open verifyDerivation()