悲观证明:零知识技术的下一步还是单纯的犬儒主义?