barustenberg

barustenberg copied to clipboard

Generalized test blitz in proving_key and verification_key

1

A lot of tests, across a lot of the repo. Mostly pretty fundamental things... mostly should be easy wins and very GPT-able... not assigned a bounty yet because I'm not...

laudiacay

Implement pippenger MSM

5

lonerapier

chore(rust)(deps): update generic-array requirement from 0.14.7 to 1.0.0 in /barustenberg

1

Updates the requirements on [generic-array](https://github.com/fizyk20/generic-array) to permit the latest version. Release notes Sourced from generic-array's releases. 1.0.0 Changelog Primary PR Changelog Sourced from generic-array's changelog. 1.0.0 Use GATs for ArrayLength...

dependabot[bot]

Bumps [actions/setup-node](https://github.com/actions/setup-node) from 3 to 4. Release notes Sourced from actions/setup-node's releases. v4.0.0 What's Changed In scope of this release we changed version of node runtime for action from node16...

dependabot[bot]

TODOs in `plonk/proof_system/proving_key.rs`

6

# Proving Key We need to implement the following: - [ ] `ProvingKey::from_reader()` - [ ] `impl Serialize for ProvingKey` - [ ] `impl Deserialize for ProvingKey`

Autoparallel

make sane decisions about where to create the rngs in the code.

3

lots of rngs get used in lots of threads. these are sort of adhoc- there's no way to do deterministic tests. this is bad. figure out the right thing to...

laudiacay

TODOs in `srs/reference_string/pippenger_reference_string.rs`

3

# Pippenger Reference String Here's a list of the TODOs as tasks: - [ ] implement `Pippenger::get_num_points()` - [ ] Implement `PippengerReferenceString::get_monomial_size()` - [ ] Implement `PippengerReferenceString::get_monomial_points()` --- Then we...

Autoparallel

audit the list of tests and make issues for all the ones we should implement

2

this is big :( https://gist.github.com/shuklaayush/d3952ae12124082b28aa71834e3cafe1 thanks to @shuklaayush NO cryptography primitive tests NO retesting arkworks- we trust them CHECK in this lib for what we have implemented. test THAT. :D

laudiacay

TODO in `polynomials/polynomial_arithmetic.rs`

1

# Polynomial Arithmetic There is a TODO here about "being super incorrect" inside of `fft_inner_parallel`. Low priority given this is to do with parallelization.

Autoparallel

TODOs in `plonk/proof_system/prover.rs`

2

# Prover We need to implement: - [ ] `copy_placeholder()` - [ ] `add_polynomial_evaluations_to_transcript()` (not defined in barettenberg) - [ ] `compute_batch_opening_polynomial()` (not defined in barettenberg) - [ ] `init_quotient_polynomial()`...

Autoparallel