CHANGELOG.md

Changelog

All notable changes to this project will be documented in this file. See standard-version for commit guidelines.

0.4.0 (2024-05-07)

⚠ BREAKING CHANGES

• Changes the prover and verifier APIs to replace transcript labels with Merlin transcripts. Changes how domain separation is applied internally.
• Removes verify_batch_with_rng from the public API. No longer requires that verify_batch have the rand feature enabled.
• Removes unused methods that were public, which is technically a breaking change.
• Introduces a change to the ExtensionDegree public API.
• Modifies the construction of commitment generators.
• Changes the batch verification API.
• Modifies the structure of serialized proofs.

Features

• clean up serialization (#66) (d45e062), closes #65
• compute verifier challenge sum more efficiently (#59) (7315a61)
• generalize batch transcript labels (#70) (4102dea), closes /github.com/tari-project/bulletproofs-plus/blob/d9d0cc9063f85684179908569227dda251981751/src/range_proof.rs#L432 #64
• improve zeroizing support (#72) (c7b076f), closes #71
• move RNGs into RangeProofTranscript (#111) (854dd88), closes #109 /github.com/tari-project/bulletproofs-plus/pull/109#discussion_r1449861417
• refactor inner-product prover (#57) (aa7593f), closes /github.com/tari-project/bulletproofs-plus/blob/d9d0cc9063f85684179908569227dda251981751/src/inner_product_round.rs#L111-L112 #61 #55 #56
• remove partial precomputation (#129) (58409fa), closes #128 #93 #96
• remove verifier RNG requirement (#116) (8759a59), closes #110
• replace lazy_static with once_cell (#69) (e01c380), closes /github.com/tari-project/bulletproofs-plus/blob/502ae9fa35a39afc5793210e4301023a7ca7ea60/src/ristretto.rs#L154-L179 #67
• simplify dependencies (#105) (21601db), closes #104 #104
• support no-std environments (#107) (bce16c4)
• use Merlin's TranscriptRng for random number generation (6f1aab6)
• use transcript composition (#115) (6be2bda), closes /github.com/tari-project/bulletproofs-plus/blob/da71f7872f02a0e9d3000c316bb083181daa9942/src/transcripts.rs#L72 #114

Bug Fixes

• add check for unused deserialization data (#83) (55191b8), closes /github.com/tari-project/bulletproofs-plus/blob/e01c380186111c1fbe3fba213d1b492beff11b9d/src/range_proof.rs#L1017-L1020 #82

• add missing dollar sign (#121) (f9fec4d)

• audit updates (#87) (5b87644)

• clean up getter functions and remove clones (#63) (502ae9f)

• don't panic on inconsistent generators (#100) (1f5c8a0), closes #99

• improve prover consistency checks (#98) (09ac06c), closes #97

• pin nightly version on source cov workflow (#120) (1aa7694)

• prover cleanup (#89) (7da7bbc), closes #88

• reduce verification vector allocation (#127) (6c4bfe0), closes #126

• update source coverage script (#122) (e902989)

• verifier overflow checks (#62) (e71a275), closes #60 #60

• clean up ExtensionDegree (#85) (da57859)

• unused method cleanup (#90) (48da00a), closes #87

0.3.2 (2023-08-07)

Features

• change precomputation rc to arc (#44) (d495fb2)
• minor verifier optimizations (#53) (7960214)
• simplify inner-product generator folding (#52) (271892c)

Bug Fixes

• promise check in range statement (#48) (3e0008e)
• reduce vector capacity (#45) (9caa0c9)

0.3.1 (2023-07-18)

0.3.0 (2023-07-13)

⚠ BREAKING CHANGES

• Changes the way that seed nonces are used in mask recovery. Existing range proofs will verify, but will fail to recover the correct mask.

Features

• simplify bit vector commitment (#35) (f831d64), closes /github.com/tari-project/bulletproofs-plus/blob/cd7588ee8eaebe862fe9cf5d7c3fd92981703e87/src/range_proof.rs#L265-L273
• use precomputation on (most) fixed generators (#19) (cd7588e), closes #18

Bug Fixes

• nonce index encoding (#31) (394843f)

0.2.3 (2023-04-03)

0.2.2 (2023-04-03)

Bug Fixes

• fix rand_core inequality (#26) (213f788)

0.2.1 (2023-01-03)

Features

• add status badges to readme (2f063be)

Bug Fixes

• exclude dalek from source test coverage (7cae60b)
• make test_coverage.sh executable (cf1f46f)
• update test coverage script (5c36bdf)

0.2.0 (2022-12-14)

⚠ BREAKING CHANGES

• split batches for verification (#22)

Features

• split batches for verification (#22) (531bae6)

0.1.1 (2022-11-24)

Bug Fixes

• relax zeroize (#20) (4e041dd)

0.0.7 (2022-10-03)

Features

• port to dalek for curve (#16) (d756340)

0.0.6 (2022-06-23)

0.0.5 (2022-06-13)

Features

• add methods to retrieve extension degree (#14) (670ebdf)

0.0.4 (2022-06-03)

0.0.3 (2022-05-31)

Bug Fixes

• avoids copying in the commit method (#12) (ab4c432), closes /github.com/dalek-cryptography/curve25519-dalek/blob/0d49dfacf66bed4b41e445d0e6942b3c27f3b263/src/traits.rs#L114

0.0.2 (2022-05-31)

Features

• relax commit bounds (#10) (4ec07aa)