La quantità di conoscenze necessarie per comprendere le prove a conoscenza zero: più di zero.