One-way functions are essential for non-trivial zero-knowledge | IEEE Conference Publication | IEEE Xplore