Can we design a Trusted Setup for Testudo?