def Hex.ECPP.maxBits : Nat

Numeral ceiling admitted by the fresh-module kernel replay probes.

Equations

• Hex.ECPP.maxBits = 512