En fin teknikk for å transformere en [[Nullkunnskapsbevis]] til en [[NIZK]]. Bevist sikker i [[Quantum Random Oracle Model]] av to samtidige papers, [C:DFMS19](https://eprint.iacr.org/2019/190), som brukte [[Measure-and-reprogram]] til å gi et sikkerhetsbevis med (optimal) $O(q^2)$ multiplikativt sikkerhetstap, og [C:LiuZhan19](https://eprint.iacr.org/2019/262), som brukte [[The Compressed-Oracle Technique]] til å gi et sikkerhetsbevis med multiplikativt $O(q^9)$ tap. [EC:YamZha21](https://eprint.iacr.org/2020/1270) (of [[Yamakawa-Zhandry]] fame) fant også et mer generelt [[QRO Lifting Theorem]] som blant annet er anvendbart til FS. (Med hvilken tightness?)