Crates.io | plonk_gadgets |
lib.rs | plonk_gadgets |
version | 0.6.0 |
source | src |
created_at | 2021-02-12 16:57:01.500015 |
updated_at | 2021-07-05 20:24:54.171323 |
description | A collection of generic gadgets for the PLONK ZK-Proof algorithm |
homepage | |
repository | https://github.com/dusk-network/plonk_gadgets |
max_upload_size | |
id | 354277 |
size | 57,030 |
This library cointains the gadgets that the Dusk-Network protocol needs to build it's ZK-Circuits. The library contains generic gadgets which are used across Dusk's tech stack, all of the other gadgets used which depend on foreign types are placed on the libraries where this types are defined.
This implementation is not audited. Use under your own responsability.
This library provides:
Scalar gadgets: is_non-zero
, maybe_equals
, conditionally_select_one
, conditionally_select_zero
.
Range gadgets: range_check
, max_bound
.
AllocatedScalar
structure have been taken from the ZCash sapling
circuits and translated to the Plonk Constraint System language.This code is licensed under Mozilla Public License Version 2.0 (MPL-2.0). Please see LICENSE for further info.
Implementation designed by the dusk team.