A computer-implemented method for enabling zero-knowledge proof or verification of a statement for enabling exchange of data between a prover and a verifier, wherein the prover has access to first data on a first blockchain, and the verifier has access to second data on a second blockchain, the method including: the prover generating a key-pair for the second blockchain, sending the public key (P A) of said pair to the verifier, and retaining the private key ( s A) of said pair; the prover receiving a verifier's public key (P B) for the first blockchain, said verifier having generated a key-pair for the first blockchain and retaining the private key (s B) of said pair; the prover sending a data set to the verifier, said data set including a zero-knowledge proof statement, one or more commitments, an input (P x) and a function circuit output (h), wherein the data further comprises a vanity address; the prover creating a first blockchain transaction Tx A that transfers access to the first data to a common public key address (P c), and broadcasting said transaction on the first blockchain network, said address defined by a sum of the input (P x) and the verifier's public key ( P B) P C = P B + P x the prover verifying a second blockchain transaction Tx B, said transaction created and broadcast on the second blockchain network by the verifier after confirming the inclusion of the first blockchain transaction Tx A in the first blockchain, said transaction transferring access to the second data to the prover's public key address ( P A) that is accessible by the prover using a valid signature (s A)for the prover's public key address (P A), and a value (x) that is the function circuit input that determines the function circuit output (h), and the prover confirming the second blockchain transaction Tx B is included on the second blockchain and accessing the second data by providing their signature ( s A) and the value (x) that is the function circuit input of the function circuit output (h), thus enabling the verifier to observe the value (x) that is the function circuit input that determines the function circuit output (h) and access the first data by providing a signature using the private key for P C, which is s B + x from the homomorphic properties of elliptic curve point multiplication. the prover generating a key-pair for the second blockchain, sending the public key (P A) of said pair to the verifier, and retaining the private key ( s A) of said pair; the prover receiving a verifier's public key (P B) for the first blockchain, said verifier having generated a key-pair for the first blockchain and retaining the private key (s B) of said pair; the prover sending a data set to the verifier, said data set including a zero-knowledge proof statement, one or more commitments, an input (P x) and a function circuit output (h), wherein the data further comprises a vanity address; the prover creating a first blockchain transaction Tx A that transfers access to the first data to a common public key address (P c), and broadcasting said transaction on the first blockchain network, said address defined by a sum of the input (P x) and the verifier's public key ( P B) P C = P B + P x the prover verifying a second blockchain transaction Tx B, said transaction created and broadcast on the second blockchain network by the verifier after confirming the inclusion of the first blockchain transaction Tx A in the first blockchain, said transaction transferring access to the second data to the prover's public key address ( P A) that is accessible by the prover using a valid signature (s A)for the prover's public key address (P A), and a value (x) that is the function circuit input that determines the function circuit output (h), and the prover confirming the second blockchain transaction Tx B is included on the second blockchain and accessing the second data by providing their signature ( s A) and the value (x) that is the function circuit input of the function circuit output (h), thus enabling the verifier to observe the value (x) that is the function circuit input that determines the function circuit output (h) and access the first data by providing a signature using the private key for P C, which is s B + x from the homomorphic properties of elliptic curve point multiplication.