Port verifyZkp, add license.