github-actions[bot]
commented
3 months ago Changes to circuit sizes
Generated at commit: 4f914f0903522051587c40704a769c06da55ae82, compared to commit: 1faaaf53bb7461d1806a79822ded1ecefe01b59b
🧾 Summary (100% most significant diffs)
| Program | ACIR opcodes (+/-) | % | Circuit size (+/-) | % |
|---|---|---|---|---|
| public_kernel_tail | +958 ❌ | +0.08% | +958 ❌ | +0.02% |
| rollup_base | +260 ❌ | +0.08% | +260 ❌ | +0.01% |
| private_kernel_inner | -1 ✅ | -0.00% | -1 ✅ | -0.00% |
| private_kernel_tail_to_public | -5 ✅ | -0.00% | -5 ✅ | -0.00% |
| private_kernel_init | -1 ✅ | -0.00% | -1 ✅ | -0.00% |
| public_kernel_setup | -5 ✅ | -0.00% | -5 ✅ | -0.00% |
| private_kernel_reset_small | -3,459 ✅ | -2.64% | -16,035 ✅ | -1.50% |
| private_kernel_reset_medium | -6,915 ✅ | -4.70% | -32,069 ✅ | -2.50% |
| private_kernel_reset_big | -13,827 ✅ | -7.74% | -64,137 ✅ | -3.77% |
| private_kernel_reset | -27,651 ✅ | -11.43% | -128,273 ✅ | -5.04% |
Full diff report 👇
| Program | ACIR opcodes (+/-) | % | Circuit size (+/-) | % | |:-|-:|-:|-:|-:| | **public_kernel_tail** | 1,217,548 (+958) | **+0.08%** | 5,427,671 (+958) | **+0.02%** | | **rollup_base** | 339,228 (+260) | **+0.08%** | 3,064,150 (+260) | **+0.01%** | | **private_kernel_inner** | 53,510 (-1) | **-0.00%** | 1,292,648 (-1) | **-0.00%** | | **private_kernel_tail_to_public** | 458,562 (-5) | **-0.00%** | 2,118,154 (-5) | **-0.00%** | | **private_kernel_init** | 30,686 (-1) | **-0.00%** | 390,775 (-1) | **-0.00%** | | **public_kernel_setup** | 280,955 (-5) | **-0.00%** | 1,802,693 (-5) | **-0.00%** | | **private_kernel_reset_small** | 127,784 (-3,459) | **-2.64%** | 1,055,334 (-16,035) | **-1.50%** | | **private_kernel_reset_medium** | 140,125 (-6,915) | **-4.70%** | 1,249,735 (-32,069) | **-2.50%** | | **private_kernel_reset_big** | 164,805 (-13,827) | **-7.74%** | 1,638,535 (-64,137) | **-3.77%** | | **private_kernel_reset** | 214,168 (-27,651) | **-11.43%** | 2,416,138 (-128,273) | **-5.04%** |
This PR just pulls out a bunch of changes from the sync PR, pretty much everything of note.