4 ms·
OK. That wasn't clear at all from the description of "foundational" in the article, which instead discussed the "trusted computing base" of the provers.
by wffurr 5y ago
OK. That wasn't clear at all from the description of "foundational" in the article, which instead discussed the "trusted computing base" of the provers.