Mechanism · Hardware-enabled guarantees (flexHEG) and guarantee processors
Many important rules cannot be checked on-chip
On this page
SignificantTheoretical argumentOpen
Malicious intent "is not a technical property observable on-chip", and misuse depends on what is done with a computation's results 1. A guarantee processor cannot easily tell whether a network is the whole system or one expert in a mixture-of-experts system 1. Part III judges that a fully local ruleset "may not be entirely feasible" for the same reason 4.