Обсяг знань, необхідний для розуміння доказів з нульовим знанням: більше, ніж нуль.