{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":701633620,"defaultBranch":"main","name":"zkm","ownerLogin":"zkMIPS","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-07T05:45:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/132690457?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726966840.0","currentOid":""},"activityList":{"items":[{"before":"80a0f8813c2974e2b56ffc988becff1c47207c73","after":"58f796039ec9df94de9171a6645b7f2d8eef7d39","ref":"refs/heads/main","pushedAt":"2024-09-27T07:51:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"Fix the number of segments (#170)\n\n* fix: fix the computation of segment number\r\n\r\n* fix segfile for single segment","shortMessageHtmlLink":"Fix the number of segments (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2552173808\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/170\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/170/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/170\">#170</a>)"}},{"before":"9aed73fe19e05e5afffc9b75d9f4fd45b10dbad3","after":"80a0f8813c2974e2b56ffc988becff1c47207c73","ref":"refs/heads/main","pushedAt":"2024-09-27T00:11:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"feat: Optimize segment size, use cycle size instead (#168)\n\n* feat: use cycle instead of instructions for segment size\r\n\r\n* fix return step in split_*_segs function\r\n\r\n* fix clippy\r\n\r\n* update default segment size to 65536\r\n\r\n* fix bugs in step check","shortMessageHtmlLink":"feat: Optimize segment size, use cycle size instead (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2549333286\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/168\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/168/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/168\">#168</a>)"}},{"before":"bf7a72a2d4f58298a2792f8142846a65fdd8cd5b","after":null,"ref":"refs/heads/feat/perf","pushedAt":"2024-09-22T01:00:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"}},{"before":"03fd8416a173b33ac16db134133f3ed4b7dbfa08","after":"9aed73fe19e05e5afffc9b75d9f4fd45b10dbad3","ref":"refs/heads/main","pushedAt":"2024-09-22T01:00:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"feat: remove redundant check (#166)\n\n* chore: remove redundant check\r\n\r\n* fix: fmt\r\n\r\n* fix: typos","shortMessageHtmlLink":"feat: remove redundant check (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2538621597\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/166\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/166/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/166\">#166</a>)"}},{"before":"5445beac698c53f554c388397cbba10d92d60357","after":"bf7a72a2d4f58298a2792f8142846a65fdd8cd5b","ref":"refs/heads/feat/perf","pushedAt":"2024-09-22T00:58:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"fix: typos","shortMessageHtmlLink":"fix: typos"}},{"before":"643b07540ef56bb1559fd1b77348786d9b8bb1e0","after":"5445beac698c53f554c388397cbba10d92d60357","ref":"refs/heads/feat/perf","pushedAt":"2024-09-20T12:01:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"fix: fmt","shortMessageHtmlLink":"fix: fmt"}},{"before":null,"after":"643b07540ef56bb1559fd1b77348786d9b8bb1e0","ref":"refs/heads/feat/perf","pushedAt":"2024-09-20T11:51:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"chore: remove redundant check","shortMessageHtmlLink":"chore: remove redundant check"}},{"before":"ab68657c118b076c430cef3a303a267a9ade88c7","after":"03fd8416a173b33ac16db134133f3ed4b7dbfa08","ref":"refs/heads/main","pushedAt":"2024-09-16T20:01:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"psinelnikov","name":"Pavel Sinelnikov","path":"/psinelnikov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26554815?s=80&v=4"},"commit":{"message":"Merge pull request #163 from savvycodings/main\n\nUpdate README.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2529338797\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/163\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/163/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/163\">#163</a> from savvycodings/main"}},{"before":"5f0003c6ad32c125317aaf98319006be079c42dc","after":null,"ref":"refs/heads/fix/rust-sha2","pushedAt":"2024-09-10T03:54:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"}},{"before":"0faba3fbbb1fbae2f8d0668adbf1c9adb27f59e3","after":"ab68657c118b076c430cef3a303a267a9ade88c7","ref":"refs/heads/main","pushedAt":"2024-09-10T03:54:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"fix: example sha2 rust (#161)","shortMessageHtmlLink":"fix: example sha2 rust (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2514559657\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/161\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/161/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/161\">#161</a>)"}},{"before":null,"after":"5f0003c6ad32c125317aaf98319006be079c42dc","ref":"refs/heads/fix/rust-sha2","pushedAt":"2024-09-09T17:49:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"fix: example sha2 rust","shortMessageHtmlLink":"fix: example sha2 rust"}},{"before":"3cf92e37474671ee858d30ca95b22a8d100c1760","after":null,"ref":"refs/heads/sha256example","pushedAt":"2024-08-28T22:51:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"}},{"before":"4a9616148d88bfaf8c03244a1b6e3b4b1c7ddc61","after":"0faba3fbbb1fbae2f8d0668adbf1c9adb27f59e3","ref":"refs/heads/main","pushedAt":"2024-08-28T22:51:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"chore: Standardized golang and rust sha256 programs (#160)","shortMessageHtmlLink":"chore: Standardized golang and rust sha256 programs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2490129067\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/160\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/160/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/160\">#160</a>)"}},{"before":"dd1ee581e63e341ffde9bdb9319df28a09b6b04b","after":"3cf92e37474671ee858d30ca95b22a8d100c1760","ref":"refs/heads/sha256example","pushedAt":"2024-08-28T15:48:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psinelnikov","name":"Pavel Sinelnikov","path":"/psinelnikov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26554815?s=80&v=4"},"commit":{"message":"cargo fmt","shortMessageHtmlLink":"cargo fmt"}},{"before":"130a4e7aab3ffd25a6ec1f9ef24d0ea80254dcc2","after":"dd1ee581e63e341ffde9bdb9319df28a09b6b04b","ref":"refs/heads/sha256example","pushedAt":"2024-08-28T13:38:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psinelnikov","name":"Pavel Sinelnikov","path":"/psinelnikov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26554815?s=80&v=4"},"commit":{"message":"Removed files from target and removed seg num check","shortMessageHtmlLink":"Removed files from target and removed seg num check"}},{"before":"2faba0888c0230e06365a4fa6fdd08f0b890baa4","after":"4a9616148d88bfaf8c03244a1b6e3b4b1c7ddc61","ref":"refs/heads/main","pushedAt":"2024-08-28T04:24:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"feat: add trace generation and constraints for maddu and ins (#159)\n\n* feat: add trace generation and constraints for maddu and ins\r\n\r\n* fix constraints for maddu\r\n\r\n* add comments for constraints\r\n\r\n* fix: continue fix cliipy","shortMessageHtmlLink":"feat: add trace generation and constraints for maddu and ins (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2485590011\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/159\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/159/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/159\">#159</a>)"}},{"before":null,"after":"130a4e7aab3ffd25a6ec1f9ef24d0ea80254dcc2","ref":"refs/heads/sha256example","pushedAt":"2024-08-27T19:00:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"psinelnikov","name":"Pavel Sinelnikov","path":"/psinelnikov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26554815?s=80&v=4"},"commit":{"message":"Standardized golang and rust sha256 programs","shortMessageHtmlLink":"Standardized golang and rust sha256 programs"}},{"before":"3eae409c6856814bb8fe3780ae3a25954c7789e7","after":"2faba0888c0230e06365a4fa6fdd08f0b890baa4","ref":"refs/heads/main","pushedAt":"2024-08-17T10:24:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"feat: add read/commit API for go runtime (#158)\n\n* feat: add read/commit API for go runtime\r\n\r\n* update README\r\n\r\n* fix clippy\r\n\r\n* fix bugs in zkmips\r\n\r\n* update zkmips based on comments\r\n\r\n* update comment in add.go\r\n\r\n* simplify zkmips commands\r\n\r\n* fix fmt and clippy\r\n\r\n* fix seg number\r\n\r\n* remove blink line","shortMessageHtmlLink":"feat: add read/commit API for go runtime (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471301621\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/158\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/158/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/158\">#158</a>)"}},{"before":"51e07f5b957465400be2fdff58243d2f419bfa3d","after":"3eae409c6856814bb8fe3780ae3a25954c7789e7","ref":"refs/heads/main","pushedAt":"2024-08-12T05:25:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"fix: fix bug in sign-extension function (#157)\n\n* Fix bug in sign extension function\r\n\r\n* fix clippy\r\n\r\n* fix fmt","shortMessageHtmlLink":"fix: fix bug in sign-extension function (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2459886019\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/157\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/157/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/157\">#157</a>)"}},{"before":"06590784cbb1fbfe4d60e1b066793d3d9a3d53fd","after":"51e07f5b957465400be2fdff58243d2f419bfa3d","ref":"refs/heads/main","pushedAt":"2024-08-07T15:43:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"fix: readme","shortMessageHtmlLink":"fix: readme"}},{"before":"f32ff033ef1a81cde7178034465781b5db17c6ee","after":null,"ref":"refs/heads/feat/update_example","pushedAt":"2024-08-07T14:01:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"}},{"before":"6b0b736f78f6d376367aec180e1e20fc9446da5c","after":"06590784cbb1fbfe4d60e1b066793d3d9a3d53fd","ref":"refs/heads/main","pushedAt":"2024-08-07T14:01:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"add support for new instructions (#155)\n\n* add ror instruction and update zkmips example\r\n\r\n* fix errors\r\n\r\n* fix constraint\r\n\r\n* update example\r\n\r\n* fix clippy and update README","shortMessageHtmlLink":"add support for new instructions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2453501034\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/155\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/155/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/155\">#155</a>)"}},{"before":null,"after":"f32ff033ef1a81cde7178034465781b5db17c6ee","ref":"refs/heads/feat/update_example","pushedAt":"2024-08-06T17:54:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"chore: update example","shortMessageHtmlLink":"chore: update example"}},{"before":"b944c56c139070e0f795de6ae6738f35dacc7ab2","after":"6b0b736f78f6d376367aec180e1e20fc9446da5c","ref":"refs/heads/main","pushedAt":"2024-08-01T22:33:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psinelnikov","name":"Pavel Sinelnikov","path":"/psinelnikov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26554815?s=80&v=4"},"commit":{"message":"Update README.md\n\nAdded simplified flow refinement to the docs","shortMessageHtmlLink":"Update README.md"}},{"before":"c01469e67fc70532fa86cd8045f7a6a9f95a4490","after":"b944c56c139070e0f795de6ae6738f35dacc7ab2","ref":"refs/heads/main","pushedAt":"2024-07-29T16:50:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"fix: readme","shortMessageHtmlLink":"fix: readme"}},{"before":"42dac2227cee2f78606ff8206b9aa76a24ff3712","after":"c01469e67fc70532fa86cd8045f7a6a9f95a4490","ref":"refs/heads/main","pushedAt":"2024-07-29T16:39:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"feat: add support for commit result (#151)\n\n* add test for revme\r\n\r\n* fix commit\r\n\r\n* modify revm to get input from json file read by host program\r\n\r\n* Delete prover/examples/revme/README.md\r\n\r\n---------\r\n\r\nCo-authored-by: Stephen <81497928+eigmax@users.noreply.github.com>","shortMessageHtmlLink":"feat: add support for commit result (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2435241226\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/151\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/151/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/151\">#151</a>)"}},{"before":"3a195a05ec814c441d9e55c60451b0905f9dc894","after":null,"ref":"refs/heads/feat/pi","pushedAt":"2024-07-16T09:42:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"}},{"before":"40537253af94ad6605d752ef846a763b8a915f16","after":"42dac2227cee2f78606ff8206b9aa76a24ff3712","ref":"refs/heads/main","pushedAt":"2024-07-16T09:42:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eigmax","name":"Stephen","path":"/eigmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/81497928?s=80&v=4"},"commit":{"message":"fix: public inputs  (#148)\n\n* update dependency\r\n\r\n* Update dependency\r\n\r\n* fix clippy","shortMessageHtmlLink":"fix: public inputs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2410450565\" data-permission-text=\"Title is private\" data-url=\"https://github.com/zkMIPS/zkm/issues/148\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/zkMIPS/zkm/pull/148/hovercard\" href=\"https://github.com/zkMIPS/zkm/pull/148\">#148</a>)"}},{"before":"6b3b0092184c4a9fa6599a055cfc1d4711898e66","after":"3a195a05ec814c441d9e55c60451b0905f9dc894","ref":"refs/heads/feat/pi","pushedAt":"2024-07-16T07:53:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zkmod","name":"zkmod","path":"/zkmod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/148928866?s=80&v=4"},"commit":{"message":"fix clippy","shortMessageHtmlLink":"fix clippy"}},{"before":"97467c14a563d57c856e435d14b1f3dbeefb9432","after":"6b3b0092184c4a9fa6599a055cfc1d4711898e66","ref":"refs/heads/feat/pi","pushedAt":"2024-07-15T15:43:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zkmod","name":"zkmod","path":"/zkmod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/148928866?s=80&v=4"},"commit":{"message":"Update dependency","shortMessageHtmlLink":"Update dependency"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yN1QwNzo1MToxNC4wMDAwMDBazwAAAATCVDLA","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xNVQxNTo0MzoxMy4wMDAwMDBazwAAAAR_3--V"}},"title":"Activity · zkMIPS/zkm"}