File tree Expand file tree Collapse file tree
barretenberg/cpp/src/barretenberg/chonk/batched_honk_translator Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -63,15 +63,15 @@ template <typename Curve> class BatchedHonkTranslatorVerifier_ {
6363 // Unshifted: [Trans_rest(TU-1) | MZK_precomputed(P) | MZK_witness(W)]
6464 // Shifted: [MZK_shifted(S) | Trans_shifted(TS)]
6565 //
66- // Range 1 (Translator merged ): ordered(5)+z_perm(1)+concat(5) in unshifted ↔ same in shifted
66+ // Range 1 (Translator): translator PCS shift sources repeated between the unshifted and shifted sections.
6767 // Range 2 (MegaZK): witness[0..S-1] ↔ mega_zk_shifted[0..S-1]
6868 static constexpr RepeatedCommitmentsData REPEATED_COMMITMENTS = [] {
6969 constexpr size_t TU = TranslatorFlavor::NUM_PCS_UNSHIFTED; // includes masking(1)
7070 constexpr size_t P = MegaZKFlavorT::NUM_PRECOMPUTED_ENTITIES;
7171 constexpr size_t W = MegaZKFlavorT::NUM_WITNESS_ENTITIES;
7272 constexpr size_t S = MegaZKFlavorT::NUM_SHIFTED_ENTITIES;
73- // Translator repeated: ordered(5)+z_perm(1)+concat(5) in Trans_rest ↔ Trans_shifted
74- // Trans_rest starts at virtual 0; repeated starts at ordered_extra(1)+op(1)=2
73+ // Translator repeated range: PCS shift sources in Trans_rest ↔ Trans_shifted.
74+ // Trans_rest starts at virtual 0; repeated starts after ordered_extra and op.
7575 constexpr size_t TRANS_REPEAT_START = TranslatorFlavor::REPEATED_COMMITMENTS.first .original_start ;
7676 constexpr size_t TRANS_REPEAT_COUNT =
7777 TranslatorFlavor::REPEATED_COMMITMENTS.first .count + TranslatorFlavor::REPEATED_COMMITMENTS.second .count ;
You can’t perform that action at this time.
0 commit comments