Skip to content

Remove dynamic unroll (to simplify the zkDSL compiler, at the cost of a few percent more cycles (but saves some memory))#230

Merged
TomWambsgans merged 3 commits into
mainfrom
remove_dynamic_unroll
May 24, 2026
Merged

Remove dynamic unroll (to simplify the zkDSL compiler, at the cost of a few percent more cycles (but saves some memory))#230
TomWambsgans merged 3 commits into
mainfrom
remove_dynamic_unroll

Conversation

@TomWambsgans
Copy link
Copy Markdown
Collaborator

@TomWambsgans TomWambsgans commented May 24, 2026

BEFORE

                                                        time      size      cycles      memory   poseidons  extension-ops
                 ┌──▸ ◇ 1550 R=1/2 ·· ▸ 1292 XMSS/s - 1.200s   344 KiB     993,320   3,900,503     259,056      30,602
                 ├──▸ ◇ 508 R=1/4 ··· ▸  649 XMSS/s - 0.783s   207 KiB     326,320   1,284,011      85,042      10,068
            ┌──▸ ◆ 2058 - 10 R=1/4 ·· ▸               0.571s   197 KiB     253,675     798,694      28,196     103,437
            │    ┌──▸ ◇ 1550 R=1/4 ·· ▸  937 XMSS/s - 1.654s   229 KiB     993,302   3,900,503     259,056      30,619
            │    ├──▸ ◇ 508 R=1/4 ··· ▸  647 XMSS/s - 0.785s   209 KiB     326,370   1,284,011      85,042      10,118
            ├──▸ ◆ 2058 - 10 R=1/4 ·· ▸               0.529s   197 KiB     222,807     691,320      23,018      83,416
       ┌──▸ ◆ 4096 + 25 - 5 R=1/2 ··· ▸               0.453s   297 KiB     253,106     812,521      29,495      79,672
       │    ┌──▸ ◇ 775 R=1/4 ········ ▸  896 XMSS/s - 0.865s   208 KiB     497,266   1,953,647     129,631      15,361
       │    ├──▸ ◇ 775 R=1/4 ········ ▸  912 XMSS/s - 0.850s   209 KiB     497,311   1,953,647     129,631      15,363
       ├──▸ ◆ 1550 - 5 R=1/4 ········ ▸               0.542s   195 KiB     215,036     642,969      21,172      89,016
  ┌──▸ ◆ 5661 + 10 - 2 R=1/4 ········ ▸               0.812s   198 KiB     295,530     922,179      34,786      98,674
  ◆ 5669 R=1/16 ····················· ▸               0.633s   131 KiB      97,518     326,329       9,164      44,703

AFTER

                                                        time      size      cycles      memory   poseidons  extension-ops
                 ┌──▸ ◇ 1550 R=1/2 ·· ▸ 1279 XMSS/s - 1.211s   345 KiB     993,664   3,898,904     259,056      30,602
                 ├──▸ ◇ 508 R=1/4 ··· ▸  656 XMSS/s - 0.775s   207 KiB     326,333   1,283,093      85,042      10,068
            ┌──▸ ◆ 2058 - 10 R=1/4 ·· ▸               0.570s   196 KiB     256,962     759,745      28,196     103,437
            │    ┌──▸ ◇ 1550 R=1/4 ·· ▸  921 XMSS/s - 1.684s   229 KiB     993,646   3,898,904     259,056      30,619
            │    ├──▸ ◇ 508 R=1/4 ··· ▸  654 XMSS/s - 0.776s   209 KiB     326,383   1,283,093      85,042      10,118
            ├──▸ ◆ 2058 - 10 R=1/4 ·· ▸               0.532s   195 KiB     226,094     652,371      23,018      83,416
       ┌──▸ ◆ 4096 + 25 - 5 R=1/2 ··· ▸               0.447s   296 KiB     260,054     748,828      29,495      79,672
       │    ┌──▸ ◇ 775 R=1/4 ········ ▸  930 XMSS/s - 0.833s   208 KiB     497,406   1,953,378     129,631      15,361
       │    ├──▸ ◇ 775 R=1/4 ········ ▸  938 XMSS/s - 0.826s   208 KiB     497,451   1,953,378     129,631      15,363
       ├──▸ ◆ 1550 - 5 R=1/4 ········ ▸               0.534s   197 KiB     217,517     619,678      21,172      89,016
  ┌──▸ ◆ 5661 + 10 - 2 R=1/4 ········ ▸               0.798s   198 KiB     305,308     870,522      34,786      98,674
  ◆ 5669 R=1/16 ····················· ▸               0.639s   130 KiB      97,518     326,329       9,164      44,703

@TomWambsgans TomWambsgans changed the title Remove dynamic unroll (to simplify the zkDSL compiler) Remove dynamic unroll (to simplify the zkDSL compiler, at the cost of a few percents cycles more cycles (but saves some memory)) May 24, 2026
@TomWambsgans TomWambsgans changed the title Remove dynamic unroll (to simplify the zkDSL compiler, at the cost of a few percents cycles more cycles (but saves some memory)) Remove dynamic unroll (to simplify the zkDSL compiler, at the cost of a few percent more cycles (but saves some memory)) May 24, 2026
@TomWambsgans TomWambsgans merged commit 7d46870 into main May 24, 2026
3 checks passed
TomWambsgans added a commit that referenced this pull request May 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant