{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":226987753,"defaultBranch":"master","name":"proof-systems","ownerLogin":"o1-labs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-12-09T23:27:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34635390?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727382506.0","currentOid":""},"activityList":{"items":[{"before":"173b6c23301be557b873011447a93ac251a795e4","after":"dac23e12af546645991570e101a161e8576bb668","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T20:40:58.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: 347899ada9c6a1a8568dca3fff022c349346892c","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/347899ada9c6a1a8568dca3fff022c349346892c/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/347899ada9c6a1a8568dca3fff022c349346892c\"><tt>347899a</tt></a>"}},{"before":"bb27ba8ce51289f93e5f109bc000615c18ce5fd9","after":"173b6c23301be557b873011447a93ac251a795e4","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T20:39:44.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: 43c73b01b8fead47a4db8797700797f49e51058e","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/43c73b01b8fead47a4db8797700797f49e51058e/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/43c73b01b8fead47a4db8797700797f49e51058e\"><tt>43c73b0</tt></a>"}},{"before":"af03d19827a54254ef337b4a701fbc3c56f1e4fb","after":null,"ref":"refs/heads/dw/move-inner-prod-field-helpers","pushedAt":"2024-09-26T20:28:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"}},{"before":"43c73b01b8fead47a4db8797700797f49e51058e","after":"347899ada9c6a1a8568dca3fff022c349346892c","ref":"refs/heads/master","pushedAt":"2024-09-26T20:28:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"Merge pull request #2629 from o1-labs/dw/move-inner-prod-field-helpers\n\nPoly_commitment/utils: move inner_prod into field_helpers","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2549113735\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2629\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2629/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2629\">#2629</a> from o1-labs/dw/move-inner-prod-field-helpers"}},{"before":"c4ac2c9994ae19f105f76a7251a06ca094f99293","after":null,"ref":"refs/heads/dw/move-product-into-field-helpers","pushedAt":"2024-09-26T20:28:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"}},{"before":"bfd30888c8090db4c02df827c4eaf6f256db7bb4","after":"43c73b01b8fead47a4db8797700797f49e51058e","ref":"refs/heads/master","pushedAt":"2024-09-26T20:28:09.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"Merge pull request #2628 from o1-labs/dw/move-product-into-field-helpers\n\nPoly_commitment/utils: move product into field_helpers","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2549111760\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2628\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2628/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2628\">#2628</a> from o1-labs/dw/move-product-into-field-helpers"}},{"before":"530bfb47c339954b17f93708be24e076c63107c1","after":"84767829ffabae6a2ffbfdd9e4ed2b9d1b7d159c","ref":"refs/heads/marc@generic_constant_expr","pushedAt":"2024-09-26T17:22:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcbeunardeau88","name":null,"path":"/marcbeunardeau88","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/175130326?s=80&v=4"},"commit":{"message":"comment","shortMessageHtmlLink":"comment"}},{"before":"81e09379aebff7b208b5f967c39dc8d7fdf06c1b","after":"530bfb47c339954b17f93708be24e076c63107c1","ref":"refs/heads/marc@generic_constant_expr","pushedAt":"2024-09-26T17:10:18.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"marcbeunardeau88","name":null,"path":"/marcbeunardeau88","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/175130326?s=80&v=4"},"commit":{"message":"another ugly tentative for conversion term to expr","shortMessageHtmlLink":"another ugly tentative for conversion term to expr"}},{"before":"5538893d0a630d5adec664155e0280bd9ca61476","after":"bb27ba8ce51289f93e5f109bc000615c18ce5fd9","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T17:07:35.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: bfd30888c8090db4c02df827c4eaf6f256db7bb4","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/bfd30888c8090db4c02df827c4eaf6f256db7bb4/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/bfd30888c8090db4c02df827c4eaf6f256db7bb4\"><tt>bfd3088</tt></a>"}},{"before":"8f7aeb630ebe764f796ebcb0909aef5a06463b77","after":"af03d19827a54254ef337b4a701fbc3c56f1e4fb","ref":"refs/heads/dw/move-inner-prod-field-helpers","pushedAt":"2024-09-26T17:03:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"Poly_commitment/utils: move inner_prod into field_helpers\n\nSame argument as product.","shortMessageHtmlLink":"Poly_commitment/utils: move inner_prod into field_helpers"}},{"before":"f1e651ae36aa2639c54e40bd6108c722487179a1","after":"c4ac2c9994ae19f105f76a7251a06ca094f99293","ref":"refs/heads/dw/move-product-into-field-helpers","pushedAt":"2024-09-26T17:03:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"Poly_commitment/utils: move product into field_helpers\n\nIt is strictly related to fields, and only used by poly-commitment.\nWorth moving into field_helpers","shortMessageHtmlLink":"Poly_commitment/utils: move product into field_helpers"}},{"before":null,"after":"4bb67b4a3b5a7c6a25e47d480d03fdb28583af47","ref":"refs/heads/dw/move-srs-into-evaluation-proof","pushedAt":"2024-09-26T17:02:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"WIP: move IPA srs into evaluation_proof (soon to be renamed into ipa)","shortMessageHtmlLink":"WIP: move IPA srs into evaluation_proof (soon to be renamed into ipa)"}},{"before":"0ca38d8cb955c0734b7eabd38a44e85534596b4c","after":null,"ref":"refs/heads/dw/stop-runnin-ivc-heavy-tests","pushedAt":"2024-09-26T16:55:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"}},{"before":"2fcdbc19db53dd12e22307818f0bb5b4ef30bc65","after":"bfd30888c8090db4c02df827c4eaf6f256db7bb4","ref":"refs/heads/master","pushedAt":"2024-09-26T16:55:32.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"Merge pull request #2631 from o1-labs/dw/stop-runnin-ivc-heavy-tests\n\nImproving CI speed","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2551029847\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2631\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2631/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2631\">#2631</a> from o1-labs/dw/stop-runnin-ivc-heavy-tests"}},{"before":null,"after":"0ca38d8cb955c0734b7eabd38a44e85534596b4c","ref":"refs/heads/dw/stop-runnin-ivc-heavy-tests","pushedAt":"2024-09-26T16:14:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"IVC + MSM: make some tests heavy","shortMessageHtmlLink":"IVC + MSM: make some tests heavy"}},{"before":null,"after":"81e09379aebff7b208b5f967c39dc8d7fdf06c1b","ref":"refs/heads/marc@generic_constant_expr","pushedAt":"2024-09-26T15:43:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcbeunardeau88","name":null,"path":"/marcbeunardeau88","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/175130326?s=80&v=4"},"commit":{"message":"small fixes","shortMessageHtmlLink":"small fixes"}},{"before":"cb2ee49804ba13eda6b31e48847d1f7b09b2bc68","after":"5538893d0a630d5adec664155e0280bd9ca61476","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T10:35:29.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: 2fcdbc19db53dd12e22307818f0bb5b4ef30bc65","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/2fcdbc19db53dd12e22307818f0bb5b4ef30bc65/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/2fcdbc19db53dd12e22307818f0bb5b4ef30bc65\"><tt>2fcdbc1</tt></a>"}},{"before":"65707f843c668236a3ad12094460c25e8b4f49f5","after":null,"ref":"refs/heads/dw/move-open-method-def-in-srs","pushedAt":"2024-09-26T10:23:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"}},{"before":"1cdd48f99fa1e5bfc0258b38781663ef7dc900e0","after":"2fcdbc19db53dd12e22307818f0bb5b4ef30bc65","ref":"refs/heads/master","pushedAt":"2024-09-26T10:23:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"Merge pull request #2627 from o1-labs/dw/move-open-method-def-in-srs\n\nPoly_commitment: move open SRS into srs.rs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2549105686\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2627\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2627/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2627\">#2627</a> from o1-labs/dw/move-open-method-def-in-srs"}},{"before":null,"after":"af355d07efc6a2ce85c4d45559ef702de20f2481","ref":"refs/heads/dw/decrease-degree-monomials","pushedAt":"2024-09-26T09:55:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"MVPoly: use the type for the maximum degree","shortMessageHtmlLink":"MVPoly: use the type for the maximum degree"}},{"before":"21fa36b6fa9a5940f1fa802721ea4a73c1111497","after":"cb2ee49804ba13eda6b31e48847d1f7b09b2bc68","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T08:55:35.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: 1cdd48f99fa1e5bfc0258b38781663ef7dc900e0","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/1cdd48f99fa1e5bfc0258b38781663ef7dc900e0/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/1cdd48f99fa1e5bfc0258b38781663ef7dc900e0\"><tt>1cdd48f</tt></a>"}},{"before":"941f9e08d752211f11006eac21593ae23ae9a85d","after":null,"ref":"refs/heads/dw/move-verify-method-def-in-srs","pushedAt":"2024-09-26T08:43:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"}},{"before":"89d30cf41d9aeaf105479ea3ec9930e3622a264f","after":"1cdd48f99fa1e5bfc0258b38781663ef7dc900e0","ref":"refs/heads/master","pushedAt":"2024-09-26T08:43:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"Merge pull request #2626 from o1-labs/dw/move-verify-method-def-in-srs\n\nPoly_commitment: move verify method on SRS from commitment into srs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2549091811\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2626\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2626/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2626\">#2626</a> from o1-labs/dw/move-verify-method-def-in-srs"}},{"before":"c2f98cd8f421b01b6dfc72f3bdd6dd8b1fec438e","after":"21fa36b6fa9a5940f1fa802721ea4a73c1111497","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T08:43:04.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: e7bd9c7cbd9e31420a8e56907288cae7e7a631ca","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/e7bd9c7cbd9e31420a8e56907288cae7e7a631ca/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/e7bd9c7cbd9e31420a8e56907288cae7e7a631ca\"><tt>e7bd9c7</tt></a>"}},{"before":"6fec9a6f5226598688178ef9f1ba8bc04755eeae","after":"c2f98cd8f421b01b6dfc72f3bdd6dd8b1fec438e","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T08:42:31.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: 89d30cf41d9aeaf105479ea3ec9930e3622a264f","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/89d30cf41d9aeaf105479ea3ec9930e3622a264f/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/89d30cf41d9aeaf105479ea3ec9930e3622a264f\"><tt>89d30cf</tt></a>"}},{"before":"3c56155b66cd3219fc937d4f4ac2c2621bf4f2c2","after":"6fec9a6f5226598688178ef9f1ba8bc04755eeae","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T08:42:08.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: 84d571fffcc868bed119d78ca9848cff4b9f7fd6","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/84d571fffcc868bed119d78ca9848cff4b9f7fd6/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/84d571fffcc868bed119d78ca9848cff4b9f7fd6\"><tt>84d571f</tt></a>"}},{"before":"e02b0ef682705bc268360abe0e222dacae1a3041","after":"3c56155b66cd3219fc937d4f4ac2c2621bf4f2c2","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T08:41:57.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: 60d147a60d203d295128fc3df53d20b1305eb67b","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/60d147a60d203d295128fc3df53d20b1305eb67b/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/60d147a60d203d295128fc3df53d20b1305eb67b\"><tt>60d147a</tt></a>"}},{"before":"f07e06311961f23216a98ffcbc208543d2335b52","after":"e02b0ef682705bc268360abe0e222dacae1a3041","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T08:41:47.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: 55f57be1c7bacf1d7bdff3f2ad709d83c94c8a52","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/55f57be1c7bacf1d7bdff3f2ad709d83c94c8a52/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/55f57be1c7bacf1d7bdff3f2ad709d83c94c8a52\"><tt>55f57be</tt></a>"}},{"before":"2a6b71e047690c4bdb4906267d5b82b056854a35","after":"f07e06311961f23216a98ffcbc208543d2335b52","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T08:41: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: d4a028d4b55ca1553cc99539ce7c0f5c9434f21c","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/d4a028d4b55ca1553cc99539ce7c0f5c9434f21c/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/d4a028d4b55ca1553cc99539ce7c0f5c9434f21c\"><tt>d4a028d</tt></a>"}},{"before":"7452c42349e6c4f30b10346e0cdc73110c12e80f","after":null,"ref":"refs/heads/dw/srs-move-trait-impl-in-srs-module","pushedAt":"2024-09-26T08:27:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNlQyMDo0MDo1OC4wMDAwMDBazwAAAATB8Q32","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNlQwODoyNzo1Mi4wMDAwMDBazwAAAATBN8OS"}},"title":"Activity · o1-labs/proof-systems"}