diff --git a/halo2_gadgets/src/sinsemilla.rs b/halo2_gadgets/src/sinsemilla.rs index 71f7d27a58..e57c0a2129 100644 --- a/halo2_gadgets/src/sinsemilla.rs +++ b/halo2_gadgets/src/sinsemilla.rs @@ -485,7 +485,7 @@ where } #[allow(clippy::type_complexity)] - /// Evaluates the blinding factor equal to $[r] R$ where `r` is stored in the `CommitDomain`. + /// Evaluates the blinding factor equal to $\[r\] R$ where `r` is stored in the `CommitDomain`. pub fn blinding_factor( &self, mut layouter: impl Layouter, diff --git a/halo2_gadgets/src/sinsemilla/chip/generator_table.rs b/halo2_gadgets/src/sinsemilla/chip/generator_table.rs index 002045e751..e77928b128 100644 --- a/halo2_gadgets/src/sinsemilla/chip/generator_table.rs +++ b/halo2_gadgets/src/sinsemilla/chip/generator_table.rs @@ -80,20 +80,20 @@ impl GeneratorTableConfig { /// Load the generator table into the circuit. /// - /// | table_idx | table_x | table_y | table_range_check_tag | + /// | table_idx | table_x | table_y | table_range_check_tag | /// ------------------------------------------------------------------- - /// | 0 | X(S[0]) | Y(S[0]) | 0 | - /// | 1 | X(S[1]) | Y(S[1]) | 0 | - /// | ... | ... | ... | 0 | - /// | 2^10-1 | X(S[2^10-1]) | Y(S[2^10-1]) | 0 | - /// | 0 | X(S[0]) | Y(S[0]) | 4 | - /// | 1 | X(S[1]) | Y(S[1]) | 4 | - /// | ... | ... | ... | 4 | - /// | 2^4-1 | X(S[2^4-1]) | Y(S[2^4-1]) | 4 | - /// | 0 | X(S[0]) | Y(S[0]) | 5 | - /// | 1 | X(S[1]) | Y(S[1]) | 5 | - /// | ... | ... | ... | 5 | - /// | 2^5-1 | X(S[2^5-1]) | Y(S[2^5-1]) | 5 | + /// | 0 | X(S\[0\]) | Y(S\[0\]) | 0 | + /// | 1 | X(S\[1\]) | Y(S\[1\]) | 0 | + /// | ... | ... | ... | 0 | + /// | 2^10-1 | X(S\[2^10-1\]) | Y(S\[2^10-1\]) | 0 | + /// | 0 | X(S\[0\]) | Y(S\[0\]) | 4 | + /// | 1 | X(S\[1\]) | Y(S\[1\]) | 4 | + /// | ... | ... | ... | 4 | + /// | 2^4-1 | X(S\[2^4-1\]) | Y(S\[2^4-1\]) | 4 | + /// | 0 | X(S\[0\]) | Y(S\[0\]) | 5 | + /// | 1 | X(S\[1\]) | Y(S\[1\]) | 5 | + /// | ... | ... | ... | 5 | + /// | 2^5-1 | X(S\[2^5-1\]) | Y(S\[2^5-1\]) | 5 | pub fn load(&self, layouter: &mut impl Layouter) -> Result<(), Error> { layouter.assign_table( || "generator_table",