Skip to content

Instantly share code, notes, and snippets.

@tyler-smith
Created February 6, 2020 01:49
Show Gist options
  • Save tyler-smith/19a399a319cc6c0428eaa99d3c165448 to your computer and use it in GitHub Desktop.
Save tyler-smith/19a399a319cc6c0428eaa99d3c165448 to your computer and use it in GitHub Desktop.
Snarky recursive composition - Incrementing integers
~/dev/zkpow> make run
ocamlopt bin/zkpow/main.exe
ld: warning: directory not found for option '-L/opt/local/lib'
Swap is not beneficial, not performing
* QAP number of variables: 11
* QAP pre degree: 6
* QAP degree: 16
* QAP number of input variables: 6
* G1 window: 4
* G2 window: 2
* G1 elements in PK: 45
* Non-zero G1 elements in PK: 37
* G2 elements in PK: 13
* Non-zero G2 elements in PK: 5
* PK size in bits: 14304
* G1 elements in VK: 6
* G2 elements in VK: 1
* GT elements in VK: 1
* VK size in bits: 3671
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 2 (16.67%)
* Elements of w remaining: 10 (83.33%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 0 (0.00%)
* Elements of w remaining: 4 (100.00%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 0 (0.00%)
* Elements of w remaining: 5 (100.00%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
Swap is not beneficial, not performing
* QAP number of variables: 2317
* QAP pre degree: 2304
* QAP degree: 2560
* QAP number of input variables: 1
* G1 window: 10
* G2 window: 8
* G1 elements in PK: 9512
* Non-zero G1 elements in PK: 8575
* G2 elements in PK: 2319
* Non-zero G2 elements in PK: 1382
* PK size in bits: 3477363
* G1 elements in VK: 1
* G2 elements in VK: 1
* GT elements in VK: 1
* VK size in bits: 1856
* QAP number of variables: 11186
* QAP pre degree: 11182
* QAP degree: 12288
* QAP number of input variables: 1
* G1 window: 11
* G2 window: 10
* G1 elements in PK: 45847
* Non-zero G1 elements in PK: 39833
* G2 elements in PK: 11188
* Non-zero G2 elements in PK: 5174
* PK size in bits: 16871869
* G1 elements in VK: 1
* G2 elements in VK: 2
* GT elements in VK: 1
* VK size in bits: 2452
* Elements of w skipped: 2 (0.09%)
* Elements of w processed with special addition: 4 (0.17%)
* Elements of w remaining: 2312 (99.74%)
* Elements of w skipped: 1 (0.07%)
* Elements of w processed with special addition: 2 (0.14%)
* Elements of w remaining: 1378 (99.78%)
* Elements of w skipped: 2 (0.09%)
* Elements of w processed with special addition: 3 (0.13%)
* Elements of w remaining: 2311 (99.78%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1020 (9.12%)
* Elements of w processed with special addition: 26 (0.23%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 581 (11.23%)
* Elements of w processed with special addition: 26 (0.50%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1020 (9.12%)
* Elements of w processed with special addition: 25 (0.22%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 3 (0.13%)
* Elements of w remaining: 2314 (99.83%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 3 (0.22%)
* Elements of w remaining: 1378 (99.78%)
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 2 (0.09%)
* Elements of w remaining: 2313 (99.87%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1027 (9.18%)
* Elements of w processed with special addition: 19 (0.17%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 588 (11.37%)
* Elements of w processed with special addition: 19 (0.37%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1027 (9.18%)
* Elements of w processed with special addition: 18 (0.16%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 2 (0.09%)
* Elements of w remaining: 2315 (99.87%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 2 (0.14%)
* Elements of w remaining: 1379 (99.86%)
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 1 (0.04%)
* Elements of w remaining: 2314 (99.91%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1021 (9.13%)
* Elements of w processed with special addition: 25 (0.22%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 582 (11.25%)
* Elements of w processed with special addition: 25 (0.48%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1021 (9.13%)
* Elements of w processed with special addition: 24 (0.21%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 2 (0.09%)
* Elements of w remaining: 2315 (99.87%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 2 (0.14%)
* Elements of w remaining: 1379 (99.86%)
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 1 (0.04%)
* Elements of w remaining: 2314 (99.91%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1014 (9.06%)
* Elements of w processed with special addition: 32 (0.29%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 575 (11.12%)
* Elements of w processed with special addition: 32 (0.62%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1014 (9.07%)
* Elements of w processed with special addition: 31 (0.28%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 2 (0.09%)
* Elements of w remaining: 2315 (99.87%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 2 (0.14%)
* Elements of w remaining: 1379 (99.86%)
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 1 (0.04%)
* Elements of w remaining: 2314 (99.91%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1025 (9.16%)
* Elements of w processed with special addition: 21 (0.19%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 586 (11.33%)
* Elements of w processed with special addition: 21 (0.41%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1025 (9.16%)
* Elements of w processed with special addition: 20 (0.18%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 2 (0.09%)
* Elements of w remaining: 2315 (99.87%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 2 (0.14%)
* Elements of w remaining: 1379 (99.86%)
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 1 (0.04%)
* Elements of w remaining: 2314 (99.91%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1012 (9.05%)
* Elements of w processed with special addition: 34 (0.30%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 573 (11.08%)
* Elements of w processed with special addition: 34 (0.66%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1012 (9.05%)
* Elements of w processed with special addition: 33 (0.30%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 2 (0.09%)
* Elements of w remaining: 2315 (99.87%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 2 (0.14%)
* Elements of w remaining: 1379 (99.86%)
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 1 (0.04%)
* Elements of w remaining: 2314 (99.91%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1020 (9.12%)
* Elements of w processed with special addition: 26 (0.23%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 581 (11.23%)
* Elements of w processed with special addition: 26 (0.50%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1020 (9.12%)
* Elements of w processed with special addition: 25 (0.22%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 2 (0.09%)
* Elements of w remaining: 2315 (99.87%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 2 (0.14%)
* Elements of w remaining: 1379 (99.86%)
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 1 (0.04%)
* Elements of w remaining: 2314 (99.91%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1023 (9.14%)
* Elements of w processed with special addition: 23 (0.21%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 584 (11.29%)
* Elements of w processed with special addition: 23 (0.44%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1023 (9.15%)
* Elements of w processed with special addition: 22 (0.20%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 2 (0.09%)
* Elements of w remaining: 2315 (99.87%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 2 (0.14%)
* Elements of w remaining: 1379 (99.86%)
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 1 (0.04%)
* Elements of w remaining: 2314 (99.91%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1020 (9.12%)
* Elements of w processed with special addition: 26 (0.23%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 581 (11.23%)
* Elements of w processed with special addition: 26 (0.50%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1020 (9.12%)
* Elements of w processed with special addition: 25 (0.22%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 2 (0.09%)
* Elements of w remaining: 2315 (99.87%)
* Elements of w skipped: 0 (0.00%)
* Elements of w processed with special addition: 2 (0.14%)
* Elements of w remaining: 1379 (99.86%)
* Elements of w skipped: 1 (0.04%)
* Elements of w processed with special addition: 1 (0.04%)
* Elements of w remaining: 2314 (99.91%)
* G1 elements in proof: 2
* G2 elements in proof: 1
* Proof size in bits: 1195
* Elements of w skipped: 1020 (9.12%)
* Elements of w processed with special addition: 26 (0.23%)
* Elements of w remaining: 10141 (90.65%)
* Elements of w skipped: 581 (11.23%)
* Elements of w processed with special addition: 26 (0.50%)
* Elements of w remaining: 4566 (88.27%)
* Elements of w skipped: 1020 (9.12%)
* Elements of w processed with special addition: 25 (0.22%)
* Elements of w remaining: 10140 (90.66%)
* G1 elements in proof: 4
* G2 elements in proof: 2
* Proof size in bits: 2986
Block0 state: 1
Block0 hash: 759671529
Block0 proof: /kMBMIlWDV7VLkTuPrZ0Jk4/0X/BJm8/KmHeVf4VGChHK3oUyZRiCGMCAADeEq9i7CqsAdEfueblmKSujgmUQE8Y6j85/g2MEnTiyLNUoGqMAwAAMDhp886Mw+9kNW1K4PWSSBeceHoKOkAv3A1nK5yasIp68tSO8iADAABmnoDjqFTZaTWcDqrFnaFfEWnleJA00QHDQfMwPSPqETscUC5MAgAAuysPVZ7QKGEITgndz7QfaOdAy37rja35lJhOisDPSgfmnrt4CgEAALYEBDiWYwui7Go75Zn902bEfh/NOBa4WRpEfScoP9CT0EdAExICAAAwVPRBwQxiaZedCkWhWWfcEEig/Mcbm0kF/H7myPYLnLRO9yfm5gEAAPkdzwlT6H7yN1F2Mim278z+wM5FYfwcUGf3IAJePmZhd/MCAqwAAAA=
Block0 wrap proof: ASgVvKrhzVW1odgDrhqJSFqva1Rf/69Dg6MjxcKlyD7RAe5rsxkyAAAAKE3RKhikrteil+zsA8F15Bpti/DR8Ty9oeUI2aBKNGFFmP4zlR4AAAABAyiqDf0fqrMgdmMBkAg+sTEozAbm9SS7QrkdSuI8ZK0zCGFEhKq+AgAAKFfg2Izc4FusLG3m2BNpk7WOGzzsbwEXclpcAeAO/SMDidmknCwDAAAopvTi2qoFZtVtWFaa75rrZ8Qy8sfB6PYG71iZq4+GeqzGXQNiVAAAAAMopJ+arR+7jwr9U3GOADwWsK0A1qJ4+/kYskdFkE9kzSvlbxCIYgAAACgUBX2k1wKi+NM0XBcOnTjaoRgjNKR7E/asqLVsL6y1x+Dgror+AgAAKCZpg75afFdh6koRVUGeomEuNyXXpSrJi7CfaQB/QbnA0MJwZh4CAAABKFP7avGd4DkxjtubG/vz+XiEy5L7ZcdEjE/k1GeRm12fzn00lZsDAAAos6UISesHUqd59C7Oet4r4ZritlYTGRexk9093ycSPa9jH7JWIgMAAAEDKC1M9CMJtfSpvqyXXauFwEqFpMT1mEJHdd8Zn17kp5s/FKZ5doUAAAAoOjutIJJ26bX/vuHIqWB+ROIWmXAEuO5nVFiKxZNgnHBw7GOXFwAAAChlaH8OlSweLO5OLfDYDDokQbFInR0S51GJfBAxBS21yW8Yx4WRAAAAAyiJ1jHx1K5EjDeEujlXy7rpoTOqdy5haK4lyCw14a9Pun+B59UiAQAAKG3gnMFjsN/oIKlwkXYiNgSosZziEObP3jkP/Ss6nGwVa6vgyXUCAAAobyWoVdErE9jRW0hs+nMNtQv+cUw1FbYdrdg9TUdkxr4Q7DAYpQMAAAEob3upxi6XZfW/Nsfoa9+W0qtJyPt24n9w8qajfuvcpVViX3GkmQIAACgW54I8tN55FLDarISXUrWq1C0Ma83qyg7DlnJczMyTONRL7QEjAQAA
Block1 state: 2
Block1 hash: 691325185
Block1 proof: /kMBMLIf4D3NEol/olLU7exa8MC4rpcd4tsHtME5qvRs3axWhj114hcCAAAm+UqQT75YuCtxWQRyKaWfxRJxB5i5lK5uFgel5W/LuxEx4ipeAwAAMCRSZpenqwl+55KhoIBcgaYz6RrpexLOOf4eX9Z+6ZhvTc48tyMBAAB2iwApLoAkWxkQ0Fj77LPh+Rz6aTTqpsAPMXPmwNUo1wqmQk+6AgAA07YdonXaVMGcWr3N11aaJI9oBqf6iHt+ESwwFNQ27Icek3t/LQEAAJCCuUG1R3irf5LIZ9AUlA8acQnUs343rWnWiYcAsE/BuCiGGxcBAAAwKI8QA1PKIByD2T2H0xEHUlkhUkDZwoJx3uSYcdBgzcoUf8+xIgIAAIeVOu0Wbdk375yKkMne71mqJnlm8ntLjKMOFSqiUhG4p9J27M4CAAA=
Block1 wrap proof: ASiLVVI7WV2CLQ4OfzkYIo0XcnnU2EfKqlmJvt9FWVniYlHQfl8HAAAAKI1gTVdHX5OitdLApPLnhQ4+umAwr7CfKHBqROcn8I+teoj/EBoBAAABAyh6KD4maZJ7t5e8/HmDIGFty1biigPA39/8G90BqqZ0PTFrMgM0AQAAKG5LMwOVu+p9Iv71QwBg66jp4GuBKyR1cwa4fjtJDatE4G60KEQAAAAoCvH+R1+vGTLCv1eJaTEKtlByRBVP8JeHDPaVTpXcUI/tuy4EmgAAAAMoYXWOA4at+x92gc87CPmwhZPV8Xs4brd02EeL7Vr/JmDJ91BO3wEAACjamMShtOjKWg1+E4ChXPhJnzHh+wy3uEpAnRHOR2xA0B48opUmAQAAKAX/lsnCsxyBRYe3MHi821ayiJqZBWsy5qcq5yADiNOYrm8JqloBAAABKCL0NjBIl830WMO53/Yi26NWfYzJhpuW+4gRy8nYleZp1RHoCwUDAAAoIg9skQNJFUPtVW8Q5lkJfFuVwAzq5G7HO+0L8CGLcBaspn08cAEAAAEDKJS1L2ml+THBjAlhgkA4lGMil7ko+sTGL6MQgjWJsurBD6J4QH0CAAAoNcKz+1AjB+4HGqZtvJTIx1uEeLoebpv0PKbzS83sqGM122m4EAMAACiMn0UVcwldqp4YM5X2sdUKhCfUSvMpUsj0aDHSU64qltWrME4EAQAAAyhfEoGiiLYujCgN5W4W//aCi33krkfrN/uYlnLk2P5JfovZYxEQAwAAKHvBIq2Qq0DT1iHnNNklc1iwi9MwdeBNi0SGmSEyP+O4/KZwwy8DAAAopDhLsdbc7WnzKRTwvrhV5b218VAC//pWDyCjRPTAM0/5CVY0sQIAAAEov77T/S8mC79+imc5A9PSayVhXWOL8WfS8THQq3wAal65fhg32AAAACi9PuYA3dEEMRQ/roSk/UGzANjKf2TBYAhtXG6V1AtC0M5lXi1vAwAA
Block2 state: 3
Block2 hash: 820446693
Block2 proof: /kMBMEQ/lPmQz+nmfpe02sx1ic8g/c4A7YMQVw25e3qqiQuocBCClnoAAAC6owKuwQtcjo/jbf7k0GHT9iebyJ9ldVXtAn1uCkTPMlBOlWiqAwAAMNv5mhWVw1U6AOj76s42hPIi48QLOtDZ5uPceanoT6z7RVC6XgADAABraEqv8TJNfVuQFlFVVntfabi/C5MtmwiLiCBQV4NV1SKFp+cCAAAAmY/7fx64XE6HrJY1rfi86y8IWIAUx4f7h+j3/drFx5vAtZ4tXgIAACW4nnSD6nNPXHf0AiQexgaWU2eRQma217qb+t898uw+LixE3SMCAAAwz3BuPdntKINzhQydL+2svO8Yd8yYFIk/B7o911o0hKj92zZXhAEAAAewasHuLtT7+R1PWkXz93XjJOfMk20XW/Rvx9uZIxRsBte2u30AAAA=
Block2 wrap proof: AShttGTuYt9GDu5QqdPzcG+u7E9hgbjD/MEig2rJoTsnTAIbQxdbAgAAKJKAf9gLDdr8HQdyj1bBUat0aWNfU/AKf8pJldICrKL4DFVsByQBAAABAygvcL6nFOliQ2T4BatflFMM2bK/bwdN14Vhu94NjuheMFNYIJT4AQAAKMrWo3EbvduH4tUH3sIPM5mAOkaepXfC6p0S5jOVDNp1UEko3MYBAAAouMA1vSFRTt6EEnLz3HgztEDkR9gIH3CAGMTebrHCtEZLkWIIEwEAAAMoGYrmaW0+tvI1GN6U4MaYz2MD+/2oYdatNqan0Yxv/0qME+69swEAACjPcxfMhQw+9MV3kNuRPFK/ZMY691YR3qVKTQIqq6Eu7nuuWJU5AAAAKCODZbPxhfMXZovqabFrFXu+Pk4cXUssv9CpfD7xP5izm/aeOAcDAAABKMpbrrGQeH+lge8OLeYpwe7q5QDFecA4VS+cSrbFdgStS5xlIPACAAAobGnf50bbF/euWZkB/+by+9LiNzyL4pIwXmixz4Wqom2jlIYEsQAAAAEDKEUQDlfimYjsxv/6SsXUU5h/lAkdPBa38hPkKf+aVZeMTN11WBADAAAoqo3+07Cw0TCNCJgsdUtjRaEQkgbLlgcmTz+bpwZ+IBBfXVwFzQEAACiecjMQliddyv2OMzBkvjXHqzF8o7/szm6EGegDlOvRU8bGxCHlAQAAAygMOoA6VDLoZIVyhxrnGxPBaWSNSf6ocHXQxuyu0sR/AqttLXIEAwAAKBpf2/a0OcB4l7C9tePfCm6qJS6aNRwsiJWzL23c36QyfJoMPlABAAAo7Y5nZU8pn+phfLLolQ2VGqH70DTU9+5aQYqrvncaH1a3OzH6NQAAAAEoc8Ym4mw2VeGLPtFP+V7Kf05KPc+atYspFsKHDjLLfEdn33ouhQAAAChCv5q3UeIrTCNLi9/OLdz1HX/5sOTHOcnIE3pvhx0jIpY0fhTqAgAA
Block3 state: 4
Block3 hash: 756513471
Block3 proof: /kMBMOnJr/hmRkoshlzjy8II+rJqnKymwSe/QNvasTpWuArIg8woFycBAADH7MFUakGuD+hgzb2bmYCNe6Q4q+VybwWIPTjFzMYj7Ire2cW6AgAAMFrHiotuk9SXqiP6lvw2kSiA00JF0UhgDLhfQ0u5CXiW6V3Gsx4DAABFGkc759ifEXtx/Ygif19G7oT0i4VtpkINZioOKH0+V3wiu8f/AQAAPkfnFf3IgKyVeAUTkpy2b1fZI+/0yB1FGzGj+m8r/8GqUC51sgAAAHoYywu0ECq12MBJPFrq+Vjfe+incOHvJf/NO8ADuKrRxxhLyxsAAAAwDBRu5jTCFWvs4sBDVKqHmIsHp5GdTJek6kpvUmIERznFuaM6mgIAAMsVxvX4AH+a8XWcjImsGSqp8RVIzQzh4k2O2RinWOI4U7l7rz4AAAA=
Block3 wrap proof: ASgHXZYdJqb4w4LRg35Lx1hSEhcHRwctFeN/lxRgvJ9+RnTeXdrjAgAAKKcRGewQrFpoaOJV+5GIdehEOxKzvC23CIIkFddRQBuYcgMhJGABAAABAyj3X7ePaip/7sA/RqB0fE1yTulWx7mCE+IGIE0yH7/FjkpSChohAQAAKEQKNmwh27ESEZ6yHQcw8rDDGqsrIMlOJUMgjXdaUa1L3/FEhGMDAAAoX0yT3MkSniWu1zzqdFH8/ud8Y1RuapgilynLikoZOH3yVrbgxwEAAAMosioSn1Xp4iR6oQbIj/gjnfvILMwmyraXU1+BSq4tr8wAbIXO9AAAACg9kwrWF3LlNxVh/l2rYPfQuXwOpgGBcYgpoIeZkWB0F5VNv0p0AwAAKOz0gmaVwcePHvXxXViiN9ENqHQMn2O4s1XS9ScXxYiJV2pqRbYDAAABKHPCYKsPxtq99ZdYEjoIwl8fcNF+mt1XPDtg8xftOJSVpMLqvKACAAAopV9RwNmeAJHyHShqdH6l7i7vMt+G6+Df/yM9HHE2Uf0ewFg9mAIAAAEDKPmuYXeHYpkx6WfTAOqIq/aRe1WyFd1R+t52VUTw7EdexCY8VM8BAAAotZqnfZk/UtW1WlVuc0CKNte0Aprf4kcSpG8QK4goJ/pE3NVotwIAACjKnyqBvS4so/na2an9sVHRyMLT+BPdomSfXmESuDYjr4jMB0T1AAAAAygqwKnLLZFvwmSqCQISmqEhqBZPWok59q2zEwoWoQYibAsFaWMIAgAAKCqDaXXe403wOTU1ejgGhp42GyWqPUULn2+EEK0Dz1I6Cospo58AAAAo0uMM5h/NWClh3wKVGMGQYPKalQO2ImLGhK1XuG2er/eJeqx6SgIAAAEoAvvT3v24TtbZ1oAtD4rvqFzGsC9LFWh5E/elgjzURRf+zy2mawAAACgbZFmk7U7hrEkq23jkj7bIoh7mhBsyyXnzgE3yCPOmCojR6i8YAwAA
Block4 state: 5
Block4 hash: 1044549738
Block4 proof: /kMBMKPsQQWyJHq/NqQZQEhBfWFocZ6BoBZLoy19UWjOV5YuV5hwGaoCAACSyyZSCy+mEKxA/Z2rIP3gF5ae/mJArdKrzI/Sbs+4BnYja/ajAAAAMKSwCjtslHvbg2sI1aVp0Uv5eXnA1IzEY3Sk/X4mYiiwKkGfb6ADAABqtr16r7UB5Skx5095Ha1lCScAndU8qTW85OvvwGmhigQYSrCkAAAAcpRlxo9a9ISk8tXIlrmumev/FRvLkooYZyXo3QNSPSl+mbVwTgAAAOJI4Pn1lEPFvUcrn8D8Cty2tzIQhe6v8M8qUgFdA6Rn78o53Y0BAAAwEQSPfBL5hcy74UYFqVsKgA+L1UZHQYxcVnDuQlgqoymaQSZ1lgEAAOjZyk2dBpvlUGG8LBhB5KMkZiuOrzk7jH+yQM48mFpeFhcQfakCAAA=
Block4 wrap proof: AShIE0DkGrh4Oxp1R7nL5MOi4yxuONDOj5F5HR8JsyMQ82p/qL4jAgAAKJP+oxidxa4NF5G6SVe6QfFYr5iAoBx8OpBOA0UfBTlcJxIrO5gCAAABAyg7aYFD/w4K2IxQnNsiJadTC8/thKGA2BNCgdqrU6C9QTeFWe6MAQAAKFfyqCghDipi/mqHle0yx8CnSG39CwXBtLKw8Y+mwquzmHRk6NkBAAAo5x2aqmkHPBQ6/TY5hRq680Z10zNgajxAX9AQcLAhK4GooBkILwEAAAMoGl3KHq6jYJV+jzJQCBFUuPqfOaxwLs+7fkHubcpAkczUi9tnBAEAACg1ui65NouBvPl6S7ffKiPDACFyD4p0JkZcTWluThjfu8L09nsHAQAAKMKmRtP9AdJMYT+o8cuX9AYO6lT6VDptlC0gWcnF7npHnoAZ+jgCAAABKKxUzG48HWVphflplWKSqUk3oXfV36hMSi8Nm8rymFANRaRTxF8DAAAopqABBTrWHi/GdTzndwYbaV1JB/P2rr7FyO9y2p1PsuiLhbEztwMAAAEDKAY7r7Ul9GFY/sdik9TZpJrMkTLxpxxcuCnNrzfe3iBZ2ddoYB0BAAAoB8xI79bzRTVT11V4PDZ/iT0rROg7BNqBxVWblqnkrQvKyjhJvAIAACjWAbu4j7S0yuBvYoOrDlEd8oJryaFAQwkFdNfJR1EzMPrHFlrWAAAAAyhQbwgrALs94VBKt73T1dWVtwhaXBosvOwWyLNPWY1ImLZVHUxxAQAAKHiQEoukQCXsIYGyviYjkGCPJoUtx6oTGZRnap603dBfQbLGcBUAAAAoyCf1GcCtgOSwT3c4eBPA7mbcJiUbJNuoit4rBlDipJqaroo8qwEAAAEoRnp5zyWaTdq83ux67MJxAzNXsjLZW/o92y2MUKz4sEjty9Y/XgIAACjVO6I3PuBkAn51gZdxYccWBBzKmdxmRDhFP7UCxNedOg/TJl4rAgAA
Block5 state: 6
Block5 hash: 242745288
Block5 proof: /kMBMLrJskI5IU1ZowlLyRIQxJ9hZLLeVXYClfT7U3ugB2Rn6Ymm++MBAAAGCQ2gdqO2s6U8qQn8ua2eIXwE5uxSDUQ1qzqRs9OeS73Jn4KqAAAAMKmzugNzXGaiQ/qYkGK9AJxxz9+YUjEl5BCqtHmY2RSNWrI+8hECAADWzS/hIlXosJwh8WwyCJAcpLLIWtKwtjBpelLedqtYnVm4I+kNAQAAaCVs3nIxmWALEyI1HhK0rXnb1a5n9EscDuTK5IlygN/90wC0XgIAAAHh3K0jGu/6Z1bihZfGkdjA5V2zIEKs1oi2DV3SmLjfo6v/m3YCAAAw0Z537FO6RdYxoRalBh+QZ18zqKcXLF/qVA9X2r7A0Qgg/w4rCAMAAH6AWiy5ap9OmT6u85lwJPNDMGfCXHYlMNO5REOITwK/3fdVXfUAAAA=
Block5 wrap proof: ASi3pYCH4JqY8MR2yiqdlCM8mCWIZwPNMh6gbejf5ESwVimsiCI1AQAAKAirf5vxyRoU+OENExYL4sHtLxfRRsq/ykH62a/yUJbQr0CgUp4BAAABAyilEXzeODRUvEFjh/9gfwZumhBu6wkGvALdLu0STZqcaIJ17FqtAQAAKIxqKl6y5i9DuQ1fn701jUJfk/UYIPUhITwlw0CCPnDKqTf3wvsCAAAoG3nPF97/MCUXSd8NxrkuydcANbJPNNC+js65lvOHNV2QFPJSpgEAAAMoCEVqCwAHEokeozAsTQRlpBh6Gj+uCTM6JGnCYG4xFBpotkT0lgMAAChZ96FVpT8QwAfBt9Silwx39UOZOl4e2XOnAx+qJosJmx16FqTHAgAAKKTN61/4rl6qSIv7DIJm8aVO/adHPUNJ3Tq5GIbO3ZJtHKrAAHgBAAABKKLq/jO5HVl+p30LeQwA4o/0d/uP9rMqHONB9j7qSuaRXyhuDFYDAAAoQQgNQaM/G6Rnm0GktHMKfoVu/Tm27s6Q0nJA+nChn1mR/Z6OHwAAAAEDKO3i7AOOyCOfPM763Muzce+lCoVtn0L0ZvSybVn5iYfibFlFnrIDAAAo3PxhTrLPCtXCHQbXWz0mJRvO04UVEGhUIV6KG6/+ZGt62si/vAEAACiVbiJ3kVErHHfx1laFVyYmhJ+1r3xjOx1vWEq4jGaM5Pm87MB2AgAAAyhra0xqB0lTZPzXfVEVSEd9+WtTnqyCfye/immdFbR5Aoqc3k/vAQAAKE1KVm0TACWNuKu3FamBq4hvruvVE6EGdu4lTHd/L+gZiFBy/fQAAAAo3gUllVmFVNzeA/CqfNAZmapDnM1NLXtvgMOKQmSMAngmxYsNvAEAAAEoYZxIls4rhle+mbIC9Awf9m6P4eY9VcT1N+YLNeqdfAfW3vqg5AIAACjYRazObhJf1lMt4QzKdZ18+SAKOu+k7LmNu0XsDz/Sgn8Ta7cBAgAA
Block6 state: 7
Block6 hash: 123434433
Block6 proof: /kMBMC+IKxvk5/cCyroUksqbsdJPjIpOOJmQB/wFjV9jNgEL9D0ttqgAAADtoKpWllIT3vmuiXwWXy7ro6iN+Xbo+Id1WFhVG6ZcU72+HXtYAgAAMBc0heVOTuI3teZkPPd8xcA1zmcYalL7DkIGNM1vEXq83yRY0XIAAABw5bt5Mvt7buJ54vDXVQO+F5XYLIqG9NPDK2vnYYefaFXI3tNwAgAAJJcd03t4NtHGESv7Nr3jFLxaEqPE2p4E/ZESE7N5qCYaWH3FjgMAAM1lcSH66t/3/U5nptl0L3OrQoVa6UtljsgYBFJpN0Etoi1/gDYDAAAwlLZ4NSMBLc4VH8byHF3ZbNpaQMlpGcur9e7N1TOXc2nnP5KLjAMAAKl9pv3lUaqVKqNpjSt1f4IUbY7za7Y513U3XGTDOXgPPlu2LdkBAAA=
Block6 wrap proof: ASibA7/qztnwy+grfaQGub6jagUqb9GW68jVA/ZkTZ5GI0qHB703AQAAKIwh92v4y6CVAHtJk6XsZyXJtavzYZjSOKnSpz90oLIkLzogdgYBAAABAygsA0Ablp/zmKmF18rBhzJunCNoKqiFfVUmSJ5UvVDvXWbdxD55AAAAKJs2OP5l30IPsKFVqE3jqRSLr8zyk2Zz/oDAnn9Yd6JKlEPPcVEDAAAohwm33bfsx9ug6faNN6Kbr/r7DGXHFWKp2xe3a+KQ8d2OVWz1YQEAAAMojDAKpcS0N/8W5vRw6faU5oVcgwfnMDSP3gLvuH30AtNy42BhVwMAACgJOYTZvT238SgIA1mHKYwykDG1rfkE9rLcbRMpvL7pt1TMVkHEAgAAKED1cBJXZ2SmtgWoFU/gezj+x75R5ZQZS98ZUnKJAm1pEoT2o7sAAAABKBFNVF1iY7ars1wxWharsOli2rq2rS10ffQvnEO20ajdG5h7ME0BAAAoaSNeHygt9X6bGVdpiFYZQPYvCvZXIqmZ71F6ltV7e44PgLyrfgIAAAEDKDQoU1uVrqMOOkJwzj92YwvI20VCcZhxK+dWCkjGI4NkG8KAtlUDAAAoVSJFkP3Su63rtp7ZH9dX8MqSaxL8L/hsBAsFl0RcWSJFpIQg3gAAACh9ObjseC85wZ394HT34ro45dy3ug77LWV81RLwB+D2Emoe3H9VAAAAAyh6IfYKEsV6GhHs2rVniMKvw/azkbwI7wo6XFqnLluMhqj0/Q5TAgAAKPFqdWAVcOSDJPgU7PASP7jUZNjGvqWRbs5Z7XiTmG1FtBNdikUBAAAoWK9r+ri/abWA1mZ+6CpjTaVItKcFYHTxONVc6Ht6aT+5VhwaegMAAAEoMiPUEj1KidieepIossDST5ITPhtGeh16uYMsaP19+jNIIrdohAEAACj2006CMWFH3LLM6EpPnatA9yxv5+uG7eit4F5/uFYuEYdkB/xqAgAA
Block7 state: 8
Block7 hash: 582657594
Block7 proof: /kMBMEJyW0GgVlpbDm8Wz3l/GTF8CANC6MfimIlQsHZjR3w65CJMdxoCAADQ4bvSmdpr9hzByCf0sLYcQ9+cJc8p2TQ58ApNm7SIf+Q8JRiXAgAAMLdnmBbx7LKFBU6jh7vZOEsSbjcCgSVvtL2eS77+53xxqGBsOocCAAAbFqb1P76onugjZ0H7AbkfhTpCZa4qib5wCRvcQsvOwdSA23utAwAAM2sTP1udF/liNCXGAfDFBz6tg7TioHv0mHAw+mrTVD8N+LR2rQIAACXdYPTG7FYl7jKxYZhKTgpy19gS9woqOHxopkssNUpPHfhfkrIDAAAwp73a/4J84rWfKf3OWDWhXcb/7m0vgRjXKM1E8q9JaS+6gQP9TgMAAJR5EMnDlVCzXooa7IMb8Sw0Vhrs6x1mtJ/v+bNBLq9vhB9JlZ0AAAA=
Block7 wrap proof: ASgEqNATd/T6FOMrDbUAzV8/oYU95xiKbI5EzhwGkx8Ih1pIxi5qAQAAKKYHH/A+Ocz7gJOAWy79dF/JCVsKYBN7YrX2Un2i8Af3Y+7Cd/8CAAABAyiHruZ0sQn+3gcc24Hp1LoYcUOnzLAyuZaSsdj29N3+wp2QgeknAwAAKPj3w3a9ZZ4xKKkdeSd+FqbZeqx6+udSwRi0bhwEcK+x6DA9mIgBAAAoUtKCrofnUc6Z8lvbAKIK8jr2LjYIyrbzQHPbbwJg109cljRXrAEAAAMooYLLr7lYEcJR4h+GxnJy6hbTIlgG+W6Z9AgSoDA0umERfiaHiAIAACiiNlbWRexhufh8OG8uXypP4kEP1a2jrQymdJj7tUpZ+0eZxpapAQAAKHNdoIdJZBxtlfc8kyyQYVsmmb+fiel/g5VUO6cNkxKcyOshi1wAAAABKNT2aLJcuGcisgmyw3dzPrVshdLchmVAtehQQLG3b0QBfTeZHUMBAAAodoVjeSdLShBr1AgsM2eti5gfSP114l6vyDQO1hUqmLG4YhkunQAAAAEDKORHOcB+oLEkBtPDmttsJuJolN7WLBjMVlr7xXBe7p7eMLvDVBsDAAAoq+jo8B05vdC8Q9z+7nEKf/JZBjnDe/fS6R9j5ZVAJrPDSaPk4AAAACg3ya95WHsrBiFlKJog7XOYk/WY4sCdUMtr7nXK5YcR78L5RqDfAAAAAyh4suBeTwg7wLIwiMQ/jOBgJWA1lXozBGjKRuNPW+IYGffGTM5kAAAAKLBqZKYaOCz/e3FoRg75D78TDGdHBVyezOKMp78cFafOCJmWqlACAAAoIVqZfVxymwbItL4ivRt4L1e0kCdifPPRoAv/HcFxCqjCr/qj6AEAAAEouqnCR1fV0hhN3vi+9ZfWbvt5eqAvpYD+tQOC+NwCpNATs7TebAMAACjGcESKoAmxbic3sJbkeRVMqWZpe+3N6mEGMSV9oyYMD6lSM3OJAQAA
Block8 state: 9
Block8 hash: 7829820
Block8 proof: /kMBMK+EjxPXbw9zULmYJ4WLpZbeck40dY2WTypSRcVpAFWNO7H4rzMCAAAbbqOWLqr0IgXXIPt0Hx2R93bxXPQWPDqpE/AgFc1eVwPxXnBTAAAAMCLp0GX3xUJixgvk/2DvS2+ryuh4v2m+GrCKC3SI/LBLRTD+7ZQAAAAtKzejIioCWnszg0ephMObNzhckKCLcV+346XvX0k7LA17x4ePAwAAx9J8F8XZBEOQ8wcAFNPbMOSQgF/cWke7R9hcaJQjdi/Zdb7D5gEAAJG1jGTC/tCssRn5mqOSrVApVwiqcfL8GiRFd5sT68LvUVX4hsYCAAAw6fbbAK8NQ0lAIJR2DJDwiKDY6dQouUtSL8+ahBDmzlcxky63YwMAAJrxPLPmg0qwKpU88OgORHniGBDHQF8/I91H2RQgMTEhbrYVYpgBAAA=
Block8 wrap proof: ASildR+LW7TQ7lYPa6+7pqOcVh9pz5FYhcgd73iF/aZIvgkVzcaIAQAAKPgcQo+faBFt66FI1yykC1pHeFZhbViK3a4q37/f/yplUwY5040DAAABAyiuFcFun0MM74SB+ziiMw1CtsO8GSs7UTv/PGEE7vtbmVmiHBrqAQAAKLeIgXzmLwN1PDLesC/t5o6TUYvOpPQxYSLDrNYjlbORvQI+wvECAAAoyP7NQ6qtkcdjZZQHSNE1dSE6zyGJwFy6ls0BtrhvG1wj/XKztAMAAAMoISqdE38P+DHXq1B8+nemliKPY8IIzOYmoWmYOXZ0682W9c5+kQIAACj71fCWyuc5Kcv4/kg4DbCK0c3qMH1Wr72g9aYhyNtS4oTrU287AQAAKOgxoGIdkDRsfOfzTOSRJ/9L/BHLCnc4MJhX3rPsM16ad8LdTjoAAAABKPVh5oEk25+gcxiU6gENPdOKCo8ZP9gwsyxBDIy90qzE3Q2WK4YDAAAoEEkbdEPB6KOe+5S9EoZnD4ALvIzbnslsUUlwkWy0qfE8llbiDgAAAAEDKN2KBPUuTTJK9eY96pdEzcjHKfVsZZ2tvJ6nCvNCB3DwCkXx14kDAAAoOPe4JzknlAySyL+ttPcYQ+Dlt1CR/l4DgldEs0NqV4dHSgR9GgIAACifE8LMglU4tmSldNJdWlBZjFn/onu1TnBsArUseqncu2LlYuuWAgAAAyiEvW0f5nCVuMsr/8AzuzMMX+kzepEahwI3+wrNK1iddD8ickbkAQAAKOMs6UxtZ4JebbBm3jgPqTi/1MXZR26CTEA8rEqgkVE4bFJaJqIAAAAoenwhSWrf17In7Co/Eid5XRAU5P76WzD0gd8h2TGsu7VKnw0w3QIAAAEopViraT8BY3TGc0kqTGz4cOrhH0GfHqO/0w7M61pwrFWeF2EZMwIAACgc9XDs9rGjyrOKkQlR1nO0hnhjW3zSLKlYNPd/yyjw9ay7knWQAAAA
Block9 state: 10
Block9 hash: 628710755
Block9 proof: /kMBMImrxAhIa4s1mvL2anrkePHyMYGsqtXcrdPQp8FGnzJYpdPzArYCAABjq9Om0pT4CSgj6fyQR9rv+YbNMvWKzQXC3ZuSsym4C4QSnj9sAgAAMMetcHmhj54txZcg9O+8szlfe6cApn94DKuR3I9K7Urg3emN3fgAAADMe7jwLvBxY9lq7s5jpOlpvZFwaUiu2KTQFtLquCShNrVjcwEUAgAA7T7os91ipZNjUGewYujFMtQGuCIqMu/fEPBw1tzGH3HydnfFOgAAAKD//4UUM3TwkZOnu2FEEepEhhr74usqkiIA6kHogUfeEsBwKYIAAAAwzYes601HkuhuGXf4UkmU4ACh+NDM2eBihC1oiaDrqpbXrCc/kQAAALGR7nRQEoUvbGRIOSsMQ3tkKmbpMBJSZnrdSKdJiBrVO25BYacAAAA=
Block9 wrap proof: ASit0unkGM6ed5J3vRO42ARUCdCDx5LS1iLqY4jNfPSWjeI1OjnZAQAAKDXSYAxnDhRxc2JEX26CKwZebnO1EUoznkAe+Dfk0Og8E4CsmswBAAABAyiObDpA+1Qnvnjn5SQR7CFXTPzVjxLsp70m0mEBIcg8cf7UD7oRAgAAKO+FtFMq9MaSVnQ0i4czr3qIZ3Lf3ulVyJwjzQdAI1zQsPXOg10DAAAoWZj6lRPyCmPihb62gjhb/I4K2G+ErAjMdnX6mOxRM56575SBuAMAAAMom6foE9qpDs+S8QoyfKB634i1NK49XjevU47PFK7WLs2JQag38AAAACiw9rfOSXsjxpAzZgoNuye54Bj4bi8nR8JhkD8uQ9MAUY0o64TaAQAAKP05OauJ694NM/h9Yk1N/kCB5dGOuBQMiOZW77Jx0sqNdxJPJWwDAAABKLVnXEzdiYHCijqwjmzHBV3xBPV9d8DOVvzQRtYxPL1zbWZABFACAAAowCQU5N2ecM5+MFupFgcsnjTjW7wOFgzVCddcRW5YzgZ0WRcGyQEAAAEDKNyT89HzoPBlv/Ee/8VxAnyzb8qlqY2lN443FoYUyv6JsGKLWO0BAAAosLb7/nHgQPktsOC5+DciRKBFVvzuKbKiYEwZLpnk7LL3JtBSbwEAACjk9yLCaJGez59j4vxLqB7aY4idIpm+UAMxzOQ9jwh4LAhCf+OeAQAAAyjcWD9u0K2vz9T+Pcu18oC8No3Cs31wzQ8zboGXC0cZlOd+DsquAQAAKMKzFFUtAL3N1feX6UPZzXV+vMjP+KDUxRRyMfJH1V62O8CDHdEAAAAo0XcrXFTv7ytapnawql5tNeMjoDXwbEtLP+6XoE5Dq7FO3MT7dwIAAAEoWwr39PoUX7q67cG1Kgc4cGlcC9WsCHak+G5+0A7ROW2nXL9xBwEAAChUM3G15rB+p8U2byFN/x3UDSQ6TWMVeqc+02rK1uCKlDYINMM3AwAA
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment