Assertion: certificate's number | /r/HasAspect | b bits
Facets:
Source sentences:
text: "Succinct" usually means that the proof should be at most polynomially larger than the number of digits in the number itself (for example, if the number has b bits, the proof might contain roughly b2 bits).