Smart Contracts, Bitcoin, Bitcoin Sv, Zkp, Zero Knowledge Proofs.
Tm. Bob has to use QA to derive the shared key. He exposes his public key QB in Tc, which Alice uses to derive the same shared key and decrypt the encrypted solution to obtain w. Figure 2: ECDH Key Exchange ZK Circuit The smart contract in Tm verifies the proof in Tc attesting to the composite