dusk-network/plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
RustMPL-2.0
Pinned issues
Issues
- 1
Fix LaTeX in docs and add new logo
#829 opened by HDauven - 0
Update oudated CI actions
#827 opened by HDauven - 0
Remove docs
#819 opened by moCello - 0
Amend moment in which challenges are computed
#825 opened by marta-belles - 1
make `component_mul_generator` infallable
#787 opened by moCello - 1
separate `component_mul_generator` into two methods, one for `G` and one for `G_prime`
#788 opened by moCello - 0
Inconsistent gate ordering
#797 opened by moCello - 2
`leading_coefficient()` may unexpectedly be zero
#796 opened by moCello - 0
Implement `Zeroize` for `Witness`
#818 opened by moCello - 0
Add `Default` trait implementation for `Witness`
#815 opened by moCello - 0
Reduce hades constants count
#813 opened by moCello - 3
Need examples like the old versionš„ŗ
#789 opened by Vap0RSh4wN - 0
Improve API for circuit (de-)compression
#804 opened by moCello - 0
Restructure modules
#805 opened by moCello - 0
Change Composer into a struct
#802 opened by moCello - 0
Hide modules and types other than `prelude`
#782 opened by moCello - 0
Improve error message when attempting to create a proof for a circuit with the wrong size
#792 opened by moCello - 2
Negative_one is recomputed inefficiently
#798 opened by moCello - 0
Circuit creation should fail when circuit is different from prover circuit description
#762 opened by moCello - 0
Add `JubJubScalarMalformed` error
#784 opened by moCello - 0
Test fails when using `rng`
#777 opened by xevisalle - 0
Improve CI workflow
#776 opened by moCello - 1
Questions about the scale of multi scalar multiplication in practical application
#754 opened by 20171759 - 0
Check the zero-knowledge property of PlonK
#773 opened by marta-belles - 0
Fix clippy warnings
#774 opened by moCello - 0
Add `size` method to `Circuit` trait
#767 opened by moCello - 0
Tests fail when run in debug mode
#763 opened by moCello - 0
Proof creation crashes
#760 opened by moCello - 2
failing tests in logic.rs
#753 opened by lufa23 - 1
Compiler failing to compile circuit.
#758 opened by brianfakhoury - 0
Add tests for `component_mul_generator`
#729 opened by moCello - 0
Refactor and add tests for `component_decomposition`
#738 opened by moCello - 0
Questions about the scale of the "pippenger" algorithm in practical applications
#751 opened by 20171759 - 0
Add tests for `gate_add` and `gate_mul`
#736 opened by moCello - 0
No range check when `num_bits = 0`
#746 opened by moCello - 1
Refactor and add tests for `component_range`
#735 opened by moCello - 0
Refactor and add tests for logic components
#734 opened by moCello - 0
Fix `ProverKey::serialization_size`
#743 opened by moCello - 0
Add tests for `append_gate`
#737 opened by moCello - 1
Circuit verification doesn't fail when wires selectors are different than the ones in the circuit description
#742 opened by moCello - 0
- 0
Restructure integration tests
#731 opened by moCello - 1
circom support?
#740 opened by ItsFunny - 1
Add tests for `assert_equal_public_point`
#727 opened by moCello - 0
- 0
Add more tests for point equality assertion
#725 opened by moCello - 0
Bug in point equality assertion
#720 opened by ilitteri - 0
Remove 'circuit.rs' file
#722 opened by moCello - 2
Expects negative public inputs
#717 opened by ureeves - 0
`Circuit` shouldn't be required to be `Default`
#715 opened by ureeves