Smart Contracts, Bitcoin, Bitcoin Sv, Zkp, Zero Knowledge Proofs.
the setup. Different from ZKCP, it is not a problem here if Alice maliciously manipulates the setup to learn part or entirety of the witness from the proof, by breaking the zero-knowledge property the ZKP used². She will decrypt the proof to get the witness anyway. For additional security, Bob can