The amount of execution time is a simple public parameter of the system.<p>These schemes require reducing the verification program to a circuit in advance, so its execution time is already fixed by virtue of that translation.<p>(In practice the existing implementation is not using constant time cryptography; and so it could have timing&#x2F;cache&#x2F;EMI side-channels; but this is &quot;just engineering&quot;)