Implemented basic generate / verify assertion functions