Secure Verification Of Computational Power