message: Spec and format changes
diff: @@ -287,10 +287,10 @@ where
  //~ 1. If using lookup:
  if let Some(lcs) = &index.cs.lookup_constraint_system {
  - // if using runtime table
  + //~~ - if using runtime table:
  if let Some(cfg_runtime_tables) = &lcs.runtime_tables {
  - // check that all the provided runtime tables have length and IDs that match the runtime table configuration of the index
  - // we expect the given runtime tables to be sorted as configured, this makes it easier afterwards
  + //~~~ - check that all the provided runtime tables have length and IDs that match the runtime table configuration of the index
  + //~~~ we expect the given runtime tables to be sorted as configured, this makes it easier afterwards
  let expected_runtime: Vec<_> = cfg_runtime_tables
  .iter()
  .map(|rt| (rt.id, rt.len))
  @@ -303,8 +303,8 @@ where
  return Err(ProverError::RuntimeTablesInconsistent);
  }
  - // calculate the contribution to the second column of the lookup table
  - // (the runtime vector)
  + //~~~ - calculate the contribution to the second column of the lookup table
  + //~~~ (the runtime vector)
  let (runtime_table_contribution, runtime_table_contribution_d8) = {
  let mut offset = lcs
  .runtime_table_offset
  @@ -363,8 +363,7 @@ where
  };
  //~~ - Derive the scalar joint combiner $j$ from $j'$ using the endomorphism (TOOD: specify)
  - let joint_combiner: G::ScalarField =
  - ScalarChallenge(joint_combiner).to_field(&index.srs.endo_r);
  + let joint_combiner: G::ScalarField = ScalarChallenge(joint_combiner).to_field(endo_r);
  //~~ - If multiple lookup tables are involved,
  //~~ set the `table_id_combiner` as the $j^i$ with $i$ the maximum width of any used table.
  