diff --git a/provers/stark/src/examples/read_only_memory_logup.rs b/provers/stark/src/examples/read_only_memory_logup.rs index c870b4d4c..a6bb424ca 100644 --- a/provers/stark/src/examples/read_only_memory_logup.rs +++ b/provers/stark/src/examples/read_only_memory_logup.rs @@ -519,10 +519,11 @@ where } } -/// Return a trace table with an auxiliary column full of zeros (that will be then replaced with the correct values by the air) and -/// and the following five main columns: +/// Return a trace table with an auxiliary column full of zeros (that will be then replaced +/// with the correct values by the air) and the following five main columns: /// The original addresses and values, the sorted addresses and values without duplicates, and -/// the multiplicities of each sorted address and value in the original ones (i.e. how many times they appear in the original address an value columns). +/// the multiplicities of each sorted address and value in the original ones (i.e. how many times +/// they appear in the original address an value columns). pub fn read_only_logup_trace< F: IsPrimeField + IsFFTField + IsSubFieldOf + Send + Sync, E: IsField + Send + Sync, @@ -567,7 +568,9 @@ pub fn read_only_logup_trace< mod test { use super::*; use lambdaworks_math::field::fields::{ - fft_friendly::{babybear::Babybear31PrimeField, quartic_babybear::Degree4BabyBearExtensionField}, + fft_friendly::{ + babybear::Babybear31PrimeField,quartic_babybear::Degree4BabyBearExtensionField + }, u64_prime_field::{F17, FE17}, };