1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94
// This Source Code Form is subject to the terms of the Mozilla Public // License, v. 2.0. If a copy of the MPL was not distributed with this // file, You can obtain one at http://mozilla.org/MPL/2.0/. // // Copyright (c) DUSK NETWORK. All rights reserved. #![cfg_attr(feature = "nightly", feature(external_doc))] #![doc( html_logo_url = "https://lh3.googleusercontent.com/SmwswGxtgIANTbDrCOn5EKcRBnVdHjmYsHYxLq2HZNXWCQ9-fZyaea-bNgdX9eR0XGSqiMFi=w128-h128-e365" )] #![doc(html_favicon_url = "https://dusk.network/lib/img/favicon-16x16.png")] //!<a href="https://codecov.io/gh/dusk-network/plonk"> //! <img src="https://codecov.io/gh/dusk-network/plonk/branch/master/graph/badge.svg" /> //!</a> //! <a href="https://travis-ci.com/dusk-network/plonk"> //! <img src="https://travis-ci.com/dusk-network/plonk.svg?branch=master" /> //! </a> //! <a href="https://github.com/dusk-network/plonk"> //! <img alt="GitHub issues" src="https://img.shields.io/github/issues-raw/dusk-network/plonk?style=plastic"> //! </a> //! <a href="https://github.com/dusk-network/plonk/blob/master/LICENSE"> //! <img alt="GitHub" src="https://img.shields.io/github/license/dusk-network/plonk?color=%230E55EF"> //! </a> //! //! //! Permutations over Lagrange-bases for Oecumenical Noninteractive //! arguments of Knowledge (PLONK) is a zero knowledge proof system. //! //! This protocol was created by: //! - Ariel Gabizon (Protocol Labs), //! - Zachary J. Williamson (Aztec Protocol) //! - Oana Ciobotaru //! //! This crate contains a pure-rust implementation done by the [DuskNetwork //! team](dusk.network) of this algorithm using as a reference implementation //! this one done by the creators of the protocol: //! //! [https://github.com/AztecProtocol/barretenberg/blob/master/barretenberg/src/aztec/plonk/](https://github.com/AztecProtocol/barretenberg/blob/master/barretenberg/src/aztec/plonk/) //! //! If you want to see library usage examples, please check: //! [https://github.com/dusk-network/plonk/tree/v0.1.0/examples](https://github.com/dusk-network/plonk/tree/v0.1.0/examples) // Bitshift/Bitwise ops are allowed to gain performance. #![allow(clippy::suspicious_arithmetic_impl)] // Some structs do not have AddAssign or MulAssign impl. #![allow(clippy::suspicious_op_assign_impl)] // Variables have always the same names in respect to wires. #![allow(clippy::many_single_char_names)] // Bool expr are usually easier to read with match statements. #![allow(clippy::match_bool)] // Clippy does not have `broken_intra_doc_links` as a known lint. #![allow(unknown_lints)] #![deny(rustdoc::broken_intra_doc_links)] #![deny(missing_docs)] mod bit_iterator; pub mod circuit; pub mod commitment_scheme; pub mod constraint_system; pub mod error; mod fft; mod permutation; pub mod prelude; pub mod proof_system; mod transcript; mod util; #[cfg(feature = "nightly")] #[doc(include = "../docs/notes-intro.md")] pub mod notes { #[cfg(feature = "nightly")] #[doc(include = "../docs/notes-commitments.md")] pub mod commitment_schemes {} #[cfg(feature = "nightly")] #[doc(include = "../docs/notes-pa.md")] pub mod permutation_arguments {} #[cfg(feature = "nightly")] #[doc(include = "../docs/notes-snark.md")] pub mod snark_construction {} #[cfg(feature = "nightly")] #[doc(include = "../docs/notes-prove-verify.md")] pub mod prove_verify {} #[cfg(feature = "nightly")] #[doc(include = "../docs/notes-pa.md")] pub mod unbalanced_perm_args {} #[cfg(feature = "nightly")] #[doc(include = "../docs/notes-KZG10.md")] pub mod kzg10_docs {} } /// Re-exported dusk-bls12_381 fork. pub use dusk_bls12_381 as bls12_381; /// Re-exported dusk-jubjub fork. pub use dusk_jubjub as jubjub;