summaryrefslogtreecommitdiff
path: root/src/ringct/rctSigs.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #6757luigi11112020-09-031-6/+9
|\ | | | | | | 6a37da8 threadpool: guard against exceptions in jobs, and armour plating (moneromooo-monero)
| * threadpool: guard against exceptions in jobs, and armour platingmoneromooo-monero2020-09-011-6/+9
| | | | | | | | | | Those would, if uncaught, exit run and leave the waiter to wait indefinitely for the number of active jobs to reach 0
* | ringct: fix CLSAG serialization after boost/epee changesmoneromooo-monero2020-08-281-1/+1
| | | | | | | | also fix a an assert message refering t MLSAG
* | CLSAG device supportSarang Noether2020-08-271-19/+14
| |
* | CLSAG optimizationsSarang Noether2020-08-271-129/+135
| |
* | Integrate CLSAGs into moneromoneromooo-monero2020-08-271-18/+166
| | | | | | | | They are allowed from v12, and MLSAGs are rejected from v13.
* | CLSAG signaturesSarang Noether2020-08-271-0/+238
|/
* use memwipe on secret k/alpha valuesmoneromooo-monero2020-04-151-1/+4
| | | | Reported by UkoeHB_ and sarang
* MLSAG speedup and additional checksSarang Noether2019-08-271-35/+40
|
* ringct: prevent use of full ringct signatures for more than one inputmoneromooo-monero2019-04-111-0/+1
|
* Add support for V11 protocol with BulletProofV2 and short amount.cslashm2019-03-281-4/+4
| | | | | New scheme key destination contrfol Fix dummy decryption in debug mode
* various: remove unused variablesmoneromooo-monero2019-03-041-3/+0
|
* ringct: the commitment mask is now deterministicmoneromooo-monero2019-01-221-4/+9
| | | | | | saves space in the tx and is safe Found by knaccc
* ringct: encode 8 byte amount, saving 24 bytes per outputmoneromooo-monero2019-01-221-4/+4
| | | | Found by knaccc
* add a bulletproof version, new bulletproof type, and rct configmoneromooo-monero2019-01-221-15/+17
| | | | This makes it easier to modify the bulletproof format
* Merge pull request #5050Riccardo Spagni2019-01-181-1/+0
|\ | | | | | | 07cb574c ringct: remove duplicate rv.mixRing = mixRing; in genRctSimple (stoffu)
| * ringct: remove duplicate rv.mixRing = mixRing; in genRctSimplestoffu2019-01-081-1/+0
| |
* | ringct: avoid repeated point conversionmoneromooo-monero2018-12-121-1/+10
|/
* Merge pull request #4921Riccardo Spagni2018-12-121-7/+24
|\ | | | | | | ac665418 ringct: fix dummy bulletproofs on ledger in fake mode (moneromooo-monero)
| * ringct: fix dummy bulletproofs on ledger in fake modemoneromooo-monero2018-11-301-7/+24
| | | | | | | | Ledger does some basic checks on them
* | a few minor (but easy) performance tweaksmoneromooo-monero2018-11-231-2/+2
|/ | | | Found by codacy.com
* Merge pull request #4693Riccardo Spagni2018-11-041-9/+0
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 74fb3d88 multiexp: some minor speedups (moneromooo-monero) a6d2e246 bulletproofs: only enable profiling on request (moneromooo-monero) a110e6aa multiexp: tune which variants to use for which number of points (moneromooo-monero) 8b476722 bulletproofs: speedup prover (moneromooo-monero) 6f9ae5b6 multiexp: handle pippenger multiexps with part precalc (moneromooo-monero) 10e5a927 bulletproofs: maintain -z4, -z5, and -y0 to avoid subtractions (moneromooo-monero) 8629a42c bulletproofs: rework flow to use sarang's fast batch inversion code (moneromooo-monero) fc9f7d9c bulletproofs: merge multiexps as per sarang's new python code (moneromooo-monero) 4061960a multiexp: pack the digits table when STRAUS_C is 4 (moneromooo-monero) bf8e4b98 bulletproofs: some more minor speedup (moneromooo-monero) c415df97 performance_tests: sc_check and ge_dsm_precomp (moneromooo-monero) a281b950 bulletproofs: remove single value prover (moneromooo-monero) 484155d0 bulletproofs: some more speedup (moneromooo-monero) a621d6c8 bulletproofs: random minor speedups (moneromooo-monero) a49a1761 bulletproofs: shave off a lot of scalar muls from the g/h construction (moneromooo-monero) 4564a5d1 bulletproofs: speedup PROVE (moneromooo-monero)
| * bulletproofs: remove single value provermoneromooo-monero2018-10-221-9/+0
| | | | | | | | It is now expressed in terms of the array prover
* | ringct: use dummy bulletproofs when in fake mode, for speedmoneromooo-monero2018-10-231-8/+41
|/
* rct: avoid repeated unnecessary conversions when accummulatingmoneromooo-monero2018-09-141-7/+5
|
* bulletproofs: speed up the latest changes a bitmoneromooo-monero2018-09-111-2/+2
|
* bulletproofs: scale points by 8 to ensure subgroup validitymoneromooo-monero2018-09-111-2/+2
|
* ringct: error out when hashToPoint* returns the point at infinitymoneromooo-monero2018-09-111-0/+1
| | | | Reported by QuarksLab.
* Check inputs to addKeys are in rangemoneromooo-monero2018-09-111-0/+4
| | | | Reported by QuarksLab.
* v8: per byte fee, pad bulletproofs, fixed 11 ring sizemoneromooo-monero2018-09-111-1/+14
|
* Add a define for the max number of bulletproof multi-outputsmoneromooo-monero2018-09-111-1/+1
|
* Bulletproof aggregated verification and testsmoneromooo-monero2018-09-111-76/+57
| | | | Also constrains bulletproofs to simple rct, for simplicity
* bulletproofs: add aggregated verificationmoneromooo-monero2018-09-111-51/+110
| | | | Ported from sarang's java code
* bulletproofs: add multi output bulletproofs to rctmoneromooo-monero2018-09-111-66/+77
|
* Do memwipe for critical secret keys copied to rct::keystoffu2018-08-161-2/+6
|
* Merge pull request #4045luigi11112018-07-191-9/+9
|\ | | | | | | 7cdd147 Changed URLs to HTTPS (einsteinsfool)
| * Changed URLs to HTTPSeinsteinsfool2018-06-231-9/+9
| |
* | threadpool: allow leaf functions to run concurrentlymoneromooo-monero2018-06-261-6/+6
|/ | | | | Decrease the number of worker threads by one to account for the fact the calling thread acts as a worker thread now
* ringct: do not show verification errors with default settingsmoneromooo-monero2018-05-041-4/+6
|
* Merge pull request #3372Riccardo Spagni2018-03-141-9/+36
|\ | | | | | | c3e23b2d ringct: 17% improvement in Borromean signature verification (moneromooo-monero)
| * ringct: 17% improvement in Borromean signature verificationmoneromooo-monero2018-03-081-9/+36
| |
* | device: untangle cyclic depenencystoffu2018-03-141-7/+4
|/ | | | | | | | | | | | | | | | | | | | | | | | When #3303 was merged, a cyclic dependency chain was generated: libdevice <- libcncrypto <- libringct <- libdevice This was because libdevice needs access to a set of basic crypto operations implemented in libringct such as scalarmultBase(), while libringct also needs access to abstracted crypto operations implemented in libdevice such as ecdhEncode(). To untangle this cyclic dependency chain, this patch splits libringct into libringct_basic and libringct, where the basic crypto ops previously in libringct are moved into libringct_basic. The cyclic dependency is now resolved thanks to this separation: libcncrypto <- libringct_basic <- libdevice <- libcryptonote_basic <- libringct This eliminates the need for crypto_device.cpp and rctOps_device.cpp. Also, many abstracted interfaces of hw::device such as encrypt_payment_id() and get_subaddress_secret_key() were previously implemented in libcryptonote_basic (cryptonote_format_utils.cpp) and were then called from hw::core::device_default, which is odd because libdevice is supposed to be independent of libcryptonote_basic. Therefore, those functions were moved to device_default.cpp.
* Merge pull request #3348Riccardo Spagni2018-03-051-18/+0
|\ | | | | | | c95dddd2 remove unused function keyImageV (h908714124)
| * remove unused function keyImageVh9087141242018-03-051-18/+0
| |
* | Merge pull request #3301Riccardo Spagni2018-03-051-2/+3
|\ \ | |/ |/| | | 34a2a085 rctSigs - loop invariant code removed from the loop (Dusan Klinec)
| * rctSigs - loop invariant code removed from the loopDusan Klinec2018-02-211-2/+3
| |
* | Code modifications to integrate Ledger HW device into monero-wallet-cli.cslashm2018-03-041-37/+37
|/ | | | | | | | | | | | | | | | | | | The basic approach it to delegate all sensitive data (master key, secret ephemeral key, key derivation, ....) and related operations to the device. As device has low memory, it does not keep itself the values (except for view/spend keys) but once computed there are encrypted (with AES are equivalent) and return back to monero-wallet-cli. When they need to be manipulated by the device, they are decrypted on receive. Moreover, using the client for storing the value in encrypted form limits the modification in the client code. Those values are transfered from one C-structure to another one as previously. The code modification has been done with the wishes to be open to any other hardware wallet. To achieve that a C++ class hw::Device has been introduced. Two initial implementations are provided: the "default", which remaps all calls to initial Monero code, and the "Ledger", which delegates all calls to Ledger device.
* ringct: pseudoOuts moved to prunable in the simple bulletproof casemoneromooo-monero2018-01-311-11/+49
| | | | | | Saves 64 bytes non prunable data per typical tx This breaks v7 consensus, will require a testnet reorg from v6
* ringct: handle exceptions verifying bulletproofs in worker threadsmoneromooo-monero2018-01-151-4/+11
|
* Add N/N multisig tx generation and signingmoneromooo-monero2017-12-171-22/+84
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Scheme by luigi1111: Multisig for RingCT on Monero 2 of 2 User A (coordinator): Spendkey b,B Viewkey a,A (shared) User B: Spendkey c,C Viewkey a,A (shared) Public Address: C+B, A Both have their own watch only wallet via C+B, a A will coordinate spending process (though B could easily as well, coordinator is more needed for more participants) A and B watch for incoming outputs B creates "half" key images for discovered output D: I2_D = (Hs(aR)+c) * Hp(D) B also creates 1.5 random keypairs (one scalar and 2 pubkeys; one on base G and one on base Hp(D)) for each output, storing the scalar(k) (linked to D), and sending the pubkeys with I2_D. A also creates "half" key images: I1_D = (Hs(aR)+b) * Hp(D) Then I_D = I1_D + I2_D Having I_D allows A to check spent status of course, but more importantly allows A to actually build a transaction prefix (and thus transaction). A builds the transaction until most of the way through MLSAG_Gen, adding the 2 pubkeys (per input) provided with I2_D to his own generated ones where they are needed (secret row L, R). At this point, A has a mostly completed transaction (but with an invalid/incomplete signature). A sends over the tx and includes r, which allows B (with the recipient's address) to verify the destination and amount (by reconstructing the stealth address and decoding ecdhInfo). B then finishes the signature by computing ss[secret_index][0] = ss[secret_index][0] + k - cc[secret_index]*c (secret indices need to be passed as well). B can then broadcast the tx, or send it back to A for broadcasting. Once B has completed the signing (and verified the tx to be valid), he can add the full I_D to his cache, allowing him to verify spent status as well. NOTE: A and B *must* present key A and B to each other with a valid signature proving they know a and b respectively. Otherwise, trickery like the following becomes possible: A creates viewkey a,A, spendkey b,B, and sends a,A,B to B. B creates a fake key C = zG - B. B sends C back to A. The combined spendkey C+B then equals zG, allowing B to spend funds at any time! The signature fixes this, because B does not know a c corresponding to C (and thus can't produce a signature). 2 of 3 User A (coordinator) Shared viewkey a,A "spendkey" j,J User B "spendkey" k,K User C "spendkey" m,M A collects K and M from B and C B collects J and M from A and C C collects J and K from A and B A computes N = nG, n = Hs(jK) A computes O = oG, o = Hs(jM) B anc C compute P = pG, p = Hs(kM) || Hs(mK) B and C can also compute N and O respectively if they wish to be able to coordinate Address: N+O+P, A The rest follows as above. The coordinator possesses 2 of 3 needed keys; he can get the other needed part of the signature/key images from either of the other two. Alternatively, if secure communication exists between parties: A gives j to B B gives k to C C gives m to A Address: J+K+M, A 3 of 3 Identical to 2 of 2, except the coordinator must collect the key images from both of the others. The transaction must also be passed an additional hop: A -> B -> C (or A -> C -> B), who can then broadcast it or send it back to A. N-1 of N Generally the same as 2 of 3, except participants need to be arranged in a ring to pass their keys around (using either the secure or insecure method). For example (ignoring viewkey so letters line up): [4 of 5] User: spendkey A: a B: b C: c D: d E: e a -> B, b -> C, c -> D, d -> E, e -> A Order of signing does not matter, it just must reach n-1 users. A "remaining keys" list must be passed around with the transaction so the signers know if they should use 1 or both keys. Collecting key image parts becomes a little messy, but basically every wallet sends over both of their parts with a tag for each. Thia way the coordinating wallet can keep track of which images have been added and which wallet they come from. Reasoning: 1. The key images must be added only once (coordinator will get key images for key a from both A and B, he must add only one to get the proper key actual key image) 2. The coordinator must keep track of which helper pubkeys came from which wallet (discussed in 2 of 2 section). The coordinator must choose only one set to use, then include his choice in the "remaining keys" list so the other wallets know which of their keys to use. You can generalize it further to N-2 of N or even M of N, but I'm not sure there's legitimate demand to justify the complexity. It might also be straightforward enough to support with minimal changes from N-1 format. You basically just give each user additional keys for each additional "-1" you desire. N-2 would be 3 keys per user, N-3 4 keys, etc. The process is somewhat cumbersome: To create a N/N multisig wallet: - each participant creates a normal wallet - each participant runs "prepare_multisig", and sends the resulting string to every other participant - each participant runs "make_multisig N A B C D...", with N being the threshold and A B C D... being the strings received from other participants (the threshold must currently equal N) As txes are received, participants' wallets will need to synchronize so that those new outputs may be spent: - each participant runs "export_multisig FILENAME", and sends the FILENAME file to every other participant - each participant runs "import_multisig A B C D...", with A B C D... being the filenames received from other participants Then, a transaction may be initiated: - one of the participants runs "transfer ADDRESS AMOUNT" - this partly signed transaction will be written to the "multisig_monero_tx" file - the initiator sends this file to another participant - that other participant runs "sign_multisig multisig_monero_tx" - the resulting transaction is written to the "multisig_monero_tx" file again - if the threshold was not reached, the file must be sent to another participant, until enough have signed - the last participant to sign runs "submit_multisig multisig_monero_tx" to relay the transaction to the Monero network