diff options
| author | Sarang Noether <32460187+SarangNoether@users.noreply.github.com> | 2019-10-28 09:34:49 -0400 |
|---|---|---|
| committer | Sarang Noether <32460187+SarangNoether@users.noreply.github.com> | 2019-10-28 09:34:49 -0400 |
| commit | 277003f14571d551cc3c9e788d0e3b64fc9b3dd6 (patch) | |
| tree | caa5eaa92db748b620d1cc607aff877e1163c96c /src | |
| parent | Merge pull request #6044 (diff) | |
| download | monero-277003f14571d551cc3c9e788d0e3b64fc9b3dd6.tar.xz | |
Minor prover simplification
Diffstat (limited to 'src')
| -rw-r--r-- | src/ringct/bulletproofs.cc | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/src/ringct/bulletproofs.cc b/src/ringct/bulletproofs.cc index ff6fee95c..313a526c5 100644 --- a/src/ringct/bulletproofs.cc +++ b/src/ringct/bulletproofs.cc @@ -601,21 +601,16 @@ try_again: rct::keyV l0 = vector_subtract(aL, z); const rct::keyV &l1 = sL; - // This computes the ugly sum/concatenation from PAPER LINE 65 rct::keyV zero_twos(MN); const rct::keyV zpow = vector_powers(z, M+2); - for (size_t i = 0; i < MN; ++i) + for (size_t j = 0; j < M; ++j) { - zero_twos[i] = rct::zero(); - for (size_t j = 1; j <= M; ++j) - { - if (i >= (j-1)*N && i < j*N) + for (size_t i = 0; i < N; ++i) { - CHECK_AND_ASSERT_THROW_MES(1+j < zpow.size(), "invalid zpow index"); - CHECK_AND_ASSERT_THROW_MES(i-(j-1)*N < twoN.size(), "invalid twoN index"); - sc_muladd(zero_twos[i].bytes, zpow[1+j].bytes, twoN[i-(j-1)*N].bytes, zero_twos[i].bytes); + CHECK_AND_ASSERT_THROW_MES(j+2 < zpow.size(), "invalid zpow index"); + CHECK_AND_ASSERT_THROW_MES(i < twoN.size(), "invalid twoN index"); + sc_mul(zero_twos[j*N+i].bytes,zpow[j+2].bytes,twoN[i].bytes); } - } } rct::keyV r0 = vector_add(aR, z); |