plonk
plonk copied to clipboard
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
Does we count the `N` bits from the least significant or most significant bit? Is the array in little or big endian? Maybe give and example to showcase _Originally posted...
what are x_3 and y_3? _Originally posted by @moCello in https://github.com/dusk-network/plonk/pull/700#discussion_r946992589_
#### Summary Remove the docs files in this repository, as they are not being maintained. All relevant articles should be transferred to the wiki instead.
Came across an empty link while reading the docs : https://docs.rs/plonk/ Updated it to current rust docs link : https://docs.rs/dusk-plonk/latest/dusk_plonk/ Hope I could be of any help :)
I refactored polynomial operations because it was a little bit of complicated. The reason why I removed `interpolate` was that I would like to work on removal of `Evaluations::domain` as...
**Describe the bug** When creating a circuit that is valid in itself but differs from the circuit from the circuit description by adding public inputs to the constraints, the proof...
#### Summary the method only fails when the point multiplied is not a valid jubjub point, since we know for sure that the constant generator is a valid jubjub point,...
#### Summary It doesn't make sense that the component_mul_generator takes the generator as an input. To accommodate two different generators `G` and `G_prime` we should have two distinct functions. Also...
**Describe what you want implemented** Add tests that test malicious usage of `component_mul_generator` **Describe "Why" this is needed** To fix eventual vulnerabilities. **Describe alternatives you've considered** N/A **Additional context** part...