Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
obtains a sound non-interactive proof. This was introduced in the paper “How to Prove Yourself: Practical Solutions to Identification and Signature Problems” and is called the Fiat-Shamir Transformation, named after its inventors. A contradiction? So through the Fiat-Shamir transform, or using a