tari-project / bulletproofs-plus / 6475021155

Builds Branch Commit Type Ran Committer Via Coverage
6475021155 main fix: audit updates (#87) Makes several updates suggested from an audit. In particular, these relate to arithmetic operations and indexing. While none are tied to security issues, they are useful. push web-flow github
97.33
6251892132 main test: remove test panic to improve coverage (#73) Removes a case where a test used `panic` in favor of an `is_err()` assertion, which is more idiomatic and improves coverage. push web-flow github
97.61
6251889115 main feat: improve zeroizing support (#72) Adds zeroizing and zeroing on drop to `ExtendedMask`. Moves from manual zeroizing-on-drop to the derived `ZeroizeOnDrop` trait for `CommitmentOpening` and `RangeWitness`. Updates the prover algorithm to ... push web-flow github
97.56
6251735578 main fix: verifier overflow checks (#62) Checks for overflows in the range verifier. Since type exceptions for the [lint](https://rust-lang.github.io/rust-clippy/master/index.html#/arithmetic_side_effects) mentioned in #60 don't seem to work with... push web-flow github
97.43
6245221995 main feat!: replace `lazy_static` with `once_cell` (#69) Extended commitment generators are currently [produced](https://github.com/tari-project/bulletproofs-plus/blob/502ae9fa3/src/ristretto.rs#L154-L179) using the `l... push web-flow github
97.48
6245198298 main feat!: generalize batch transcript labels (#70) Currently, transcript labels are assumed to be [common](https://github.com/tari-project/bulletproofs-plus/blob/d9d0cc906/src/range_proof.rs#L432) when verifying a ba... push web-flow github
97.53
6245163789 main ci: update CI actions (#75) Unfortunately, the popular `actions-rs` project, which supported Rust CI, has been [unmaintained](https://github.com/actions-rs/toolchain/issues/216) for some time. In addition, the default repository `checkout` act... push web-flow github
97.65
6245075163 main ci: deserialization fuzz testing (#81) This adds basic deserialization fuzz testing to CI via [`quickcheck`](https://github.com/BurntSushi/quickcheck). Because it uses a limited number of randomized test runs, it is not particularly thorough, ... push web-flow github
97.65
6245052122 main feat!: clean up serialization (#66) Proof serialization and deserialization currently use a custom design that optimizes space. However, the implementation relies heavily on slice indexing and is not particularly clear. This PR updates the s... push web-flow github
97.63
6143421167 main test: expand and clean up lints (#77) There are currently several `clippy` [groups](https://github.com/rust-lang/rust-clippy#clippy) that are useful, but are not included in `lints.toml`. This PR adds the default `clippy::all` group to the den... push web-flow github
97.53
5977803821 main fix: clean up getter functions and remove clones (#63) The getter functions for the inner-product round vectors have minor issues. First, they perform an unnecessary cloning during decompression. Second, they return a `Result` that produces ... push web-flow github
97.54
5976742549 main ci: update nightly toolchain (#68) The current `nightly-2022-12-10` toolchain now breaks CI testing due to a dependency not supporting it. This PR updates to the more recent `nightly-2023-06-04` toolchain for checks and tests. push web-flow github
97.56
5961033173 main feat: compute verifier challenge sum more efficiently (#59) As part of proof verification, the verifier must compute the sum of consecutive nonzero powers of one of the Fiat-Shamir challenges. Currently, this is done naively by iteratively comp... push web-flow github
97.56
5960943577 main feat: refactor inner-product prover (#57) The inner-product prover is a bit clunky, as it requires the range prover to set up a struct, perform iterative rounds, and then parse out the proof elements it needs. This also requires consistency che... push web-flow github
97.56
5960949904 main docs: fix benchmark extension degrees (#58) A comment in the generator benchmarks describes how to use all supported extension degrees, but it used an outdated `enum`. This updates the comment so it is correct. push web-flow github
97.56