{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":672525344,"defaultBranch":"main","name":"halo2-solidity-verifier","ownerLogin":"privacy-scaling-explorations","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-30T11:38:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/61636542?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1707375944.0","currentOid":""},"activityList":{"items":[{"before":"3950e2665e77f20643020f94f7a0400c24776ed9","after":"f0626be1dda2aa4b4604aea539a3898018f4f2a3","ref":"refs/heads/main","pushedAt":"2024-02-08T07:04:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"},"commit":{"message":"feat: upgrade `halo2_proofs` version (#14)","shortMessageHtmlLink":"feat: upgrade <code>halo2_proofs</code> version (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2124480320\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/14/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/14\">#14</a>)"}},{"before":"2f84d92031f09de5bea7b8ce2c8fe657e967aadd","after":null,"ref":"refs/heads/ac/initial-verifier-PR","pushedAt":"2024-02-08T07:00:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"}},{"before":"85cb77b171ce3ee493628007c7a1cfae2ea878e6","after":"3950e2665e77f20643020f94f7a0400c24776ed9","ref":"refs/heads/main","pushedAt":"2024-02-08T06:46:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"},"commit":{"message":"Implement `BatchOpenScheme::Gwc19` (#13)\n\n* feat: implement for `BatchOpenScheme::Gwc19`\r\n\r\n* doc: update `README.md`\r\n\r\n* fix: make sure accumulator coordinates are less than base field modulus","shortMessageHtmlLink":"Implement <code>BatchOpenScheme::Gwc19</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2106880913\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/13/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/13\">#13</a>)"}},{"before":"fb8b5d127b3e307fe8d0fb094452c1a5dd820e03","after":"85cb77b171ce3ee493628007c7a1cfae2ea878e6","ref":"refs/heads/main","pushedAt":"2024-01-02T06:07:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"},"commit":{"message":"Avoid ambiguous and reduce dependnecy (#11)\n\n* refactor: avoid ambiguous and reduce dependnecy\r\n\r\n* ci: fix\r\n\r\n* fix: clippy","shortMessageHtmlLink":"Avoid ambiguous and reduce dependnecy (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061912890\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/11/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/11\">#11</a>)"}},{"before":"fb8b5d127b3e307fe8d0fb094452c1a5dd820e03","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-10-0d16c8b249c945d67d010c0196f90e90e00a73d5","pushedAt":"2023-12-12T11:00:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"0d16c8b249c945d67d010c0196f90e90e00a73d5","after":"fb8b5d127b3e307fe8d0fb094452c1a5dd820e03","ref":"refs/heads/main","pushedAt":"2023-12-12T11:00:13.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Redirect to `snark-verifier` and add more context on why this is rebuilt (#10)\n\n* doc: redirect to `snark-verifier` and add more context on why this is rebuilt\n\n* Apply suggestions from code review\n\nCo-authored-by: Chih Cheng Liang <chihchengliang@gmail.com>\n\n---------\n\nCo-authored-by: Chih Cheng Liang <chihchengliang@gmail.com>","shortMessageHtmlLink":"Redirect to <code>snark-verifier</code> and add more context on why this is rebu…"}},{"before":null,"after":"fb8b5d127b3e307fe8d0fb094452c1a5dd820e03","ref":"refs/heads/gh-readonly-queue/main/pr-10-0d16c8b249c945d67d010c0196f90e90e00a73d5","pushedAt":"2023-12-12T11:00:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Redirect to `snark-verifier` and add more context on why this is rebuilt (#10)\n\n* doc: redirect to `snark-verifier` and add more context on why this is rebuilt\n\n* Apply suggestions from code review\n\nCo-authored-by: Chih Cheng Liang <chihchengliang@gmail.com>\n\n---------\n\nCo-authored-by: Chih Cheng Liang <chihchengliang@gmail.com>","shortMessageHtmlLink":"Redirect to <code>snark-verifier</code> and add more context on why this is rebu…"}},{"before":"7b7d469fdf56698af61ac837b9c499660b1a99a5","after":"0d16c8b249c945d67d010c0196f90e90e00a73d5","ref":"refs/heads/main","pushedAt":"2023-12-07T01:36:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"},"commit":{"message":"fix: load full vk after squeezing all challenges (#9)","shortMessageHtmlLink":"fix: load full vk after squeezing all challenges (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2017841266\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/9/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/9\">#9</a>)"}},{"before":"547ac247d9e476cb68684edd5f3c0a27b03b110d","after":"7b7d469fdf56698af61ac837b9c499660b1a99a5","ref":"refs/heads/main","pushedAt":"2023-11-10T14:18:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"},"commit":{"message":"feat: support circuit with no instance column or instance value (#7)","shortMessageHtmlLink":"feat: support circuit with no instance column or instance value (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1987445714\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/7/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/7\">#7</a>)"}},{"before":null,"after":"2f84d92031f09de5bea7b8ce2c8fe657e967aadd","ref":"refs/heads/ac/initial-verifier-PR","pushedAt":"2023-11-09T03:50:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"},"commit":{"message":"constrain inputs less than P","shortMessageHtmlLink":"constrain inputs less than P"}},{"before":"2f84d92031f09de5bea7b8ce2c8fe657e967aadd","after":null,"ref":"refs/heads/ac/initial-verifier-PR","pushedAt":"2023-11-09T03:50:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"}},{"before":"547ac247d9e476cb68684edd5f3c0a27b03b110d","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-5-6713d8d35e53e2998ea7e64916b9c6db6bb3e865","pushedAt":"2023-10-10T09:23:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"6713d8d35e53e2998ea7e64916b9c6db6bb3e865","after":"547ac247d9e476cb68684edd5f3c0a27b03b110d","ref":"refs/heads/main","pushedAt":"2023-10-10T09:23:07.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"fix: clippy errors (#5)","shortMessageHtmlLink":"fix: clippy errors (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1932359882\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/5/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/5\">#5</a>)"}},{"before":null,"after":"547ac247d9e476cb68684edd5f3c0a27b03b110d","ref":"refs/heads/gh-readonly-queue/main/pr-5-6713d8d35e53e2998ea7e64916b9c6db6bb3e865","pushedAt":"2023-10-10T09:23:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"fix: clippy errors (#5)","shortMessageHtmlLink":"fix: clippy errors (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1932359882\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/5/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/5\">#5</a>)"}},{"before":"124f3c68577ee548d73da0a54248ec83714f8831","after":"6713d8d35e53e2998ea7e64916b9c6db6bb3e865","ref":"refs/heads/main","pushedAt":"2023-10-09T05:34:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"},"commit":{"message":"refactor: loosen version requirement of `ruint` and re-export `revm` (#4)","shortMessageHtmlLink":"refactor: loosen version requirement of <code>ruint</code> and re-export <code>revm</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1927331789\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/4/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/4\">#4</a>"}},{"before":"ab4e36bd7a6084cd1faf9cc4f0a30f2a6cece59b","after":"124f3c68577ee548d73da0a54248ec83714f8831","ref":"refs/heads/main","pushedAt":"2023-10-03T23:48:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"},"commit":{"message":"Run `solc` with flag `--optimize` (#3)\n\n* feat: use `--optimize` instead of `--via-ir` to remove extra inline modulus\r\n\r\n* doc: update `README.md`\r\n\r\n* fix: use `.into` from `Address` to `[u8; 20]`","shortMessageHtmlLink":"Run <code>solc</code> with flag <code>--optimize</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1924111540\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/3/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/3\">#3</a>)"}},{"before":"a13c798fe683c01166405cac8ffcc1c8cc391319","after":"ab4e36bd7a6084cd1faf9cc4f0a30f2a6cece59b","ref":"refs/heads/main","pushedAt":"2023-09-27T14:48:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"han0110","name":"Han","path":"/han0110","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24424538?s=80&v=4"},"commit":{"message":"Implement `SolidityGenerator` (#2)\n\n* feat: implement `SolidityGenerator` to generate vk and verifier separately\r\n\r\n* refactor: rename `generate` into `render`\r\n\r\n* feat: implement `render` with test\r\n\r\n* refactor: add `ConstraintSystemMeta` and `Data`\r\n\r\n* refactor: better `Evaluator`\r\n\r\n* refactor: fmt-able\r\n\r\n* refactor: better `pcs`\r\n\r\n* refactor: generally\r\n\r\n* refactor: more `for_loop`\r\n\r\n* refactor: docs\r\n\r\n* refactor: cheaper than `snark-verifier`\r\n\r\n* feat: add ci\r\n\r\n* refactor: typo\r\n\r\n* refactor: less generic\r\n\r\n* refactor: `Word`\r\n\r\n* feat: allow more instances and add document with example\r\n\r\n* refactor: avoid patching `halo2_proofs`\r\n\r\n* refactor: add more comments and reduce `encode_calldata` verbosity\r\n\r\n* ci: install `svm-rs` with its `Cargo.lock`\r\n\r\n* feat: handle `solc` related error in `compile_solidity` more properly\r\n\r\n* docs: add warning on `README.md`","shortMessageHtmlLink":"Implement <code>SolidityGenerator</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1871498027\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/halo2-solidity-verifier/pull/2/hovercard\" href=\"https://github.com/privacy-scaling-explorations/halo2-solidity-verifier/pull/2\">#2</a>)"}},{"before":"b50d47c8771681d7bca03a1ac27da476d4adf924","after":"2f84d92031f09de5bea7b8ce2c8fe657e967aadd","ref":"refs/heads/ac/initial-verifier-PR","pushedAt":"2023-07-31T07:43:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexander-camuto","name":"dante","path":"/alexander-camuto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45801863?s=80&v=4"},"commit":{"message":"constrain inputs less than P","shortMessageHtmlLink":"constrain inputs less than P"}},{"before":"135b632a6c55f95a09d086b79a9e77a3d0918ae5","after":"b50d47c8771681d7bca03a1ac27da476d4adf924","ref":"refs/heads/ac/initial-verifier-PR","pushedAt":"2023-07-30T15:37:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexander-camuto","name":"dante","path":"/alexander-camuto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45801863?s=80&v=4"},"commit":{"message":"rm on-chain attestation for now","shortMessageHtmlLink":"rm on-chain attestation for now"}},{"before":null,"after":"135b632a6c55f95a09d086b79a9e77a3d0918ae5","ref":"refs/heads/ac/initial-verifier-PR","pushedAt":"2023-07-30T13:55:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alexander-camuto","name":"dante","path":"/alexander-camuto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45801863?s=80&v=4"},"commit":{"message":"feat: `fix_verifier_sol` function to convert from yul to solidity verifier","shortMessageHtmlLink":"feat: <code>fix_verifier_sol</code> function to convert from yul to solidity ver…"}},{"before":null,"after":"a13c798fe683c01166405cac8ffcc1c8cc391319","ref":"refs/heads/main","pushedAt":"2023-07-30T11:38:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"CPerezz","name":"Carlos Pérez","path":"/CPerezz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37264926?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD9TcEswA","startCursor":null,"endCursor":null}},"title":"Activity · privacy-scaling-explorations/halo2-solidity-verifier"}