Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bulletproofs++: Norm argument #205

Merged
merged 18 commits into from
Feb 27, 2023
Merged

Bulletproofs++: Norm argument #205

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
87373f5
MOVE ONLY: move Pedersen commitment stuff to generator module from ra…
apoelstra Aug 27, 2022
0a60069
Revert "Remove unused scalar_sqr"
apoelstra Jul 12, 2022
6162d57
generator: cleanups in Pedersen/generator code
apoelstra Jul 12, 2022
048f9f8
bulletproofs: add new empty module
apoelstra Aug 27, 2022
48563c8
bulletproofs: add API functionality to generate a large set of genera…
apoelstra Nov 12, 2020
17417d4
Add utilities from uncompressed Bulletproofs PR
sanket1729 Nov 22, 2022
420353d
Add utilities for log2
sanket1729 Jan 31, 2023
412f8f6
Add utility functions required in norm argument
sanket1729 Oct 26, 2022
8638f0e
Add internal BP++ commit API
sanket1729 Oct 26, 2022
d914545
Add bulletproofs++ norm argument prove API
sanket1729 Oct 26, 2022
46c7391
Add norm argument verify API
sanket1729 Oct 26, 2022
2574516
Add testcases for bulletproofs++ norm arugment
sanket1729 Oct 26, 2022
34c4847
ci: add bulletproofs
jonasnick Jan 20, 2023
13ad32e
norm arg: add tests for zero length and zero vectors
jonasnick Jan 26, 2023
73edc75
norm arg: add verification vectors
jonasnick Jan 31, 2023
c983186
transcript: add tests
jonasnick Jan 31, 2023
e5a01d1
Rename buletproof_pp* to bppp*
sanket1729 Feb 6, 2023
d7fb25c
Make sure that bppp_log2 isn't called with value 0
jonasnick Feb 9, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
ci: add bulletproofs
  • Loading branch information
@jonasnick @sanket1729
jonasnick authored and sanket1729 committed Feb 14, 2023
commit 34c4847a6a72e340dac2c078bbea4d65441e5971
10 changes: 7 additions & 3 deletions .cirrus.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ env:
WHITELIST: no
MUSIG: no
ECDSAADAPTOR: no
BULLETPROOFS: no
### test options
SECP256K1_TEST_ITERS:
BENCH: yes
Expand Down Expand Up @@ -72,12 +73,12 @@ task:
<< : *LINUX_CONTAINER
matrix: &ENV_MATRIX
- env: {WIDEMUL: int64, RECOVERY: yes}
- env: {WIDEMUL: int64, ECDH: yes, SCHNORRSIG: yes, EXPERIMENTAL: yes, ECDSA_S2C: yes, RANGEPROOF: yes, WHITELIST: yes, GENERATOR: yes, MUSIG: yes, ECDSAADAPTOR: yes}
- env: {WIDEMUL: int64, ECDH: yes, SCHNORRSIG: yes, EXPERIMENTAL: yes, ECDSA_S2C: yes, RANGEPROOF: yes, WHITELIST: yes, GENERATOR: yes, MUSIG: yes, ECDSAADAPTOR: yes, BULLETPROOFS: yes}
- env: {WIDEMUL: int128}
- env: {WIDEMUL: int128, RECOVERY: yes, SCHNORRSIG: yes}
- env: {WIDEMUL: int128, ECDH: yes, SCHNORRSIG: yes, EXPERIMENTAL: yes, ECDSA_S2C: yes, RANGEPROOF: yes, WHITELIST: yes, GENERATOR: yes, MUSIG: yes, ECDSAADAPTOR: yes}
- env: {WIDEMUL: int128, ECDH: yes, SCHNORRSIG: yes, EXPERIMENTAL: yes, ECDSA_S2C: yes, RANGEPROOF: yes, WHITELIST: yes, GENERATOR: yes, MUSIG: yes, ECDSAADAPTOR: yes, BULLETPROOFS: yes}
- env: {WIDEMUL: int128, ASM: x86_64}
- env: { RECOVERY: yes, SCHNORRSIG: yes, EXPERIMENTAL: yes, ECDSA_S2C: yes, RANGEPROOF: yes, WHITELIST: yes, GENERATOR: yes, MUSIG: yes, ECDSAADAPTOR: yes}
- env: { RECOVERY: yes, SCHNORRSIG: yes, EXPERIMENTAL: yes, ECDSA_S2C: yes, RANGEPROOF: yes, WHITELIST: yes, GENERATOR: yes, MUSIG: yes, ECDSAADAPTOR: yes, BULLETPROOFS: yes}
- env: {BUILD: distcheck, WITH_VALGRIND: no, CTIMETEST: no, BENCH: no}
- env: {CPPFLAGS: -DDETERMINISTIC}
- env: {CFLAGS: -O0, CTIMETEST: no}
Expand Down Expand Up @@ -108,6 +109,7 @@ task:
GENERATOR: yes
MUSIG: yes
ECDSAADAPTOR: yes
BULLETPROOFS: yes
matrix:
- env:
CC: i686-linux-gnu-gcc
Expand Down Expand Up @@ -165,6 +167,7 @@ task:
GENERATOR: yes
MUSIG: yes
ECDSAADAPTOR: yes
BULLETPROOFS: yes
CTIMETEST: no
<< : *MERGE_BASE
test_script:
Expand Down Expand Up @@ -259,6 +262,7 @@ task:
GENERATOR: yes
MUSIG: yes
ECDSAADAPTOR: yes
BULLETPROOFS: yes
CTIMETEST: no
matrix:
- name: "Valgrind (memcheck)"
Expand Down
4 changes: 4 additions & 0 deletions ci/cirrus.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,6 +52,10 @@ then
$EXEC ./bench_ecmult
$EXEC ./bench_internal
$EXEC ./bench
if [ "$BULLETPROOFS" = "yes" ]
then
$EXEC ./bench_bulletproofs
fi
} >> bench.log 2>&1
fi

Expand Down