promote 发表于 2025-4-1 05:54:22
Subversion-Resistant Simulation (Knowledge) Sound NIZKs,sion. They showed that achieving subversion soundness (soundness without trusting to the third party) and standard zero-knowledge is impossible at the same time. On the positive side, in the best case, they showed that one can achieve subversion zero-knowledge (zero-knowledge without trusting to the