<p></p>
<blockquote>
<p><em>This is a Bisq Network proposal. Please familiarize yourself with the <a href="https://docs.bisq.network/proposals.html" rel="nofollow">submission and review process</a>.</em></p>
</blockquote>

<p>The Bisq app currently allows the user to encrypt their wallet with a password, which is stretched to a temporary AES key and used to encrypt their seed phrase and private keys, avoiding them being stored to disc in plaintext. However, since access is needed to the maker's wallet to fund trade deposits when they are away from their machine, it needs to be kept unlocked by holding the AES key in RAM throughout the lifetime of the Bisq instance, weakening the user's security.</p>
<p>We could improve things a little by only holding the unencrypted EC key of the trade reserve UXTO and forgetting the wallet AES key at rest, but that still puts some of the maker's funds at risk. It also does not interact well with <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="725049120" data-permission-text="Title is private" data-url="https://github.com/bisq-network/proposals/issues/265" data-hovercard-type="issue" data-hovercard-url="/bisq-network/proposals/issues/265/hovercard" href="https://github.com/bisq-network/proposals/issues/265">#265</a>, which would do away with the maker fee tx and would thus requires a bunch of EC keys to be held unencrypted (of some current wallet UXTOs and reserved change addresses), putting a potentially much larger pool of wallet funds at risk.</p>
<p>This proposal describes a way to hold a maker's EC key in an encrypted state, using a long term public key (say an RSA key) belonging to a third party server. When the time comes to sign a deposit tx + delayed payout tx when someone takes the maker's offer, the third party is used to authorise access to the required encrypted EC keys, conditional on what exactly is being signed. This isn't done by simply sending the EC key to the third party to decrypt, as that would give them custody over (some of) the user's funds, putting an inappropriate amount of trust in them. Instead, a special kind of secure 2-party computation is done which allows neither the maker's computer nor the third party direct access to the unencrypted EC key at any point, and so that they individually learn nothing about it.</p>
<p>Only collusion between a compromised maker's computer and the third party could expropriate the funds, with the third party on its own only having the power of veto. Moreover, when the maker returns to their computer they can unlock their wallet with their password as before, without involving the third party, thus they have strictly better security than before and retain full custody over their funds at all times.</p>
<h3>Details of a possible cryptographic scheme</h3>
<p>To protect a given EC key <em>e</em> when the maker is away from their machine, the wallet is first unlocked with their password to give direct unencrypted access to it. (The maker's computer is in a trusted state at this point.)</p>
<h4>Initial EC key encryption</h4>
<p>We take a fresh random number <em>e₁</em> from the field <em>GF(N)</em> of integers modulo <em>N</em>, where <em>N</em> is the secp256k1 elliptic curve order, and compute:</p>
<blockquote>
<p>e₂ = e - e₁</p>
</blockquote>
<p><em>e₁</em> will be the (untrusted) maker's computer's EC key share and <em>e₂</em> will be the third party's EC key share, when the time comes to sign a tx. Note that individually they tell you nothing about <em>e</em> and there is no interaction with the third party at this point.</p>
<p>We tag <em>e₂</em> with optional auxilliary data <em>D</em>, specifying any extra ad-hoc restrictions on the use of <em>e</em> we may want the third party to enforce and optionally specifying the public key <em>P = e . G</em> of the wallet address, where <em>G</em> is the curve generator. This is then encrypted with the long term RSA public key <em>TP_pub</em> of the third party, to give:</p>
<blockquote>
<p>f₂ = Encrypt_{TP_pub}(e₂||D)</p>
</blockquote>
<p>It is important that the public key encryption done above is not malleable, so an appropriate MAC-based encryption mode with a nonce should be used, rather than direct RSA encryption. The wallet AES key and <em>e₂</em> are then forgotten, leaving behind the pair <em>(e₁, f₂)</em> which are held on the (now untrusted) maker's computer to do the signing.</p>
<h4>Authorised signing with the encrypted EC key</h4>
<p>When the time comes to sign a message <em>m</em>, with Sha256 hash <em>z</em>, the maker's computer (say Alice) needs to compute the ECDSA signature <em>(r, s)</em> where:</p>
<blockquote>
<p>s = (z + r * (e₁ + e₂)) / k</p>
</blockquote>
<p>and <em>r</em> is the x-component of the curve point <em>R = k . G</em>, for some random nonce <em>k</em>. She will do this in collaboration with the third party (say Bob) as follows:</p>
<p>Alice chooses a random <em>k₁</em> in <em>GF(N)</em> and sends <em>R₁ = k₁ . G</em> to Bob, along with <em>m</em>, <em>f₂</em> and the private 2-vector:</p>
<blockquote>
<p>u^T = (1 / k₁, e₁ / k₁)</p>
</blockquote>
<p>to Bob, with the latter in an encrypted form to be described below.</p>
<p>Bob first of all decrypts f₂ using his private RSA key <em>TP_priv</em> as follows:</p>
<blockquote>
<p>e₂||D = Decrypt_{TP_priv}(f₂)</p>
</blockquote>
<p>and checks the message <em>m</em> against the auxilliary data <em>D</em> to make sure it is good to sign. Bob then chooses a random <em>k₂</em> in <em>GF(N)</em> and computes <em>R = k₂ . R₁</em> = k₂ . k₁ . G_ to give the x-component <em>r</em>. Thus we take the nonce <em>k</em> of final signature <em>(r, s)</em> to be <em>k₁ * k₂</em>, which neither Alice nor Bob know directly but instead have a multiplicative share of, like the additive shares they have of <em>e</em>. Bob also computes a private 2-vector:</p>
<blockquote>
<p>v^T = ((z + r * e₂) / k₂, r / k₂)</p>
</blockquote>
<p>This is then combined with Alice's encrypted vector <em>u</em> in a special way and sent back to Alice, along with <em>r</em>, who is then able to compute the inner product <em>u^Tv</em>. Now observe that:</p>
<blockquote>
<p>u^Tv = (z + r * e₂) / (k₁ * k₁) + r * e₁ / (k₁ * k₂) = (z + r * (e₁ + e₂)) / k = s</p>
</blockquote>
<p>So the problem of jointly computing an ECDSA signature <em>(r, s)</em> reduces to that of Alice and Bob securely computing an inner product of their respective private vectors <em>u</em> and <em>v</em> over a finite field. We describe an encoding scheme for doing this below.</p>
<p>Note that the above is intended to be secure in the semi-honest model. If Alice or Bob are actively subverting the protocol with maliciously chosen data, then a few extra minor steps need to be taken. For example Alice can easily trick Bob into helping her sign <em>m</em> with <em>e + e'</em> instead of <em>e</em>, for an arbitrary offset <em>e'</em> of her choosing (although it's doubtful if she could exploit that). Likewise, Bob can exert some malicious influence over <em>r</em> and need not choose <em>k₂</em> to be random, in the unmodified scheme as described, possibly leaking information about <em>e</em> in the final signature.</p>
<h4>Securely computing the inner product of two private vectors</h4>
<p>Suppose that Alice has a private vector <em>u</em> and Bob has a private vector <em>v</em> over a large finite field. Then the task of securely computing the inner product <em>u^Tv</em> can be seen as a generalisation of 1-out-of-n <a href="https://en.wikipedia.org/wiki/Oblivious_transfer" rel="nofollow">oblivious transfer</a>, where <em>n</em> is dimension of the vectors. Indeed, Alice may set all but one of the components of her vector to zero, and the remaining component to some random secret. If Bob sets the components of his vector to secrets <em>v₁</em>,...,<em>v_n</em>, of which Alice is supposed to learn exactly one, then computing the inner product and revealing the result to both sides (or just Alice) obliviously transfers exactly one component <em>v_i</em> to Alice, of her choosing. Accordingly, we shall go the other way and attempt to build a secure 2-party inner product computation protocol from k-out-of-n oblivious transfer.</p>
<p>Concretely, take the 2-dimensional case as needed above. Fix a public 256 * 2 random matrix <em>A</em> over the (256-bit) finite field <em>GF(N)</em> of EC keys. This could be known in advance or a fresh matrix could be generated each time by Alice (say from a random seed) and sent to Bob, for slightly better security.</p>
<p>Take a [256,127,130] <a href="https://en.wikipedia.org/wiki/Reed%E2%80%93Solomon_error_correction" rel="nofollow">Reed-Solomon</a> code <em>C</em> over the finite field. Then there is a fixed linear dependency between any given 128 components of its 256-component codewords. That is, for any choice <em>S</em> of 128 indices from the 256 available, there is exactly one 256-dimensional vector <em>f</em>, up to a scalar multiple, such that <em>f</em> annihilates <em>C</em> (i.e. <em>f^Tc = 0</em> for every c in <em>C</em>) and <em>f</em> has support S (i.e. the set of indices of nonzero components of <em>f</em> is precisely <em>S</em>).</p>
<p>Now Alice makes a completely random choice of the set <em>S</em> above and computes the corresponding vector <em>f</em>. Note that this choice has a little under 256 bits of entropy. The security of the scheme depends upon the following (hopefully quite mild) hardness assumption:</p>
<ul>
<li>For a <em>fixed</em> random matrix <em>A</em>, known in advance by both parties, the 2-vector <em>A^Tf</em> is computationally indistinguishable from a fresh pair of random numbers. That is, Bob would not be able to tell it apart from a totally random 2-vector.</li>
</ul>
<p>Assuming both components of Alice's private vector <em>u</em> are always nonzero, she may find a diagonal matrix <em>D</em> such that:</p>
<blockquote>
<p>u = DA^Tf</p>
</blockquote>
<p>and then send it to Bob, who won't be able to tell it apart from random or learn anything about <em>u</em> from it.</p>
<p>Bob then takes a random codeword <em>c</em> from <em>C</em> and computes the 256-dimensional vector:</p>
<blockquote>
<p>d = ADv + c</p>
</blockquote>
<p>Now by the properties of the Reed-Solomon code <em>C</em>, any 127 components of <em>d</em> on their own will be indistinguishable from independent random variables, but adding a 128th component will start to leak information about <em>v</em>. So Bob obliviously transfers exactly 128 of the 256 components of <em>d</em> to Alice, specified by Alice's secret choice <em>S</em> of indices. This allows Alice to compute:</p>
<blockquote>
<p>f^Td = (DA^Tf)^Tv + f^Tc = u^Tv</p>
</blockquote>
<p>since the known components of <em>d</em> exactly align with the nonzero components of <em>f</em>. Thus Alice learns the inner product <em>u^Tv</em> and precisely no more information about <em>v</em> from Bob.</p>
<p>Carrying out the oblivious transfer itself can be done basically by Alice sending 128 (EC or RSA) public encryption keys to Bob, along with 128 random decoys, such that it is provably impossible for Bob to tell the decoys apart from the actual keys and provably impossible for Bob to receive more than 128 keys from Alice without realising. (This can also be achieved using Reed-Solomon codes, plus some symmetric cryptography.) Bob then encrypts and sends the 256 components of <em>d</em> back using the respective keys/decoys, but those encrypted with decoys will be completely unintelligible to Alice.</p>
<h4>Cost estimate and comparison with other schemes</h4>
<p>The entire 2-party authorisation and signing scheme for a given EC key & message, including the oblivious transfer step above, can be accomplished with a single round of communication between Alice (the maker's computer) and Bob (the third party), where Alice sends Bob some data, including the message to sign, Bob checks it, computes and sends some data back, then Alice is able to complete the calculation of the signature. The most expensive part of the computation and network use is the oblivious transfer, requiring 128 (say EC) key pair generations by Alice and 256 public key encryptions by Bob. I doubt that would take more than a second or two to compute. I estimate that with some optimisation using random seeds and random data elision, Alice would need to send Bob a little over 4 KiB and Bob would need to send Alice a little over 16 KiB to authorise signing with a single EC key - those estimates may however turn out to be out by a factor of two.</p>
<p>Realistically, half a dozen or so of the maker's encrypted EC keys may need to be signed with to start a trade (i.e. sign the deposit tx and delayed payout tx). It would be nice to extend the scheme above to support batch signing with different keys. I believe this can be done with only a small growth in the <em>total</em> size of the data sent, by using bigger (i.e. > 2 dimensional) vectors and revealing multiple inner products of Bob's secret vector <em>v</em> to Alice. So there should be a much smaller than linear growth in the bandwidth required with the number of EC keys used. Also, with the upgrade of the trade protocol to SegWit, the delayed payout tx should have input depending only on the unsigned deposit tx, so it should be possible to sign both in a single round of communication between Alice and Bob.</p>
<p>I found a couple of interesting papers describing similar 2-out-of-2 distributed ECDSA signing schemes: <a href="https://eprint.iacr.org/2018/499.pdf" rel="nofollow">https://eprint.iacr.org/2018/499.pdf</a> and <a href="https://eprint.iacr.org/2017/552.pdf" rel="nofollow">https://eprint.iacr.org/2017/552.pdf</a>. They both use multiplicative instead of additive shares <em>e₁</em> and <em>e₂</em> of <em>e</em>, that is they set <em>e = e₁ * e₂</em>, but that would make little high-level difference to our scheme.</p>
<p>The former also makes use of oblivious transfer and describes a scheme using a single round in the 2-out-of-2 case, like the above. (They also support 2-out-of-n signing and conveniently provide a Rust implementation.) The 2-out-of-2 case requires 169.8 KiB of communication and it's unclear if any savings could be made by batching. However, the main advantage over my scheme is a provable security reduction to standard EC assumptions, in contrast to the nonstandard hardness assumption made above (which needs to be suitably generalised to longer vectors in the batch signing case).</p>
<p>The scheme described in the latter paper uses Paillier homomorphic encryption to achieve very low total communication costs, at the expense of heavier computation and the extra security assumptions the Paillier encryption brings, although it's probably still fast enough for our purposes, taking perhaps seconds per EC key. However, it appears to require multiple communication rounds between Alice and Bob and it's also unclear to me if batching could be used to reduce costs.</p>
<h3>Optional storage of the delayed payout tx to prevent blackmail attacks</h3>
<p>The basic scheme described above for protecting the maker's EC keys involves a completely stateless third party, with no communication prior to the actual signing required. While it should prevent outright theft of the funds, there is nothing the third party can do to prevent the compromised maker's computer from simply throwing away the delayed payout tx, where it is assumed that the hacker is colluding with the taker (or they are one and the same). This could open the maker to a blackmail attack when they finally regain control of their computer.</p>
<p>To prevent this, the third party could optionally store the delayed payout tx, pre-signed by the taker (but <em>not</em> the maker, so the third party couldn't publish it himself). This would then be returned to the maker when he regains control of his computer. However, now the third party would no longer be stateless. (Although perhaps the delayed payout tx could be public key encrypted and stored by the third party in a mailbox on the P2P network, accessible only via the maker's password-derived AES key.)</p>
<h3>Optional use of a secure enclave by the third party</h3>
<p>To further reduce the level of trust in the third party, and mainly to help prevent insider attacks, the cryptographic algorithm described above could be made to run in a secure enclave on the third party computer, perhaps using an Intel SGX enclave or a standalone HSM. The former has the advantage of providing some kind of remote + local attestation features (which I would need to look into further), possibly eliminating the need of a trusted admin to set up the enclave in the first place. It would also probably be much cheaper and easier to develop for. However, great care is required when writing the enclave code, to prevent cache-timing / SPECTRE-like attacks, and I don't suppose the enclave is completely impregnable because it's not running on a cryptoprocessor, but merely expensive to breach.</p>
<p>A standalone HSM would probably provide a much stronger enclave if it could be set up properly, but custom firmware might be required for that, which I guess would be rather expensive and difficult to write (perhaps requiring expensive SDK licenses). It could be a longer term option, however.</p>
<h3>Optional use of a custom third party server by the user</h3>
<p>A power user could choose to run their own tx signing veto service, with a custom list of <em>TP_pub</em> public keys provided to their Bisq instance, to tag and encrypt the EC keys of their trade reserve with. They could even run it on the same computer, as a daemon, as a separate user + group talking over localhost to Bisq. This would still provide good protection in case the attacker can't gain full root access. If the daemon detected the presence of SGX and then auto-enabled it's use, the user would gain almost as high a level of security as with the default third-party, but with possibly better privacy.</p>
<p>For this reason, I think it would be best to make the third party service executable as lightweight as possible, to minimise attack surface and so that an individual user could run it as a daemon on their own computer if they wished. Perhaps we could consider writing it in Rust or C++ instead of Java, especially since the cryptographic module would possibly be designed to run in an SGX enclave where it is available.</p>
<h3>Future integration of a second factor for more complete wallet protection</h3>
<p>The threat model implicit in the above scheme is rather narrow, since it assumes the user's computer was in a good state when he first enters his wallet password and only later gets compromised, while he is waiting for an offer to be taken. It also assumes that he is somehow able to realise it was compromised (or the malware failed to persist itself) before he next enters his wallet password. More realistically I think, if an attacker gains access to the Bisq instance, he will try to plant persistent, silent malware. Or the Bisq binary would be tainted so that the app was compromised before it was even launched, perhaps before the wallet was even set up or encrypted.</p>
<p>So ideally the Bisq instance (on its own) would be considered untrustworthy from the moment the wallet seed is first (re)created and the user would use a second factor, either a hardware wallet or a smartphone, whenever any activity on their wallet requiring private keys needs to be authorised.</p>
<p>In the case of a hardware wallet, like a Trezor, instead of using it to directly hold funds, we would use its ability to sign human-readable messages which can be verified against tampering on the Trezor screen. The third party would then check the Trezor's signature to <em>itself</em> authorise a particular use of a bunch of encrypted wallet EC keys held by the Bisq instance. This solves the major problem with hardware wallet integration which is that the Bisq instance can't fund a trade for a taken offer while the maker is away from his computer, since all wallet activity has to be authorised explicitly by the user via the hardware wallet.</p>
<p>In the case of a smartphone second factor, the user would scan a QR code which would show the activity being authorised on the smartphone screen. A 6 or 8 digit one-time numeric passcode, derived from a hash of the message and a smartphone-held secret, would be generated by the app which the user would then type into their Bisq instance. The message, encrypted secret, passcode and encrypted EC keys would be sent to the third party, who would then be able to check the passcode is valid against the message to complete the authorisation. This setup enables the smartphone to be used offline as a dedicated second factor, for extra security.</p>
<h4>Initial seed phrase setup</h4>
<p>To ensure the user retails full custody of their funds at all times, the entire Bisq wallet should continue to be derived from a seed phrase which is known only to them, so the wallet can be recreated in, say, Electrum or another Bisq installation at any time. However, the user's computer shouldn't be completely trusted at any point, when setting up a seed phrase in Bisq.</p>
<p>To solve this problem, we could follow something like Trezor's seed phrase recovery procedure: the Bisq instance learns the words of the phrase but not the order, while the second factor (say smartphone) learns the correct order of the words but not the words themselves. So neither device on its own can recover the seed phrase to unilaterally access the wallet. (At this point, we should probably use 24 rather than 12 word seed phrases for sufficient entropy.)</p>
<p>A secure 2-party computation is then done to derive the (<em>TP_pub</em>-encrypted) master private key of the wallet, which is then stored by the Bisq instance for all future wallet access. This would probably require a generic 2-party computation using <a href="https://en.wikipedia.org/wiki/Garbled_circuit" rel="nofollow">garbled circuits</a>, so it's likely to be quite a heavyweight operation, unlike the above cryptographic scheme, but would only need to be done once.</p>
<p>The 2-party computation is either done directly between the smartphone and the Bisq instance (which would require the former to be online) or it could be done between the third party and Bisq instance (following instructions on the smartphone screen) in such a way that the third party learns nothing - not even the order of the words since it shouldn't be necessary to tell that to them directly. A somewhat more elaborate and complicated-to-follow procedure could be similarly devised for the Trezor, I think, where the user would need to manually check the third party's public key against messages shown on the Trezor's screen (as I believe the Trezor can verify messages signed by others).</p>
<h4>Threat model and security of the two factor scheme</h4>
<p>We now have three entities: the user's smartphone or Trezor, their computer running the Bisq instance and the third party (which could later be extended to a network of servers). The wallet funds can be stolen if and only if either the first two devices are compromised or the last two devices are compromised. So this doesn't provide quite as good security as a hardware wallet but I think still quite good security, especially if the network of third party servers could later be made to use SGX or HSMs and perhaps even some threshold signing scheme.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/bisq-network/proposals/issues/278">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AJFFTNQ7HHWUQU4WO4Q2BB3SOBCLZANCNFSM4TJCUDTQ">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AJFFTNVK76HTRAOBPK7FOALSOBCLZA5CNFSM4TJCUDT2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4K6XNUIQ.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/bisq-network/proposals/issues/278",
"url": "https://github.com/bisq-network/proposals/issues/278",
"name": "View Issue"
},
"description": "View this Issue on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>