https://jeffric.com/continuing-to-raise-the-bar-for-verifiable-security-on-pixel/18041/continuing-to-raise-the-bar-for-verifiable-security-on-pixel-3/