{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":655819953,"defaultBranch":"gkr","name":"gkr_tutorial","ownerLogin":"NP-Eng","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-19T17:03:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/130228786?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1696428086.0","currentOid":""},"activityList":{"items":[{"before":"1a171e583ad07ed87f181755064b206ad6396802","after":null,"ref":"refs/heads/gkr-prover","pushedAt":"2023-10-04T14:01:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"}},{"before":"bbeba66fea8ed7e6b1fa33daaa3ee4471feb384b","after":null,"ref":"refs/heads/gkr-verifier","pushedAt":"2023-10-04T14:01:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"}},{"before":"1b4668ee79e756093664268ee20b777b2286a743","after":"e2444aa960dbaf60ccb8fd711e03a2719b52cf45","ref":"refs/heads/gkr","pushedAt":"2023-10-04T14:01:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"GKR verifier (#2)\n\n* bring back the tests\r\n\r\n* fix the sample circuit tests\r\n\r\n* Implement `From` for `Product` and `SumOfProduct`\r\n\r\n* We can construct MLEs from reference, no need to take ownership of Layer\r\n\r\n* GKR prover compiling\r\n\r\n* Move GKR tests to its own module\r\n\r\n* Create a constructor for the prover\r\n\r\n* Rename `d` to `D`\r\n\r\n* make Prover's run function public\r\n\r\n* make circuits methods public\r\n\r\nnew & evaluate\r\n\r\n* test that the prover runs the protocol given an input - failing for now\r\n\r\nthe degrees at each gate aren't uniform yet\r\n\r\n* Pad each layer to a uniform length at the level of circuit creation\r\n\r\n* make the `gkr` module public\r\n\r\n* Fix index computation for the add indices too & test MLE construction\r\n\r\n* rename D to s for log(num of gates at each layer)\r\n\r\n* make `d` iterations of sumcheck\r\n\r\n* Since we start indexing at 0, no need to offset the indices of layers/w\r\n\r\n* format all files, fix clippy warnings\r\n\r\n* Create a constructor for the GKR verifier\r\n\r\n* finish the GKROracle\r\n\r\n* move the oracles to a separate mod\r\n\r\n* Complete the GKR verifier\r\n\r\n* Move Products and Sums of Products into a separate data structures mod\r\n\r\n* Add documentation for Products and sums of products structs\r\n\r\n* Split the proof & transcript structures\r\n\r\n* Split sumcheck proof from random challenges\r\n\r\nthe latter should only be returned to the calling GKR prover\r\n\r\n* clippy fixes\r\n\r\n* remove comment that's no longer relevant","shortMessageHtmlLink":"GKR verifier (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1833248838\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NP-Eng/gkr_tutorial/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/NP-Eng/gkr_tutorial/pull/2/hovercard\" href=\"https://github.com/NP-Eng/gkr_tutorial/pull/2\">#2</a>)"}},{"before":"ebdb41eabb59c6922ddd4bc8efd43aef65f2eae4","after":"1b4668ee79e756093664268ee20b777b2286a743","ref":"refs/heads/gkr","pushedAt":"2023-10-04T14:00:18.000Z","pushType":"pr_merge","commitsCount":19,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"Merge pull request #1 from HungryCatsStudio/gkr-prover\n\nGKR Prover","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1793335246\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NP-Eng/gkr_tutorial/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/NP-Eng/gkr_tutorial/pull/1/hovercard\" href=\"https://github.com/NP-Eng/gkr_tutorial/pull/1\">#1</a> from HungryCatsStudio/gkr-prover"}},{"before":"d2da9ab2c2e0eb156f114292ec80dafa01a6512a","after":null,"ref":"refs/heads/halo2curves-field","pushedAt":"2023-08-08T11:20:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"}},{"before":null,"after":"d2da9ab2c2e0eb156f114292ec80dafa01a6512a","ref":"refs/heads/scroll-poseidon","pushedAt":"2023-08-08T11:19:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"clean up code","shortMessageHtmlLink":"clean up code"}},{"before":null,"after":"d2da9ab2c2e0eb156f114292ec80dafa01a6512a","ref":"refs/heads/halo2curves-field","pushedAt":"2023-08-08T11:13:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"clean up code","shortMessageHtmlLink":"clean up code"}},{"before":"b484b4c8a7318e89f6139539e4b49f732226447e","after":"bbeba66fea8ed7e6b1fa33daaa3ee4471feb384b","ref":"refs/heads/gkr-verifier","pushedAt":"2023-08-02T15:43:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"remove comment that's no longer relevant","shortMessageHtmlLink":"remove comment that's no longer relevant"}},{"before":"355496034b2d2414990bea9136fae439db888598","after":"b484b4c8a7318e89f6139539e4b49f732226447e","ref":"refs/heads/gkr-verifier","pushedAt":"2023-08-02T15:26:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"clippy fixes","shortMessageHtmlLink":"clippy fixes"}},{"before":null,"after":"355496034b2d2414990bea9136fae439db888598","ref":"refs/heads/gkr-verifier","pushedAt":"2023-08-02T13:56:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"Add documentation for Products and sums of products structs","shortMessageHtmlLink":"Add documentation for Products and sums of products structs"}},{"before":null,"after":"1a171e583ad07ed87f181755064b206ad6396802","ref":"refs/heads/gkr-prover","pushedAt":"2023-07-07T11:04:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"format all files, fix clippy warnings","shortMessageHtmlLink":"format all files, fix clippy warnings"}},{"before":"6e2892512a04b5457aef4a59cff6a2954d49a5a9","after":"ebdb41eabb59c6922ddd4bc8efd43aef65f2eae4","ref":"refs/heads/gkr","pushedAt":"2023-06-28T05:28:21.730Z","pushType":"push","commitsCount":1,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"removed two unused imports","shortMessageHtmlLink":"removed two unused imports"}},{"before":"ecde4fb4a03570ca1e5c522904aeed7e1c203558","after":"6e2892512a04b5457aef4a59cff6a2954d49a5a9","ref":"refs/heads/gkr","pushedAt":"2023-06-26T15:48:37.488Z","pushType":"push","commitsCount":2,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"finished modified sumcheck and some circuit functions; all tests but one passing","shortMessageHtmlLink":"finished modified sumcheck and some circuit functions; all tests but …"}},{"before":"cd8baa57c5216fba168e5e2f5abc7c6757145a0d","after":"ecde4fb4a03570ca1e5c522904aeed7e1c203558","ref":"refs/heads/gkr","pushedAt":"2023-06-26T13:16:26.669Z","pushType":"push","commitsCount":1,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"undo init phase 2 changes: no need to take u1, u2","shortMessageHtmlLink":"undo init phase 2 changes: no need to take u1, u2"}},{"before":"5536fd54eb9be4a6732d14f0439c4e748f33ffac","after":"cd8baa57c5216fba168e5e2f5abc7c6757145a0d","ref":"refs/heads/gkr","pushedAt":"2023-06-26T12:58:14.776Z","pushType":"push","commitsCount":1,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"modifying Prover.run","shortMessageHtmlLink":"modifying Prover.run"}},{"before":"b789fcf224759726cef39c20719535ad0a40b057","after":"5536fd54eb9be4a6732d14f0439c4e748f33ffac","ref":"refs/heads/gkr","pushedAt":"2023-06-26T10:37:41.278Z","pushType":"push","commitsCount":1,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"GKR WIP: sumcheck over a sum of products","shortMessageHtmlLink":"GKR WIP: sumcheck over a sum of products"}},{"before":"8276bcf1517f206dd438622ebcaaabe0c719566a","after":"b789fcf224759726cef39c20719535ad0a40b057","ref":"refs/heads/gkr","pushedAt":"2023-06-26T06:55:09.919Z","pushType":"push","commitsCount":1,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"removed clone from precompute by swapping tables","shortMessageHtmlLink":"removed clone from precompute by swapping tables"}},{"before":"7884986c18ea287f94f18465e8874443d122e4e7","after":"8276bcf1517f206dd438622ebcaaabe0c719566a","ref":"refs/heads/gkr","pushedAt":"2023-06-24T20:48:08.281Z","pushType":"push","commitsCount":5,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"turn on `getrandom` feature in ark-std to get non-deterministic tests","shortMessageHtmlLink":"turn on <code>getrandom</code> feature in ark-std to get non-deterministic tests"}},{"before":"1be4ccb095a9f59106497da061643faaaf251a3e","after":"7884986c18ea287f94f18465e8874443d122e4e7","ref":"refs/heads/gkr","pushedAt":"2023-06-23T16:59:55.531Z","pushType":"push","commitsCount":2,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"GRK sumcheck WIP","shortMessageHtmlLink":"GRK sumcheck WIP"}},{"before":"f4c91abd2530e99b2efe09053633b9f786b5786b","after":"1be4ccb095a9f59106497da061643faaaf251a3e","ref":"refs/heads/gkr","pushedAt":"2023-06-23T14:34:43.462Z","pushType":"push","commitsCount":1,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"precompute fixed and initialize_phase_2 finished and tested","shortMessageHtmlLink":"precompute fixed and initialize_phase_2 finished and tested"}},{"before":"560350586268ab4428bb0503431e78842e8e9728","after":"f4c91abd2530e99b2efe09053633b9f786b5786b","ref":"refs/heads/gkr","pushedAt":"2023-06-23T13:08:06.282Z","pushType":"push","commitsCount":2,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"sumcheck GKR WIP","shortMessageHtmlLink":"sumcheck GKR WIP"}},{"before":"63e513e2282d545dca295bd5dbae9a67ab5bb12d","after":"560350586268ab4428bb0503431e78842e8e9728","ref":"refs/heads/gkr","pushedAt":"2023-06-23T12:37:24.074Z","pushType":"push","commitsCount":2,"pusher":{"login":"mmagician","name":"Marti","path":"/mmagician","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8402446?s=80&v=4"},"commit":{"message":"comprehensive tests for phase_1 computation","shortMessageHtmlLink":"comprehensive tests for phase_1 computation"}},{"before":"f531ab00ca77be5a0aa6cd0a9f0ec40ca4c1f081","after":"63e513e2282d545dca295bd5dbae9a67ab5bb12d","ref":"refs/heads/gkr","pushedAt":"2023-06-23T10:40:47.285Z","pushType":"push","commitsCount":1,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"testing initialise_phase_1","shortMessageHtmlLink":"testing initialise_phase_1"}},{"before":"a867632cbda539eab46eecab695020b0665e73d7","after":"f531ab00ca77be5a0aa6cd0a9f0ec40ca4c1f081","ref":"refs/heads/gkr","pushedAt":"2023-06-23T05:21:59.071Z","pushType":"push","commitsCount":2,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"corrected interpolation, cleaned code","shortMessageHtmlLink":"corrected interpolation, cleaned code"}},{"before":"38792226976d658e0371c8f013f8d4d1a5de8445","after":"a867632cbda539eab46eecab695020b0665e73d7","ref":"refs/heads/gkr","pushedAt":"2023-06-21T15:12:44.145Z","pushType":"push","commitsCount":3,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"file polynomial deleted","shortMessageHtmlLink":"file polynomial deleted"}},{"before":"db9d865eb1ed5fb23c216e6e7f386812c6fbf6b1","after":"38792226976d658e0371c8f013f8d4d1a5de8445","ref":"refs/heads/gkr","pushedAt":"2023-06-20T17:34:39.254Z","pushType":"push","commitsCount":1,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"implementing prover","shortMessageHtmlLink":"implementing prover"}},{"before":"2b014ee46a3034a3027dd18b6f242c740e04cdc2","after":"db9d865eb1ed5fb23c216e6e7f386812c6fbf6b1","ref":"refs/heads/gkr","pushedAt":"2023-06-20T14:45:21.225Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"last verifier evaluation moved into an oracle struct parameter","shortMessageHtmlLink":"last verifier evaluation moved into an oracle struct parameter"}},{"before":"c91a734f740cc50503aa882611ea4384aa9804eb","after":"2b014ee46a3034a3027dd18b6f242c740e04cdc2","ref":"refs/heads/gkr","pushedAt":"2023-06-20T14:44:03.842Z","pushType":"push","commitsCount":1,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"last verifier evaluation moved into an oracle struct parameter","shortMessageHtmlLink":"last verifier evaluation moved into an oracle struct parameter"}},{"before":"4139c44e92f02128bcdb245611490b9ac6eee348","after":"c91a734f740cc50503aa882611ea4384aa9804eb","ref":"refs/heads/gkr","pushedAt":"2023-06-20T07:29:15.528Z","pushType":"push","commitsCount":1,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"evaluate working","shortMessageHtmlLink":"evaluate working"}},{"before":null,"after":"4139c44e92f02128bcdb245611490b9ac6eee348","ref":"refs/heads/gkr","pushedAt":"2023-06-19T17:12:32.184Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Antonio95","name":"Antonio Mejías Gil","path":"/Antonio95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5489993?s=80&v=4"},"commit":{"message":"starting circuit evaluation","shortMessageHtmlLink":"starting circuit evaluation"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADj0zWQAA","startCursor":null,"endCursor":null}},"title":"Activity · NP-Eng/gkr_tutorial"}