diff --git a/zebra-chain/src/primitives/redpallas.rs b/zebra-chain/src/primitives/redpallas.rs index 17bcc2503..c680fbfd8 100644 --- a/zebra-chain/src/primitives/redpallas.rs +++ b/zebra-chain/src/primitives/redpallas.rs @@ -1,5 +1,3 @@ -//! RedPallas cryptographic primitives. - // -*- mode: rust; -*- // // This file is part of redjubjub. @@ -10,6 +8,12 @@ // - Deirdre Connolly // - Henry de Valence +//! RedPallas digital signatures. +//! +//! RedDSA (a Schnorr-based signature scheme) signatures over the [Pallas][pallas] curve. +//! +//! + use group::GroupEncoding; use halo2::pasta::pallas; diff --git a/zebra-chain/src/primitives/redpallas/scalar_mul.rs b/zebra-chain/src/primitives/redpallas/scalar_mul.rs index c9802e76a..295a43882 100644 --- a/zebra-chain/src/primitives/redpallas/scalar_mul.rs +++ b/zebra-chain/src/primitives/redpallas/scalar_mul.rs @@ -10,11 +10,15 @@ // - Henry de Valence // - Deirdre Connolly +//! Traits and types that support variable-time multiscalar multiplication with +//! the [Pallas][pallas] curve. + use std::{borrow::Borrow, fmt::Debug}; use group::Group; use halo2::{arithmetic::FieldExt, pasta::pallas}; +/// A trait to support getting the Non-Adjacent form of a scalar. pub trait NonAdjacentForm { fn non_adjacent_form(&self, w: usize) -> [i8; 256]; }