From cd74d6621f1ac5ac98217e3deb7e9b60c5b0cd03 Mon Sep 17 00:00:00 2001 From: Elias Rad <146735585+nnsW3@users.noreply.github.com> Date: Fri, 23 Aug 2024 12:09:06 +0300 Subject: [PATCH 1/3] Update data_structures.rs --- src/ipa_pc_as/data_structures.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ipa_pc_as/data_structures.rs b/src/ipa_pc_as/data_structures.rs index fce9052..3b1142d 100644 --- a/src/ipa_pc_as/data_structures.rs +++ b/src/ipa_pc_as/data_structures.rs @@ -15,7 +15,7 @@ pub struct PredicateIndex { /// The degree bound supported by IpaPC. pub supported_degree_bound: usize, - /// The hiding bound supported by IpaPC. + /// The hiding bound is supported by IpaPC. pub supported_hiding_bound: usize, } From f9ecf59a23676d7a329613336efd4bea1bc351e9 Mon Sep 17 00:00:00 2001 From: Elias Rad <146735585+nnsW3@users.noreply.github.com> Date: Fri, 23 Aug 2024 12:10:50 +0300 Subject: [PATCH 2/3] Update mod.rs --- src/r1cs_nark_as/constraints/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/r1cs_nark_as/constraints/mod.rs b/src/r1cs_nark_as/constraints/mod.rs index 03660cc..cc5ec16 100644 --- a/src/r1cs_nark_as/constraints/mod.rs +++ b/src/r1cs_nark_as/constraints/mod.rs @@ -166,7 +166,7 @@ where Ok((outputs_fe, outputs_bits)) } - /// Blinds the commitments from the first round messages. + /// Blinds the commitments from the first round of messages. #[tracing::instrument( target = "r1cs", skip(nark_matrices_hash, input_instances, nark_sponge) From c7a2616b33d72fed4884d3d5b589c4752f894234 Mon Sep 17 00:00:00 2001 From: Elias Rad <146735585+nnsW3@users.noreply.github.com> Date: Fri, 23 Aug 2024 12:11:22 +0300 Subject: [PATCH 3/3] Update mod.rs --- src/r1cs_nark_as/r1cs_nark/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/r1cs_nark_as/r1cs_nark/mod.rs b/src/r1cs_nark_as/r1cs_nark/mod.rs index 03ff87b..c1ac841 100644 --- a/src/r1cs_nark_as/r1cs_nark/mod.rs +++ b/src/r1cs_nark_as/r1cs_nark/mod.rs @@ -71,7 +71,7 @@ where out } - /// Performs a setup for R1CS. This function does not currently do anything meaning. + /// Performs a setup for R1CS. This function does not currently do anything meaningful. pub fn setup() -> PublicParameters {} /// Outputs a specialized prover and verifier key for some R1CS instance.