v0.8.1: (1) aggregate 15 chunks (2) parallel assignment

[silathdiir]

Related zkevm-circuits PR scroll-tech/zkevm-circuits#803

Summary

• prover/test_data/full_proof_1.json is chunk-179001 to 179015 of sepolia.
• need to help check changes of layer3.config and layer4.config. @zhenfeizhang
• layer-4 could not work with degree=26 and num_advice=1 (I fixed to 2).

batch-prove.log.tar.gz

Test

batch-prove test could pass.

[zhenfeizhang]

scroll-tech/zkevm-circuits#803 MAX_SNARK=15 passes with the following config

layer 3
{
  "strategy": "Simple",
  "degree": 20,
  "num_advice": [
    59
  ],
  "num_lookup_advice": [
    7
  ],
  "num_fixed": 2,
  "lookup_bits": 18,
  "limb_bits": 88,
  "num_limbs": 3
}

layer 4
{
  "strategy": "Simple",
  "degree": 26,
  "num_advice": [
    1
  ],
  "num_lookup_advice": [
    1
  ],
  "num_fixed": 1,
  "lookup_bits": 20,
  "limb_bits": 88,
  "num_limbs": 3
}