adding comments

src/circuit.rs

@@ -1,3 +1,4 @@
+///! Definition and implementation of the Bulletproofs++ arithmetic circuit protocol.
 #![allow(non_snake_case)]
 
 use std::ops::{Add, Mul, Sub};

src/range_proof/reciprocal.rs

@@ -1,3 +1,4 @@
+///! Definition and implementation of the reciprocal range-proof protocol based on arithmetic circuits protocol.
 #![allow(non_snake_case)]
 
 use std::ops::{Add, Mul};

src/range_proof/u64_proof.rs

@@ -1,3 +1,4 @@
+///! Definition and implementation of the u64 range-proof protocol based on reciprocal protocol.
 #![allow(non_snake_case)]
 
 use std::ops::{Add, Mul};

src/wnla.rs

@@ -1,3 +1,4 @@
+///! Definition and implementation of the Bulletproofs++ weight norm linear argument protocol.
 use std::ops::{Add, Mul};
 use k256::{AffinePoint, ProjectivePoint, Scalar};
 use merlin::Transcript;