{"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:1715250149.0","currentOid":""},"activityList":{"items":[{"before":"b34d008897db416be4e06a39a954620aaf3424d2","after":"ec6c48f0b344501431f0c29f0085b38366e2a6f3","ref":"refs/heads/zkvm/keccak/check-fold-steps","pushedAt":"2024-05-09T10:57:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"querolita","name":"Anaïs Querol","path":"/querolita","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16045022?s=80&v=4"},"commit":{"message":"check decomposable folding scheme with None for Sponge(Absorb(Only)), the rest of steps fails","shortMessageHtmlLink":"check decomposable folding scheme with None for Sponge(Absorb(Only)),…"}},{"before":"8bf73d32db2e2accc9dda6a44d3d517bb636733a","after":"640c3e5c4be2336181255879dec387f4cdc1081a","ref":"refs/heads/volhovm/1359-mdbook-linkcheck-fix-CI","pushedAt":"2024-05-09T10:37:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volhovm","name":"Misha Volkhov","path":"/volhovm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5604643?s=80&v=4"},"commit":{"message":"Install all deps as locked","shortMessageHtmlLink":"Install all deps as locked"}},{"before":"8d25ae383597dd14b2dbfa14fc2ef23d87fb4215","after":"8bf73d32db2e2accc9dda6a44d3d517bb636733a","ref":"refs/heads/volhovm/1359-mdbook-linkcheck-fix-CI","pushedAt":"2024-05-09T10:32:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"volhovm","name":"Misha Volkhov","path":"/volhovm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5604643?s=80&v=4"},"commit":{"message":"Add mdbook building to CI","shortMessageHtmlLink":"Add mdbook building to CI"}},{"before":"6d6d459814cd6f9eb9cb3b1b4d706d4b7ac52b54","after":null,"ref":"refs/heads/dw/reintroduce-more-tests","pushedAt":"2024-05-09T10:22:29.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":"8893254501a4dc7c2dd6ca81cf4bbccc78d08026","after":"2c779153fd54dc6e84c85cecf8603e0d4c9cc7c9","ref":"refs/heads/master","pushedAt":"2024-05-09T10:22:28.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 #2189 from o1-labs/dw/reintroduce-more-tests\n\no1VM: reintroduce more tests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2283929690\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2189\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2189/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2189\">#2189</a> from o1-labs/dw/reintroduce-more-tests"}},{"before":null,"after":"8d25ae383597dd14b2dbfa14fc2ef23d87fb4215","ref":"refs/heads/volhovm/1359-mdbook-linkcheck-fix-CI","pushedAt":"2024-05-09T10:13:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"volhovm","name":"Misha Volkhov","path":"/volhovm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5604643?s=80&v=4"},"commit":{"message":"Add mdbook building to CI","shortMessageHtmlLink":"Add mdbook building to CI"}},{"before":"db6513b01ee74e2452e4eda3bcda8265c9191dd6","after":null,"ref":"refs/heads/dw/idea-for-optim-in-comments","pushedAt":"2024-05-09T10:09:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"volhovm","name":"Misha Volkhov","path":"/volhovm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5604643?s=80&v=4"}},{"before":"69978eb6a9bbe1d3449f9879ce88cea52de1ac09","after":"8893254501a4dc7c2dd6ca81cf4bbccc78d08026","ref":"refs/heads/master","pushedAt":"2024-05-09T10:09:26.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"volhovm","name":"Misha Volkhov","path":"/volhovm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5604643?s=80&v=4"},"commit":{"message":"Merge pull request #2199 from o1-labs/dw/idea-for-optim-in-comments\n\nFolding: adding extra comments regarding optimisations and doc","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2287261619\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2199\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2199/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2199\">#2199</a> from o1-labs/dw/idea-for-optim-in-comments"}},{"before":"160afa1d0f2731b604d43e0aafa2132c34be511f","after":"6d6d459814cd6f9eb9cb3b1b4d706d4b7ac52b54","ref":"refs/heads/dw/reintroduce-more-tests","pushedAt":"2024-05-09T09:33:42.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":"o1VM: introduce more unitests with more instructions","shortMessageHtmlLink":"o1VM: introduce more unitests with more instructions"}},{"before":"1d1123912df91150d8e5bf58b3d5376ecf28a4c7","after":"db6513b01ee74e2452e4eda3bcda8265c9191dd6","ref":"refs/heads/dw/idea-for-optim-in-comments","pushedAt":"2024-05-09T09:19:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"Folding: adding an optimisation ideas\n\nBased on previous discussions with the team.\nIt might be non negligeable speed improvements as a few computations are\nhappening in the folding library.","shortMessageHtmlLink":"Folding: adding an optimisation ideas"}},{"before":null,"after":"1d1123912df91150d8e5bf58b3d5376ecf28a4c7","ref":"refs/heads/dw/idea-for-optim-in-comments","pushedAt":"2024-05-09T09: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":"Folding: adding extra comments regarding optimisations and doc","shortMessageHtmlLink":"Folding: adding extra comments regarding optimisations and doc"}},{"before":"c4e60370933a7494f0cfec7aad9f97d08d9ca857","after":"0fdc5bc29fd15bc38278be7a82a22248280f96ee","ref":"refs/heads/fabrizio-m/absorb-in-folding","pushedAt":"2024-05-08T20:09:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabrizio-m","name":"Fabrizio Muraca","path":"/fabrizio-m","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49374826?s=80&v=4"},"commit":{"message":"clippy","shortMessageHtmlLink":"clippy"}},{"before":null,"after":"c4e60370933a7494f0cfec7aad9f97d08d9ca857","ref":"refs/heads/fabrizio-m/absorb-in-folding","pushedAt":"2024-05-08T20:07:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fabrizio-m","name":"Fabrizio Muraca","path":"/fabrizio-m","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49374826?s=80&v=4"},"commit":{"message":"absorb instances in folding","shortMessageHtmlLink":"absorb instances in folding"}},{"before":null,"after":"63f4d9c4ec5c913ea21d0f299c21f47459f5348a","ref":"refs/heads/dw/implement-single-instruction-trace","pushedAt":"2024-05-08T19:44:25.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":"Optimism: implement TraceT to get domain size\n\nI think we will need to stop one day the insanity of typing everything,\neverywhere :).","shortMessageHtmlLink":"Optimism: implement TraceT to get domain size"}},{"before":"4921c68939479b6d3a8ff176638eb99d68c18962","after":"87f21f7567e008ec18748cceed41bbc7e1dc21b3","ref":"refs/heads/vendoring","pushedAt":"2024-05-08T18:43:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joseandro","name":"Joseandro Luiz","path":"/joseandro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/900097?s=80&v=4"},"commit":{"message":"Use the --offline parameter to conform with the way we handle vendored depdendencies in Mina CI","shortMessageHtmlLink":"Use the --offline parameter to conform with the way we handle vendore…"}},{"before":"972a2adf50226758cb39786d99656a85f78576e8","after":"b34d008897db416be4e06a39a954620aaf3424d2","ref":"refs/heads/zkvm/keccak/check-fold-steps","pushedAt":"2024-05-08T18:20:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"querolita","name":"Anaïs Querol","path":"/querolita","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16045022?s=80&v=4"},"commit":{"message":"include decomposable example only for Absorb(Only)","shortMessageHtmlLink":"include decomposable example only for Absorb(Only)"}},{"before":null,"after":"972a2adf50226758cb39786d99656a85f78576e8","ref":"refs/heads/zkvm/keccak/check-fold-steps","pushedAt":"2024-05-08T17:51:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"querolita","name":"Anaïs Querol","path":"/querolita","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16045022?s=80&v=4"},"commit":{"message":"check constraints of keccak steps independently without selectors","shortMessageHtmlLink":"check constraints of keccak steps independently without selectors"}},{"before":"8dca37ce9e98e741323df71e27a7ac0b8c36e5b9","after":null,"ref":"refs/heads/folding/doc/relax","pushedAt":"2024-05-08T17:03:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"querolita","name":"Anaïs Querol","path":"/querolita","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16045022?s=80&v=4"}},{"before":"d6409691f8d5698cacca976162bca38d4d4c3d53","after":"69978eb6a9bbe1d3449f9879ce88cea52de1ac09","ref":"refs/heads/master","pushedAt":"2024-05-08T17:03:52.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"querolita","name":"Anaïs Querol","path":"/querolita","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16045022?s=80&v=4"},"commit":{"message":"Merge pull request #2195 from o1-labs/folding/doc/relax\n\nBasic docs for relax-related parts of folding","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2285884753\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2195\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2195/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2195\">#2195</a> from o1-labs/folding/doc/relax"}},{"before":"1dd7ed8ea03cce94ab8bbd290b3dd82764035f41","after":null,"ref":"refs/heads/volhovm/1359-add-mdbook-linkcheck-fork","pushedAt":"2024-05-08T16:41:12.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":"5a740e331add7db4ef53548a4bb73561713cad64","after":"d6409691f8d5698cacca976162bca38d4d4c3d53","ref":"refs/heads/master","pushedAt":"2024-05-08T16:41:11.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 #2194 from o1-labs/volhovm/1359-add-mdbook-linkcheck-fork\n\nAdd mdbook-linkcheck support via o1labs fork [5min]","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2285709090\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2194\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2194/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2194\">#2194</a> from o1-labs/volhovm/1359-add-mdbook-linkche…"}},{"before":"49ca17544fbbfb60fc816c2fde697a851d949b8c","after":"7115aeb418b11b968875d91cab435dceba4f3db8","ref":"refs/heads/gh-pages","pushedAt":"2024-05-08T16:34: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: 5a740e331add7db4ef53548a4bb73561713cad64","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/5a740e331add7db4ef53548a4bb73561713cad64/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/5a740e331add7db4ef53548a4bb73561713cad64\"><tt>5a740e3</tt></a>"}},{"before":"69e28a45decbf266ff4926461df9dafcddc73ead","after":"8dca37ce9e98e741323df71e27a7ac0b8c36e5b9","ref":"refs/heads/folding/doc/relax","pushedAt":"2024-05-08T16:29:20.000Z","pushType":"push","commitsCount":18,"pusher":{"login":"querolita","name":"Anaïs Querol","path":"/querolita","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16045022?s=80&v=4"},"commit":{"message":"Merge branch 'master' into folding/doc/relax","shortMessageHtmlLink":"Merge branch 'master' into folding/doc/relax"}},{"before":"f42ab28d4dbd0117298fb42ba21a7aed4dcaa0fc","after":"6ec1ad1fcef27633acef043512732aff94c4d18d","ref":"refs/heads/dw/fold-addiu","pushedAt":"2024-05-08T16:29:14.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":"Folding: warn user on the API","shortMessageHtmlLink":"Folding: warn user on the API"}},{"before":"489b0cbb2e736a35ef84a3b5bd7e288a331e91e9","after":null,"ref":"refs/heads/zkvm/folding/keccak-decomposable-test","pushedAt":"2024-05-08T16:24:05.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":"b5685a43b934b7332e54e1f23965986453e2c083","after":"5a740e331add7db4ef53548a4bb73561713cad64","ref":"refs/heads/master","pushedAt":"2024-05-08T16:24:04.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"dannywillems","name":"Danny Willems","path":"/dannywillems","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6018454?s=80&v=4"},"commit":{"message":"Merge pull request #2182 from o1-labs/zkvm/folding/keccak-decomposable-test\n\nFinish decompsable folding Keccak test","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2283107323\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2182\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2182/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2182\">#2182</a> from o1-labs/zkvm/folding/keccak-decomposabl…"}},{"before":"18c8b4c1068dc47db798ae825ce26e1135df16a9","after":"f42ab28d4dbd0117298fb42ba21a7aed4dcaa0fc","ref":"refs/heads/dw/fold-addiu","pushedAt":"2024-05-08T16:16: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":"Folding: warn user on the API","shortMessageHtmlLink":"Folding: warn user on the API"}},{"before":"2450b9b64befddd77175634fcf17c6a8c1758d58","after":"49ca17544fbbfb60fc816c2fde697a851d949b8c","ref":"refs/heads/gh-pages","pushedAt":"2024-05-08T16:05:48.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: b5685a43b934b7332e54e1f23965986453e2c083","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/o1-labs/proof-systems/commit/b5685a43b934b7332e54e1f23965986453e2c083/hovercard\" href=\"https://github.com/o1-labs/proof-systems/commit/b5685a43b934b7332e54e1f23965986453e2c083\"><tt>b5685a4</tt></a>"}},{"before":"45fcef50b636496b59aa1a0ab55abe330dd56558","after":null,"ref":"refs/heads/volhovm/mina14686-ivc-circuit-interpreter-part3","pushedAt":"2024-05-08T15:55:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"volhovm","name":"Misha Volkhov","path":"/volhovm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5604643?s=80&v=4"}},{"before":"db35b8c7f1d8f10ac443fbf2db2bd6c941f3eaa7","after":"b5685a43b934b7332e54e1f23965986453e2c083","ref":"refs/heads/master","pushedAt":"2024-05-08T15:55:27.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"volhovm","name":"Misha Volkhov","path":"/volhovm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5604643?s=80&v=4"},"commit":{"message":"Merge pull request #2141 from o1-labs/volhovm/mina14686-ivc-circuit-interpreter-part3\n\nIVC Circuit (Part 3): Vertical layout with MultiRow Env","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2273842119\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/proof-systems/issues/2141\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/proof-systems/pull/2141/hovercard\" href=\"https://github.com/o1-labs/proof-systems/pull/2141\">#2141</a> from o1-labs/volhovm/mina14686-ivc-circuit-i…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERYXxwQA","startCursor":null,"endCursor":null}},"title":"Activity · o1-labs/proof-systems"}