Rustdoc for redpallas types

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 <deirdre@zfnd.org>
 // - Henry de Valence <hdevalence@hdevalence.ca>
 
+//! RedPallas digital signatures.
+//!
+//! RedDSA (a Schnorr-based signature scheme) signatures over the [Pallas][pallas] curve.
+//!
+//! <https://zips.z.cash/protocol/protocol.pdf#concretereddsa>
+
 use group::GroupEncoding;
 use halo2::pasta::pallas;
 

zebra-chain/src/primitives/redpallas/scalar_mul.rs

@@ -10,11 +10,15 @@
 // - Henry de Valence <hdevalence@hdevalence.ca>
 // - Deirdre Connolly <deirdre@zfnd.org>
 
+//! 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];
 }