Smart Contracts, Bitcoin, Bitcoin Sv, Zkp, Zero Knowledge Proofs.
public keys themselves, QA and QB are replaced with Alice’s and Bob’s addresses, and additional steps are needed to ensure addresses are derived from public keys. [2] WI Is Not Enough: Zero-Knowledge Contingent (Service) Payments Revisited