[Archived as historical. Zkt is now part of the main K spec.] Zkt "safe list": extension attests that the machine has data-independent execution time for these instructions
[Archived as historical. Zkt is now part of the main K spec.] Zkt "safe list": extension attests that the machine has data-independent execution time for these instructions