Bulletproofs verbose #26582

pull aguycalled wants to merge 322 commits into bitcoin:master from navcoin:bulletproofs_verbose changing 670 files +233215 −1459
  1. aguycalled commented at 3:47 PM on November 26, 2022: none

    test

  2. Updated refference for interface_navcoin_cli.py in test_runner.py 7e12e4637b
  3. More changes to branding and binary names 9ed02836d9
  4. Rebranding for bench_bitcoin binary 547f905aea
  5. More branding changes for functional tests and docs 717a3f77f0
  6. Updated MAGIC BYTES in tests 8d883286f0
  7. Fix for rpc_signer.py test 1c798312c9
  8. Added bls and mcl to tidy exclude d918f22f01
  9. Updated conf file locations in ./test cases 1044da8380
  10. Branding changes for osx app name ffc9cda4cc
  11. Fixed rpc_signmessagewithprivkey.py f936efbf05
  12. Fixed tool_wallet.py test 1235b0798b
  13. More branding changes for bitcoin-wallet text 3e18d85559
  14. Navcoin-Qt branding changes 818823550e
  15. Fixed wallet_send.py test 4562c3286b
  16. Fixed rpc_fundrawtransaction.py test 3e0acb8d9a
  17. Fix for msvc-autogen.py 0ca28c24a2
  18. Updated libgmp depends 9689037413
  19. Fix i686 multiprocess test fd37f3d6b0
  20. More branding changes for multiprocess implementation 487775d162
  21. Merge pull request #49 from mxaddict/fix-make-dist
    [WIP] Fixing the cirrus build system
    449fb0fcf1
  22. Merge remote-tracking branch 'btc/master' into btc-master
     Conflicts:
	build_msvc/README.md
	doc/developer-notes.md
	src/Makefile.am
	src/Makefile.test.include
	src/qt/test/optiontests.cpp
	test/functional/p2p_compactblocks.py
	test/lint/lint-files.py
	test/lint/lint-format-strings.py
	test/lint/lint-shell-locale.py
	test/lint/lint-shell.py
	test/lint/lint-spelling.py
    670ffd9e3a
  23. Merge pull request #46 from mxaddict/btc-master
    Btc master Updated 30/06/2022
    2597bb977c
  24. Blsct arith classes with tests (#54)
    * Added the new classes Scalar and G1Point

* Added scalar.{h,cpp} and g1point.{h,cpp} to make file

* Implemented more of the operators

* Implemented more functions

* Added new << >> logic for bitwise ops

* implemented Scalar::{Rand,GetString,Hash}

* Updated the arith scalar logic

* Added more G1Point arith logic, math...

* Added hashMapTo

* Removed Scalar::hashAndMap

* Updates that I forgot to push

* Updated G1Point::Rand()

* Update the mulVec func in G1Point to throw and exception if gVec and sVec size don't match

* Removed the test code that was accidentally added

* Implemented mulVec

* Removed some unused header calls

* Added return statement for G1Point::Double

* add g1point/scalar and their tests

* ignore .vscode

* add endianness parameter to G1Point::MapToG1. add g1point_hash_and_map test

* add mulvec_mcl test

* add mulvec tests

* add scalars and g1points classes

* add MapToG1(string&)

* extracted common parts of Scalars and G1Points to Elements. add slicing functions to Elements

* wip

* wip

* drop G1point::operator^

* drop the 2nd type artument from Elements

* add skeleton elements tests

* add elements tests

* support non-zero rand generatation

* wip

* add Elements::FirstNPowers

* add .gitignore to exclude dynamically generated files on macos. add Elements::RandomVector

* wip

* add Scalar::Pow and Scalar::GetBits

* add range proof test (not tested)

* add type parameter where required

* calculate t1, t2 properly

* fix typo

* add Elements::RepeatN test

* add comment

* add integration_tests and move such tests there

* introduce std::is_same in elements.h

* add gg^z == gg^(ones * z)

* wip

* add working h^mu gg^l test

* add Scalars::FirstNInvPow

* add multiply inv power seq for G1Points

* wip

* wip

* drop FirstNInvPow. add working 65_g_part_ts_only test

* wip

* add working range proof test

* wip

* make the range proof procedure a function

* integrate inner product argument to range proof

* wip

* wip

* wip

* wip

* drop unused variable

* separate elements implementation to cpp

* clean up code

* wip

* wip

* ignore .vscode

add endianness parameter to G1Point::MapToG1. add g1point_hash_and_map test

add mulvec_mcl test

add mulvec tests

add scalars and g1points classes

add MapToG1(string&)

extracted common parts of Scalars and G1Points to Elements. add slicing functions to Elements

wip

wip

drop G1point::operator^

drop the 2nd type artument from Elements

add skeleton elements tests

add elements tests

support non-zero rand generatation

wip

add Elements::FirstNPowers

add .gitignore to exclude dynamically generated files on macos. add Elements::RandomVector

wip

add Scalar::Pow and Scalar::GetBits

add range proof test (not tested)

add type parameter where required

calculate t1, t2 properly

fix typo

add Elements::RepeatN test

add comment

add integration_tests and move such tests there

introduce std::is_same in elements.h

add gg^z == gg^(ones * z)

wip

add working h^mu gg^l test

add Scalars::FirstNInvPow

add multiply inv power seq for G1Points

wip

wip

drop FirstNInvPow. add working 65_g_part_ts_only test

wip

add working range proof test

wip

make the range proof procedure a function

integrate inner product argument to range proof

wip

drop unused variable

wip

wip

wip

separate elements implementation to cpp

clean up code

wip

wip

* squashed commits

* fix typo

* migrate indirect MulVec to Elements

* fix build issues in clang

* fix spelling errors

* add newly introduced boost depdendency to lint-includes.py

* remove local depdendent functions

* wip

* remove trailing spaces

* Added BLS and MCL libs/includes to kernel build

* Updated copy constructor and assignment operators

* Added clean steps to clean-local for mcl and bls libs

* FORCE mcl and bls libs to build using main project CC and CXX values

* replace test_integration_invert_zero by additional test case of Scalars::FirstNPow

* use fixture test suite to provide name for bls/arith tests

* throw exception when Scalar(0) is inverted

* include bls/arith headers in setup_common.h

* add g1point and mcl_initializer dependency to test_util source

* fix test_util.include

* add blsct/arith/scalar depedency to libtest_util

* Disabled LLVM use in MCL compilation, this disabled ASM

* Added NM to android host configs for depends builds

* Added ABI=32 for i386 builds of GMP in depends

* fix undefined sanitizer error

Co-authored-by: mxaddict <mxaddict@codedmaster.com>
    fea30784f9
  25. Blsct arith classes with tests (#54)
    * Added the new classes Scalar and G1Point

* Added scalar.{h,cpp} and g1point.{h,cpp} to make file

* Implemented more of the operators

* Implemented more functions

* Added new << >> logic for bitwise ops

* implemented Scalar::{Rand,GetString,Hash}

* Updated the arith scalar logic

* Added more G1Point arith logic, math...

* Added hashMapTo

* Removed Scalar::hashAndMap

* Updates that I forgot to push

* Updated G1Point::Rand()

* Update the mulVec func in G1Point to throw and exception if gVec and sVec size don't match

* Removed the test code that was accidentally added

* Implemented mulVec

* Removed some unused header calls

* Added return statement for G1Point::Double

* add g1point/scalar and their tests

* ignore .vscode

* add endianness parameter to G1Point::MapToG1. add g1point_hash_and_map test

* add mulvec_mcl test

* add mulvec tests

* add scalars and g1points classes

* add MapToG1(string&)

* extracted common parts of Scalars and G1Points to Elements. add slicing functions to Elements

* wip

* wip

* drop G1point::operator^

* drop the 2nd type artument from Elements

* add skeleton elements tests

* add elements tests

* support non-zero rand generatation

* wip

* add Elements::FirstNPowers

* add .gitignore to exclude dynamically generated files on macos. add Elements::RandomVector

* wip

* add Scalar::Pow and Scalar::GetBits

* add range proof test (not tested)

* add type parameter where required

* calculate t1, t2 properly

* fix typo

* add Elements::RepeatN test

* add comment

* add integration_tests and move such tests there

* introduce std::is_same in elements.h

* add gg^z == gg^(ones * z)

* wip

* add working h^mu gg^l test

* add Scalars::FirstNInvPow

* add multiply inv power seq for G1Points

* wip

* wip

* drop FirstNInvPow. add working 65_g_part_ts_only test

* wip

* add working range proof test

* wip

* make the range proof procedure a function

* integrate inner product argument to range proof

* wip

* wip

* wip

* wip

* drop unused variable

* separate elements implementation to cpp

* clean up code

* wip

* wip

* ignore .vscode

add endianness parameter to G1Point::MapToG1. add g1point_hash_and_map test

add mulvec_mcl test

add mulvec tests

add scalars and g1points classes

add MapToG1(string&)

extracted common parts of Scalars and G1Points to Elements. add slicing functions to Elements

wip

wip

drop G1point::operator^

drop the 2nd type artument from Elements

add skeleton elements tests

add elements tests

support non-zero rand generatation

wip

add Elements::FirstNPowers

add .gitignore to exclude dynamically generated files on macos. add Elements::RandomVector

wip

add Scalar::Pow and Scalar::GetBits

add range proof test (not tested)

add type parameter where required

calculate t1, t2 properly

fix typo

add Elements::RepeatN test

add comment

add integration_tests and move such tests there

introduce std::is_same in elements.h

add gg^z == gg^(ones * z)

wip

add working h^mu gg^l test

add Scalars::FirstNInvPow

add multiply inv power seq for G1Points

wip

wip

drop FirstNInvPow. add working 65_g_part_ts_only test

wip

add working range proof test

wip

make the range proof procedure a function

integrate inner product argument to range proof

wip

drop unused variable

wip

wip

wip

separate elements implementation to cpp

clean up code

wip

wip

* squashed commits

* fix typo

* migrate indirect MulVec to Elements

* fix build issues in clang

* fix spelling errors

* add newly introduced boost depdendency to lint-includes.py

* remove local depdendent functions

* wip

* remove trailing spaces

* Added BLS and MCL libs/includes to kernel build

* Updated copy constructor and assignment operators

* Added clean steps to clean-local for mcl and bls libs

* FORCE mcl and bls libs to build using main project CC and CXX values

* replace test_integration_invert_zero by additional test case of Scalars::FirstNPow

* use fixture test suite to provide name for bls/arith tests

* throw exception when Scalar(0) is inverted

* include bls/arith headers in setup_common.h

* add g1point and mcl_initializer dependency to test_util source

* fix test_util.include

* add blsct/arith/scalar depedency to libtest_util

* Disabled LLVM use in MCL compilation, this disabled ASM

* Added NM to android host configs for depends builds

* Added ABI=32 for i386 builds of GMP in depends

* fix undefined sanitizer error

Co-authored-by: mxaddict <mxaddict@codedmaster.com>
    6cfb8b7ab9
  26. Merge remote-tracking branch 'btc/master' into btc-master
     Conflicts:
	REVIEWERS
	SECURITY.md
	build_msvc/README.md
	ci/test/06_script_b.sh
	configure.ac
	doc/build-netbsd.md
	src/Makefile.bench.include
	src/qt/locale/bitcoin_en.xlf
	src/test/net_tests.cpp
	test/functional/interface_usdt_net.py
	test/functional/interface_usdt_utxocache.py
	test/functional/interface_usdt_validation.py
	test/functional/rpc_signmessagewithprivkey.py
	test/functional/test_framework/messages.py
    95dffaa84e
  27. Add blsct::{PublicKey,DoublePublicKey} classes 3a18b7bd94
  28. Add blsct::PrivateKey 38d42b8d7f
  29. Add PrivateKey::GetPublicKey() 3b82052b78
  30. Add first tests d5bcf3466a
  31. add IsValid check c7354cebaf
  32. dd PublicKey::ToString 3db177956b
  33. PrivateKey tests 41f48216cf
  34. add PublicKey::Aggregate fddc4d6a68
  35. Branding changes for msvc builds 84117274c7
  36. remove extra semicolon 7c0ae3fc38
  37. rename test ee6b72aa3b
  38. declare SIZE as public 2b632484f0
  39. check DoublePublicKey::GetVch() order 506642627a
  40. Added some missing ENV values to the mcl and bls build steps in src/Makefile.am cb0cc91ec1
  41. Removed CFLAGS from bls/mcl compile steps 7f212434c8
  42. Changed the android_NM definition 2b260e9de3
  43. Updated some branding in src/qt dd47a5da9a
  44. Added AR and RANLIB ENV values to bls/mcl builds a00036a942
  45. Updated some ENV values that mcl/bls was using efcfb9bde0
  46. Revert "Updated some ENV values that mcl/bls was using"
    This reverts commit efcfb9bde0ea577da414ad3085c7b7f874b3f6d8.
    c80cf3051f
  47. Updates 4bfe15f968
  48. Added support for 32bit builds for herumi mcl and bls libs 95c3ec9baa
  49. Added ranlib call to the mcl and bls .a files during build 92f1ba4e33
  50. psbt: Avoid unsigned int overflow in PSBT_IN_TAP_BIP32_DERIVATION d44e9fbcd6
  51. Merge pull request #66 from mxaddict/fix-ci-issues-after-pr-54
    fixes for CI builds related to PR #54
    4770ec6682
  52. Merge branch 'master' into btc-master 50280fcd08
  53. Merge branch 'master' into blsct-keys-classes 13634748cb
  54. substitute uint8_t with unsigned char 6d596bf62c
  55. Merge branch 'blsct-keys-classes' of github.com:navcoin/navcoin into blsct-keys-classes 5d4ec535f2
  56. Updated test_scalar_shift_left test to pass UBSan 59f8a3c4f5
  57. Fixed issue with clang-tidy complaining about a copied value that was never modified 2d7231d955
  58. Updated test_scalar_getint64 to pass UBSan test 9bb6172571
  59. Merge pull request #62 from navcoin/blsct-keys-classes
    Add blsct::{PublicKey,DoublePublicKey,PrivateKey} classes
    4a1596e3ca
  60. Merge pull request #64 from mxaddict/btc-master
    Btc master 29/08/2022
    d4c6f89bee
  61. migrate code from old bulletproofs branch 1349186448
  62. fix RangeProof initialization issue bf4c97ba19
  63. fix most of Scalar tests 6375e50981
  64. fix remaining Scalar tests 8ea69f33dc
  65. clean up d3565d3bb2
  66. test negative number in Scalar int64_t ctor test 7b6982ddd2
  67. drop redundant copy assignment operator a3049552aa
  68. wip b8cb55c1d6
  69. wip 4ce7d18901
  70. wip 660baaf331
  71. add almost working generators de5ce3c460
  72. fix Generators tests b5673f127f
  73. add elements assign op test 307e441894
  74. use std::optional to allow lazy initialization for G1Points 091e08a4a5
  75. wip 16bb39004a
  76. wip 04b6cedb76
  77. wip 236ab839c4
  78. wip adde90ebee
  79. refactor the first loop of verify function d4a8152554
  80. wip 150d7b804d
  81. wip f2362d1ba4
  82. wip 29b46ad9f2
  83. wip 4c667c6073
  84. clean up 2nd loop of verify function (wip) 8d4c3b55ac
  85. rename points to multi_exp e13d86102d
  86. replace RangeProofState with Proof 6ae7dce393
  87. get rid of all compile errors 1c11d8992c
  88. wip 8ee19fdc0b
  89. merge parameters to recovery function into one struct a2d5cbbfbf
  90. wip 5a7c4ea25b
  91. wip 04585e7eaa
  92. wip 3a1b207291
  93. add comments to recover tx function e275725a03
  94. rename try_again to retry 87af24a37a
  95. wip 40be426cef
  96. integrate RangeProof::GetTrimmedVch to Scalar::GetVch 4bcb9d8950
  97. wip 1856d7f9cc
  98. wip ce7558ba8e
  99. wip 9bdfe6eb5f
  100. wip 9313107888
  101. wip 7446036d83
  102. wip f399feaf6e
  103. wip d46143e7f4
  104. wip 5ac341fd88
  105. wip 8d1ba7ed7e
  106. wip d4d55fa1bf
  107. wip f3bed3478f
  108. rename transcript to transcript_gen 13c4eeb43d
  109. fix compile errors 9fcda67053
  110. simplify y_pow and y_inv_pow update 84335b520e
  111. wip 24782cec32
  112. wip 0d37c8b624
  113. remove redundant parens 916e6e2789
  114. use ws instead of xs to match with verification code in inner product argument code 5dfb20b3c7
  115. use y_inv_pows instead of scale_factors to match with verification code in inner product argument code b29c83c77d
  116. wip 1da674ec51
  117. clean up inner product argument code 616ad68fb9
  118. wip 67255f357a
  119. wip dc706984ef
  120. fix compile errors 62f2882eb1
  121. fix s is one more than the expected value bug 30ae7dbc02
  122. fix off by 1 bug 00dc2cf36b
  123. wip 4fb86c41bc
  124. wip ad6b5d2530
  125. fix Scalar::GetVch. add original bulletproofs test 5158eaac6c
  126. fix Scalar::GetVch. add original bulletproofs test f3c104a1db
  127. add test skeleton for test range proof 64835dc737
  128. fix compilation errors and segfault issue 803e752864
  129. wip 513eaa3f8a
  130. wip b93edfb080
  131. wip 4699e9f147
  132. fix RangeProof constructor 815f4fe3b3
  133. uncomment GeneratorsFactory ctor 71d3e85e93
  134. wip 313d78e3c1
  135. port range proof test from the original code a33051c0a9
  136. wup 18504e5b79
  137. remove unnecessary size check from elements assignment operator impl 98d7a98baa
  138. fix elements assignment operator implementation 925172fafc
  139. fix Prove() up to InnerProductArgument call eae729afa4
  140. fix elements size related issues d9779b2ec4
  141. wip 5bacbec88a
  142. wip c4c10a0f5c
  143. fix a mistake f8dfdd195d
  144. wip 77ce848ac8
  145. make fix to match (65) in verify function 46d2ebffd8
  146. wip cd61894c4f
  147. wip 36e5b50309
  148. add working (66)=(67) debug check c855b4274f
  149. wip c5863f8294
  150. wip a09256d2b2
  151. add back original range proof code for testing 63cc467533
  152. add failing original range proof prove/verify functions 705eb22fa7
  153. wip cd439e8137
  154. wip 650fc87ae6
  155. wip bbcc80041e
  156. wip 18842f1143
  157. wip f5d88a0600
  158. works up to recovery functionality c4669890c0
  159. wip 423d084e48
  160. wip 908e0981c7
  161. fix scalar >> operator override 1831d13124
  162. wip 83ffdaa2cc
  163. add check code 8a50a9dfe8
  164. wip 0befeb1a6d
  165. wip 7b5d2dfca4
  166. wip 4e590b65ce
  167. wip 1668aec353
  168. fix ip12 initialization issue 9f455df590
  169. fix up to Prove function cfd0b8c735
  170. fix new implementation 58286a276b
  171. wip 80fe7182fd
  172. revert changes made to Generators 7a9b2e6bb1
  173. revert to before-parallel-testing state further dce4f53403
  174. swap back G and H. add working recovery test 38959c1f38
  175. wip d09aa9d0de
  176. revert changes to GeneratorsFactory 4b6b48dc1b
  177. make uint64_max static value a0e0eed867
  178. wip 77cae3773a
  179. wip 2567a94f8b
  180. wip 1d2ed1dcd4
  181. wip 07738cc68d
  182. wip 3c49c42268
  183. wip 666cc7028b
  184. fix aL generation 6b28d21a49
  185. remove uint64 mask e54cfaedcb
  186. wip c0eeb07823
  187. fixing tests 7e45b83902
  188. wip ceb9d63fe0
  189. improve test runner b343c14b6e
  190. wip ade1517ffd
  191. fix 3 input issue 455756fc19
  192. add working prove/verify/recover tests 0bd10acc32
  193. wip 817f4566f0
  194. make Scalar interface tighter a4f28a6921
  195. add all remaining tests to range_proof_tests 372cd9e031
  196. wip 09a4c11627
  197. support setting values via index operator in Elements 3ac587691f
  198. add out of range check to Elements 8078616b8f
  199. give name to magic number 23 f95607ee54
  200. wip cd36528bd9
  201. wip 5e4da103c5
  202. add lazy_g1point ec43fadfad
  203. use mulvec in VerifyProofs e2985e1977
  204. compute A and S with MulVec fdd9fee2a6
  205. use MulVec in inner product arguument 35919e0df4
  206. use boost::format instead of sprintf 550313ecef
  207. add bulletproofs range proof prove/verify/recover funtcions based on Scalar and G1Point 6a6d7c323e
  208. Merge branch 'bulletproofs' of github.com.gogoex:gogoex/navcoin into bulletproofs 5e0113a524
  209. ready for review a635b2a837
  210. drop debug output in range proof tests 8146a5ce4b
  211. make H generator static and G generator derived from token_id 4a446d2e84
  212. rename recovery request index to id 16cb9b8bc1
  213. add explanation for the reason to assign base point to H 846c862064
  214. use size_t instead of uint32_t for elements index type 5873e1de02
  215. give vector element type 51eb716294
  216. surround >> expr by parenthes eebd7d49a3
  217. add explicit copy ctor to Elements 3974763c2a
  218. drop unused variable f22620697a
  219. replace boost format with strprintf 9c58dc8edd
  220. remove circular dependency. fix include guard of tokenid.h as suggested. remove duplicate includes af7e9b11a6
  221. match Scalar ctor arugment by adding const 95655fd3a1
  222. fix spagetti meatballs typo 097bb65393
  223. fix typo test fix 0b0ec672c5
  224. remove debug print 5a65385ddd
  225. fix typo c1060ea13e
  226. remove x and z from proof ab8d7dae9a
  227. remove num_rounds from Proof 29bdb943d2
  228. rename RangeProof to RangeProofLogic 602001fd97
  229. rename Proof to RangeProof 14070b258a
  230. remove circular dependency fa9fbb10eb
  231. try to fix scalar_shift_left_test 73982df479
  232. fix circular dependency 5be7432e3e
  233. replace local dependent to_string with function based on ostringstream 3febca21b7
  234. make l1 const reference b75c7fddf4
  235. address ub sanitizer issue 2d55d73010
  236. drop Elements::Invert function 781a819907
  237. fix scalar shift left test ec9c39d8e8
  238. cast ~GetUint64() result to int64_t first 64bf93046e
  239. make l1 const reference fdb8b46049
  240. set 0 when empty vector is given to Scalar::SetVch b5f36f67a1
  241. add test cases to cover all valid message lengths f4d7f7a102
  242. explicitly cast to int64_t 074c4d8606
  243. add missing test in g1point 9d63a2eb38
  244. comment out 1 msan failing test bb9b571965
  245. drop g1point test entirely 442b55e2cc
  246. add g1point tests back 53a0ae8b24
  247. initialize allocated memory entirely first 743a51d8de
  248. add MCL_MAX_BIT_SIZE=384 to cflags of mcl and bls 8f169e1149
  249. use mcl instead of bcl in MclInitializer 9c36801df3
  250. revert previous change b1ffc2e8c1
  251. add verbose c8d214c067
  252. DrahtBot commented at 3:47 PM on November 26, 2022: member

    <!--e57a25ab6845829454e8d69fc972939a-->

    The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

    <!--021abf342d371248e50ceaed478a90ca-->

    Reviews

    See the guideline for information on the review process. A summary of reviews will appear here.

  253. aguycalled closed this on Nov 26, 2022
  254. fanquake locked this on Nov 26, 2022
Contributors
aguycalledDrahtBot
github-metadata-mirror

This is a metadata mirror of the GitHub repository bitcoin/bitcoin. This site is not affiliated with GitHub. Content is generated from a GitHub metadata backup.
generated: 2026-04-29 03:14 UTC
This site is hosted by @0xB10C
More mirrored repositories can be found on mirror.b10c.me