Grippy is a PDF compression application. The advantage of Grippy is that the compression is done directly on the device used. So you can be sure that none of your data are exploited.