More information about ZooCrypt can be found on https://www.easycrypt.info/ZooCrypt for now. We will make the new version of the tool available on Github soon.