From b438a07de4152cc5a820a3a20f42923cb26bfc33 Mon Sep 17 00:00:00 2001 From: Ryan Lehmkuhl Date: Wed, 18 Nov 2020 15:54:02 -0800 Subject: [PATCH 1/2] Make marlin_pc::Randomness fields public --- src/marlin_pc/data_structures.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/marlin_pc/data_structures.rs b/src/marlin_pc/data_structures.rs index c3bfe997..4153e5e8 100644 --- a/src/marlin_pc/data_structures.rs +++ b/src/marlin_pc/data_structures.rs @@ -294,8 +294,8 @@ impl PCPreparedCommitment> for PreparedCommitmen Eq(bound = "") )] pub struct Randomness> { - pub(crate) rand: kzg10::Randomness, - pub(crate) shifted_rand: Option>, + pub rand: kzg10::Randomness, + pub shifted_rand: Option>, } impl<'a, F: PrimeField, P: UVPolynomial> Add<&'a Self> for Randomness { From 9d6037f36d973a66021039f76d2aa94839c77bb1 Mon Sep 17 00:00:00 2001 From: Ryan Lehmkuhl Date: Wed, 18 Nov 2020 16:04:53 -0800 Subject: [PATCH 2/2] Add documentation --- src/marlin_pc/data_structures.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/marlin_pc/data_structures.rs b/src/marlin_pc/data_structures.rs index 4153e5e8..1301a959 100644 --- a/src/marlin_pc/data_structures.rs +++ b/src/marlin_pc/data_structures.rs @@ -294,7 +294,11 @@ impl PCPreparedCommitment> for PreparedCommitmen Eq(bound = "") )] pub struct Randomness> { + /// Commitment randomness for a KZG10 commitment. pub rand: kzg10::Randomness, + /// Commitment randomness for a KZG10 commitment to the shifted polynomial. + /// This is `None` if the committed polynomial does not enforce a strict + /// degree bound. pub shifted_rand: Option>, }