{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":721391599,"defaultBranch":"main","name":"stark-book","ownerLogin":"zksecurity","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-21T00:58:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/130377021?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726460870.0","currentOid":""},"activityList":{"items":[{"before":"7dfbac926bb20401922b05d8dede4f29b760b675","after":"0f452adf09dff3368372fd2eb0679a5e41b4b10d","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T17:03:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: e01ff2f1c0273357462462acd7f5e8912270a96b","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/e01ff2f1c0273357462462acd7f5e8912270a96b/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/e01ff2f1c0273357462462acd7f5e8912270a96b\"><tt>e01ff2f</tt></a>"}},{"before":"5d37bbd4a6920c034d9f4c98ab359969b9732bd7","after":"e01ff2f1c0273357462462acd7f5e8912270a96b","ref":"refs/heads/main","pushedAt":"2024-09-19T16:54:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mimoo","name":"David Wong","path":"/mimoo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1316043?s=80&v=4"},"commit":{"message":"Merge pull request #7 from zksecurity/add-bootloader-docs\n\nAdd bootloader docs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2527473982\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zksecurity/stark-book/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zksecurity/stark-book/pull/7/hovercard\" href=\"https://github.com/zksecurity/stark-book/pull/7\">#7</a> from zksecurity/add-bootloader-docs"}},{"before":"7e4f0ced5f594984a922ff4ac8aa4405fae9654a","after":"a8c1d30bc3f6655dce695ecc17826fb78b2e11d5","ref":"refs/heads/add-bootloader-docs","pushedAt":"2024-09-16T11:37:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mellowcroc","name":"Jason Park","path":"/mellowcroc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94618524?s=80&v=4"},"commit":{"message":"add bootloader docs","shortMessageHtmlLink":"add bootloader docs"}},{"before":"e4009bee740ab0241f2085632d137deb4b193f84","after":"7e4f0ced5f594984a922ff4ac8aa4405fae9654a","ref":"refs/heads/add-bootloader-docs","pushedAt":"2024-09-16T11:36:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mellowcroc","name":"Jason Park","path":"/mellowcroc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94618524?s=80&v=4"},"commit":{"message":"add bootloader docs","shortMessageHtmlLink":"add bootloader docs"}},{"before":"22e88c70062bcfdd2de43ff7d406530a2ac2c8e6","after":"e4009bee740ab0241f2085632d137deb4b193f84","ref":"refs/heads/add-bootloader-docs","pushedAt":"2024-09-16T11:31:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mellowcroc","name":"Jason Park","path":"/mellowcroc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94618524?s=80&v=4"},"commit":{"message":"add bootloader docs","shortMessageHtmlLink":"add bootloader docs"}},{"before":null,"after":"22e88c70062bcfdd2de43ff7d406530a2ac2c8e6","ref":"refs/heads/add-bootloader-docs","pushedAt":"2024-09-16T04:27:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mellowcroc","name":"Jason Park","path":"/mellowcroc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94618524?s=80&v=4"},"commit":{"message":"add bootloader docs","shortMessageHtmlLink":"add bootloader docs"}},{"before":"33bf9fcbe1d72c8eb8072c5611ef44bc98d2e979","after":"7dfbac926bb20401922b05d8dede4f29b760b675","ref":"refs/heads/gh-pages","pushedAt":"2024-06-11T06:18:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 5d37bbd4a6920c034d9f4c98ab359969b9732bd7","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/5d37bbd4a6920c034d9f4c98ab359969b9732bd7/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/5d37bbd4a6920c034d9f4c98ab359969b9732bd7\"><tt>5d37bbd</tt></a>"}},{"before":"8638f58a4680f26f17a8f3c15607ab7311c76b11","after":"5d37bbd4a6920c034d9f4c98ab359969b9732bd7","ref":"refs/heads/main","pushedAt":"2024-06-11T06:10:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mellowcroc","name":"Jason Park","path":"/mellowcroc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94618524?s=80&v=4"},"commit":{"message":"fix minor typos","shortMessageHtmlLink":"fix minor typos"}},{"before":"eb8e84a8514938d195fbd0446a8b581e16a38b68","after":"33bf9fcbe1d72c8eb8072c5611ef44bc98d2e979","ref":"refs/heads/gh-pages","pushedAt":"2024-04-12T13:00:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 8638f58a4680f26f17a8f3c15607ab7311c76b11","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/8638f58a4680f26f17a8f3c15607ab7311c76b11/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/8638f58a4680f26f17a8f3c15607ab7311c76b11\"><tt>8638f58</tt></a>"}},{"before":"69e8b38ef6a2057b8e173685f934021fcc7001e3","after":"8638f58a4680f26f17a8f3c15607ab7311c76b11","ref":"refs/heads/main","pushedAt":"2024-04-12T12:51:47.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mimoo","name":"David Wong","path":"/mimoo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1316043?s=80&v=4"},"commit":{"message":"Merge pull request #6 from FilipLaurentiu/filip/stark_constraints_representation\n\nThe vanishing polynomial in STARK is build using all the values from the evaluation domain as roots.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2231613118\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zksecurity/stark-book/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zksecurity/stark-book/pull/6/hovercard\" href=\"https://github.com/zksecurity/stark-book/pull/6\">#6</a> from FilipLaurentiu/filip/stark_constraints_rep…"}},{"before":"62c3a0a81115830da4d26f3552134f8a48134e99","after":null,"ref":"refs/heads/kata/proof-splitter","pushedAt":"2023-12-25T23:53:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"katat","name":"Kata Choi","path":"/katat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1587352?s=80&v=4"}},{"before":"7c8ebe6c96b9cf993eb7bce0d6ea10094d11cb77","after":"eb8e84a8514938d195fbd0446a8b581e16a38b68","ref":"refs/heads/gh-pages","pushedAt":"2023-12-25T12:17:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 69e8b38ef6a2057b8e173685f934021fcc7001e3","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/69e8b38ef6a2057b8e173685f934021fcc7001e3/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/69e8b38ef6a2057b8e173685f934021fcc7001e3\"><tt>69e8b38</tt></a>"}},{"before":"938098512163da0fb6c037f2f690a39ce11f9c85","after":"69e8b38ef6a2057b8e173685f934021fcc7001e3","ref":"refs/heads/main","pushedAt":"2023-12-25T12:09:20.000Z","pushType":"pr_merge","commitsCount":12,"pusher":{"login":"mimoo","name":"David Wong","path":"/mimoo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1316043?s=80&v=4"},"commit":{"message":"Merge pull request #5 from zksecurity/kata/proof-splitter\n\nproofreads proof splitter","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2054729907\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zksecurity/stark-book/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zksecurity/stark-book/pull/5/hovercard\" href=\"https://github.com/zksecurity/stark-book/pull/5\">#5</a> from zksecurity/kata/proof-splitter"}},{"before":"cc62a6c9f47db8f53f2b2749e8ade7c2e19dd763","after":"62c3a0a81115830da4d26f3552134f8a48134e99","ref":"refs/heads/kata/proof-splitter","pushedAt":"2023-12-23T09:30:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"katat","name":"Kata Choi","path":"/katat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1587352?s=80&v=4"},"commit":{"message":"format annotations","shortMessageHtmlLink":"format annotations"}},{"before":"b4799922df8049f6062095c61761ab30f43550f2","after":"cc62a6c9f47db8f53f2b2749e8ade7c2e19dd763","ref":"refs/heads/kata/proof-splitter","pushedAt":"2023-12-23T09:27:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"katat","name":"Kata Choi","path":"/katat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1587352?s=80&v=4"},"commit":{"message":"wording","shortMessageHtmlLink":"wording"}},{"before":"4e4cc540ee8619e8e96b148b39bfe5e21421c36a","after":"b4799922df8049f6062095c61761ab30f43550f2","ref":"refs/heads/kata/proof-splitter","pushedAt":"2023-12-23T09:18:21.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"katat","name":"Kata Choi","path":"/katat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1587352?s=80&v=4"},"commit":{"message":"annotations as code snippets","shortMessageHtmlLink":"annotations as code snippets"}},{"before":"0064ee3a44747dade44086884090684a84c1a3d0","after":"938098512163da0fb6c037f2f690a39ce11f9c85","ref":"refs/heads/main","pushedAt":"2023-12-22T10:50:47.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mimoo","name":"David Wong","path":"/mimoo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1316043?s=80&v=4"},"commit":{"message":"Merge pull request #2 from zksecurity/kata/proof-splitter\n\nproof splitter","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2053509714\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zksecurity/stark-book/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zksecurity/stark-book/pull/2/hovercard\" href=\"https://github.com/zksecurity/stark-book/pull/2\">#2</a> from zksecurity/kata/proof-splitter"}},{"before":"355a8282f731944339f81dadb6686a785e547ae8","after":"4e4cc540ee8619e8e96b148b39bfe5e21421c36a","ref":"refs/heads/kata/proof-splitter","pushedAt":"2023-12-22T07:35:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"katat","name":"Kata Choi","path":"/katat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1587352?s=80&v=4"},"commit":{"message":"wording","shortMessageHtmlLink":"wording"}},{"before":null,"after":"355a8282f731944339f81dadb6686a785e547ae8","ref":"refs/heads/kata/proof-splitter","pushedAt":"2023-12-22T07:32:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"katat","name":"Kata Choi","path":"/katat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1587352?s=80&v=4"},"commit":{"message":"proof splitter","shortMessageHtmlLink":"proof splitter"}},{"before":"c9eff92afeffbd923b2ef47050424e661b77c0cd","after":"7c8ebe6c96b9cf993eb7bce0d6ea10094d11cb77","ref":"refs/heads/gh-pages","pushedAt":"2023-12-21T12:03:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 0064ee3a44747dade44086884090684a84c1a3d0","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/0064ee3a44747dade44086884090684a84c1a3d0/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/0064ee3a44747dade44086884090684a84c1a3d0\"><tt>0064ee3</tt></a>"}},{"before":"657ca7cebcd195caae247ad10f838785f1a5f62c","after":"c9eff92afeffbd923b2ef47050424e661b77c0cd","ref":"refs/heads/gh-pages","pushedAt":"2023-12-21T11:58:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: d656596023b99fbf3bad0ae5deee04affb3075af","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/d656596023b99fbf3bad0ae5deee04affb3075af/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/d656596023b99fbf3bad0ae5deee04affb3075af\"><tt>d656596</tt></a>"}},{"before":"d656596023b99fbf3bad0ae5deee04affb3075af","after":"0064ee3a44747dade44086884090684a84c1a3d0","ref":"refs/heads/main","pushedAt":"2023-12-21T11:55:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mimoo","name":"David Wong","path":"/mimoo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1316043?s=80&v=4"},"commit":{"message":"more on facts (bis)","shortMessageHtmlLink":"more on facts (bis)"}},{"before":"910e7187fa170b451dc09ddf2026f86b9f19dd69","after":"d656596023b99fbf3bad0ae5deee04affb3075af","ref":"refs/heads/main","pushedAt":"2023-12-21T11:50:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mimoo","name":"David Wong","path":"/mimoo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1316043?s=80&v=4"},"commit":{"message":"more on facts","shortMessageHtmlLink":"more on facts"}},{"before":"b6003fc7e83549c2c3dc94544ed76e0ec042da5b","after":"657ca7cebcd195caae247ad10f838785f1a5f62c","ref":"refs/heads/gh-pages","pushedAt":"2023-12-21T11:44:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 910e7187fa170b451dc09ddf2026f86b9f19dd69","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/910e7187fa170b451dc09ddf2026f86b9f19dd69/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/910e7187fa170b451dc09ddf2026f86b9f19dd69\"><tt>910e718</tt></a>"}},{"before":"d029ee599500964e2798dda60f2d66ce83977da5","after":"910e7187fa170b451dc09ddf2026f86b9f19dd69","ref":"refs/heads/main","pushedAt":"2023-12-21T11:36:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mimoo","name":"David Wong","path":"/mimoo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1316043?s=80&v=4"},"commit":{"message":"more on layouts","shortMessageHtmlLink":"more on layouts"}},{"before":"b860bf3241f27afb3c3600b1d86088949cce35af","after":"b6003fc7e83549c2c3dc94544ed76e0ec042da5b","ref":"refs/heads/gh-pages","pushedAt":"2023-12-21T11:35:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: d029ee599500964e2798dda60f2d66ce83977da5","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/d029ee599500964e2798dda60f2d66ce83977da5/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/d029ee599500964e2798dda60f2d66ce83977da5\"><tt>d029ee5</tt></a>"}},{"before":"d66d09be30d2eb83fd1c3a1d5adc5e3bbc1d6628","after":"d029ee599500964e2798dda60f2d66ce83977da5","ref":"refs/heads/main","pushedAt":"2023-12-21T11:27:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mimoo","name":"David Wong","path":"/mimoo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1316043?s=80&v=4"},"commit":{"message":"some updates","shortMessageHtmlLink":"some updates"}},{"before":"2e92a8ecb4177316aa9d4a67b32d0734d6da112b","after":"b860bf3241f27afb3c3600b1d86088949cce35af","ref":"refs/heads/gh-pages","pushedAt":"2023-12-21T11:13:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: d66d09be30d2eb83fd1c3a1d5adc5e3bbc1d6628","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/d66d09be30d2eb83fd1c3a1d5adc5e3bbc1d6628/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/d66d09be30d2eb83fd1c3a1d5adc5e3bbc1d6628\"><tt>d66d09b</tt></a>"}},{"before":"0f1eb71ad481714e9ef5827c79080ec51f84a202","after":"2e92a8ecb4177316aa9d4a67b32d0734d6da112b","ref":"refs/heads/gh-pages","pushedAt":"2023-12-21T11:12:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 94f74b9add3c70ede441c4c3ed589a1233b69f10","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/94f74b9add3c70ede441c4c3ed589a1233b69f10/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/94f74b9add3c70ede441c4c3ed589a1233b69f10\"><tt>94f74b9</tt></a>"}},{"before":"30dc0c7925c900682d462dc4f581ac812b19e87f","after":"0f1eb71ad481714e9ef5827c79080ec51f84a202","ref":"refs/heads/gh-pages","pushedAt":"2023-12-21T11:12:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 4ee05265e7cd485af55a5350b0bd31464ad1c8cc","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/zksecurity/stark-book/commit/4ee05265e7cd485af55a5350b0bd31464ad1c8cc/hovercard\" href=\"https://github.com/zksecurity/stark-book/commit/4ee05265e7cd485af55a5350b0bd31464ad1c8cc\"><tt>4ee0526</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNzowMzowNy4wMDAwMDBazwAAAAS7H8XS","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNzowMzowNy4wMDAwMDBazwAAAAS7H8XS","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0yMVQxMToxMjoxMy4wMDAwMDBazwAAAAPPfWdK"}},"title":"Activity · zksecurity/stark-book"}