{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":620453721,"defaultBranch":"main","name":"gnark-plonky2-verifier","ownerLogin":"succinctlabs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-28T18:00:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/112135134?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1708042128.0","currentOid":""},"activityList":{"items":[{"before":"875e3f6396f9e351043767208ed8648638df7c3b","after":null,"ref":"refs/heads/mattstam/audits","pushedAt":"2024-02-16T00:07:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mattstam","name":"Matt Stam","path":"/mattstam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695189?s=80&v=4"}},{"before":"bc87536ad40cbc906d49ac617d0332f54add3294","after":"7025b2efd67b5ed30bd85f93c694774106d21b3d","ref":"refs/heads/main","pushedAt":"2024-02-16T00:07:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattstam","name":"Matt Stam","path":"/mattstam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695189?s=80&v=4"},"commit":{"message":"feat: add veridise audit (#50)","shortMessageHtmlLink":"feat: add veridise audit (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2137637919\" data-permission-text=\"Title is private\" data-url=\"https://github.com/succinctlabs/gnark-plonky2-verifier/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/succinctlabs/gnark-plonky2-verifier/pull/50/hovercard\" href=\"https://github.com/succinctlabs/gnark-plonky2-verifier/pull/50\">#50</a>)"}},{"before":null,"after":"875e3f6396f9e351043767208ed8648638df7c3b","ref":"refs/heads/mattstam/audits","pushedAt":"2024-02-15T23:59:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattstam","name":"Matt Stam","path":"/mattstam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695189?s=80&v=4"},"commit":{"message":"feat: add veridise audit","shortMessageHtmlLink":"feat: add veridise audit"}},{"before":"c01f530fe1d0107cc20da226cfec541ece9fb882","after":"bc87536ad40cbc906d49ac617d0332f54add3294","ref":"refs/heads/main","pushedAt":"2024-02-15T23:54:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattstam","name":"Matt Stam","path":"/mattstam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695189?s=80&v=4"},"commit":{"message":"feat: Add trusted setup via AZTEC Ignition Ceremony data (#48)","shortMessageHtmlLink":"feat: Add trusted setup via AZTEC Ignition Ceremony data (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2083925324\" data-permission-text=\"Title is private\" data-url=\"https://github.com/succinctlabs/gnark-plonky2-verifier/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/succinctlabs/gnark-plonky2-verifier/pull/48/hovercard\" href=\"https://github.com/succinctlabs/gnark-plonky2-verifier/pull/48\">#48</a>)"}},{"before":"c01f530fe1d0107cc20da226cfec541ece9fb882","after":"3d8b3748e7e2fac9ca4393e2054fb24ca7513080","ref":"refs/heads/mattstam/bump-gnark","pushedAt":"2024-02-09T21:01:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattstam","name":"Matt Stam","path":"/mattstam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695189?s=80&v=4"},"commit":{"message":"chore: use gnark v0.9.1","shortMessageHtmlLink":"chore: use gnark v0.9.1"}},{"before":null,"after":"c01f530fe1d0107cc20da226cfec541ece9fb882","ref":"refs/heads/mattstam/bump-gnark","pushedAt":"2024-02-09T21:00:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattstam","name":"Matt Stam","path":"/mattstam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695189?s=80&v=4"},"commit":{"message":"fix:  Support range checking non aligned bitwidth values (#47)\n\n* initial commit\r\n\r\n* most of the code done\r\n\r\n* made global poseidon chip\r\n\r\n* changed decompSize and added some panics\r\n\r\n* made all gl chip as pointers\r\n\r\n* working code\r\n\r\n* revert go.mod and go.sum\r\n\r\n* cleanup and comments\r\n\r\n* cleaned up range checker selection\r\n\r\n* renamed gnarkRangeCheckSelector to gnarkRangeCheckerSelector\r\n\r\n* addressed PR comment\r\n\r\n* addressed overflow issue identified by Veridise\r\n\r\n* added some comments\r\n\r\n* fixed some comment typos\r\n\r\n* restore change made from commit hash 85d20ce and 9617141","shortMessageHtmlLink":"fix: Support range checking non aligned bitwidth values (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2058951592\" data-permission-text=\"Title is private\" data-url=\"https://github.com/succinctlabs/gnark-plonky2-verifier/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/succinctlabs/gnark-plonky2-verifier/pull/47/hovercard\" href=\"https://github.com/succinctlabs/gnark-plonky2-verifier/pull/47\">#47</a>)"}},{"before":"c82e6f374731f4596440006454d643f7d85f8c77","after":"c01f530fe1d0107cc20da226cfec541ece9fb882","ref":"refs/heads/main","pushedAt":"2024-01-04T21:56:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"fix:  Support range checking non aligned bitwidth values (#47)\n\n* initial commit\r\n\r\n* most of the code done\r\n\r\n* made global poseidon chip\r\n\r\n* changed decompSize and added some panics\r\n\r\n* made all gl chip as pointers\r\n\r\n* working code\r\n\r\n* revert go.mod and go.sum\r\n\r\n* cleanup and comments\r\n\r\n* cleaned up range checker selection\r\n\r\n* renamed gnarkRangeCheckSelector to gnarkRangeCheckerSelector\r\n\r\n* addressed PR comment\r\n\r\n* addressed overflow issue identified by Veridise\r\n\r\n* added some comments\r\n\r\n* fixed some comment typos\r\n\r\n* restore change made from commit hash 85d20ce and 9617141","shortMessageHtmlLink":"fix: Support range checking non aligned bitwidth values (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2058951592\" data-permission-text=\"Title is private\" data-url=\"https://github.com/succinctlabs/gnark-plonky2-verifier/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/succinctlabs/gnark-plonky2-verifier/pull/47/hovercard\" href=\"https://github.com/succinctlabs/gnark-plonky2-verifier/pull/47\">#47</a>)"}},{"before":"3fe6aabfd22e44b95fb693db1ce4d83e396ec012","after":"d05df65fc01024df337ab5abe52eb8c4774d7573","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2024-01-04T21:54:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"restore change made from commit hash 85d20ce and 9617141","shortMessageHtmlLink":"restore change made from commit hash <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/succinctlabs/gnark-plonky2-verifier/commit/85d20ce6569aaa4c71454f7976c2a5a724dcd159/hovercard\" href=\"https://github.com/succinctlabs/gnark-plonky2-verifier/commit/85d20ce6569aaa4c71454f7976c2a5a724dcd159\"><tt>85d20ce</tt></a> and <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/succinctlabs/gnark-plonky2-verifier/commit/96171410b0e3f0e7a2a73163b177d6759c5f1f82/hovercard\" href=\"https://github.com/succinctlabs/gnark-plonky2-verifier/commit/96171410b0e3f0e7a2a73163b177d6759c5f1f82\"><tt>9617141</tt></a>"}},{"before":"c5134ade2c126c71a8d2bfd8ff0e4d5444993122","after":"3fe6aabfd22e44b95fb693db1ce4d83e396ec012","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2024-01-04T21:27:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"fixed some comment typos","shortMessageHtmlLink":"fixed some comment typos"}},{"before":"25907ae444b8efcff6154fc963bf9ff6d43c75c8","after":"c5134ade2c126c71a8d2bfd8ff0e4d5444993122","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2024-01-04T18:11:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"added some comments","shortMessageHtmlLink":"added some comments"}},{"before":"bd69303596c1967f90bcbaf02404da050efe6211","after":"25907ae444b8efcff6154fc963bf9ff6d43c75c8","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2024-01-04T17:54:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"addressed overflow issue identified by Veridise","shortMessageHtmlLink":"addressed overflow issue identified by Veridise"}},{"before":"ff63a530caf3c9830007a7daafd748215f576078","after":"bd69303596c1967f90bcbaf02404da050efe6211","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2024-01-02T22:39:09.000Z","pushType":"push","commitsCount":36,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"Merge branch 'main' into kevjue/range_check_assert","shortMessageHtmlLink":"Merge branch 'main' into kevjue/range_check_assert"}},{"before":"b0648470077683e3da42fdf3fa8d08fc07acc7dd","after":"c82e6f374731f4596440006454d643f7d85f8c77","ref":"refs/heads/main","pushedAt":"2024-01-02T22:37:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"Merge pull request #44 from succinctlabs/kevjue/bit_decomp_range_checker\n\nfeat: added support to optionally use bit decompose range checker","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2053019082\" data-permission-text=\"Title is private\" data-url=\"https://github.com/succinctlabs/gnark-plonky2-verifier/issues/44\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/succinctlabs/gnark-plonky2-verifier/pull/44/hovercard\" href=\"https://github.com/succinctlabs/gnark-plonky2-verifier/pull/44\">#44</a> from succinctlabs/kevjue/bit_decomp_range_checker"}},{"before":"89b5a01e4b4be8a439e28b864e36e0bb5b512207","after":"b0648470077683e3da42fdf3fa8d08fc07acc7dd","ref":"refs/heads/main","pushedAt":"2024-01-02T22:36:19.000Z","pushType":"pr_merge","commitsCount":34,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"Merge pull request #42 from succinctlabs/kevjue/audit_fixes\n\nfix: Veridise audit fixes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2047410958\" data-permission-text=\"Title is private\" data-url=\"https://github.com/succinctlabs/gnark-plonky2-verifier/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/succinctlabs/gnark-plonky2-verifier/pull/42/hovercard\" href=\"https://github.com/succinctlabs/gnark-plonky2-verifier/pull/42\">#42</a> from succinctlabs/kevjue/audit_fixes"}},{"before":"d241f54f485be2ba27ee23642aa2090004ef8b83","after":"503429f92f434d3fa88f2ecbd15f2c14154562b3","ref":"refs/heads/kevjue/audit_fixes","pushedAt":"2024-01-02T21:40:14.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"Merge pull request #45 from succinctlabs/kevjue/assert_leading_zeros_optimizations\n\nperf: assertLeadingZeros constraint optimizations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2054446012\" data-permission-text=\"Title is private\" data-url=\"https://github.com/succinctlabs/gnark-plonky2-verifier/issues/45\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/succinctlabs/gnark-plonky2-verifier/pull/45/hovercard\" href=\"https://github.com/succinctlabs/gnark-plonky2-verifier/pull/45\">#45</a> from succinctlabs/kevjue/assert_leading_zeros_…"}},{"before":"06ec7404a937943c65024dbf4050a10c3f0b600f","after":"ff63a530caf3c9830007a7daafd748215f576078","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2024-01-02T20:18:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"addressed PR comment","shortMessageHtmlLink":"addressed PR comment"}},{"before":"970031d0de7793760ba2b350789bffb232f27eea","after":"06ec7404a937943c65024dbf4050a10c3f0b600f","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2024-01-02T16:21:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"renamed gnarkRangeCheckSelector to gnarkRangeCheckerSelector","shortMessageHtmlLink":"renamed gnarkRangeCheckSelector to gnarkRangeCheckerSelector"}},{"before":"fb6ab1c8037dffc7030a10985701cd7763bfaefb","after":"970031d0de7793760ba2b350789bffb232f27eea","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2024-01-02T16:09:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"cleaned up range checker selection","shortMessageHtmlLink":"cleaned up range checker selection"}},{"before":"ef13d3ef981b9ffaf2013eb609d96789beb5ec67","after":"fb6ab1c8037dffc7030a10985701cd7763bfaefb","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2023-12-30T14:05:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"cleanup and comments","shortMessageHtmlLink":"cleanup and comments"}},{"before":"7f9708e21c8cdbfd9f70908076346dc819f39986","after":"ef13d3ef981b9ffaf2013eb609d96789beb5ec67","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2023-12-30T13:57:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"revert go.mod and go.sum","shortMessageHtmlLink":"revert go.mod and go.sum"}},{"before":"8750e23fb1a37b3e549c17d3bf5d9cbe04703673","after":"7f9708e21c8cdbfd9f70908076346dc819f39986","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2023-12-30T13:47:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"working code","shortMessageHtmlLink":"working code"}},{"before":"308711c656e659c329de8bd5e4b2d53a0987fc9c","after":"8750e23fb1a37b3e549c17d3bf5d9cbe04703673","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2023-12-29T22:32:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"made all gl chip as pointers","shortMessageHtmlLink":"made all gl chip as pointers"}},{"before":"bd7959173f83db3a2878f55a9299f80a1f46ee75","after":"308711c656e659c329de8bd5e4b2d53a0987fc9c","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2023-12-29T16:57:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"changed decompSize and added some panics","shortMessageHtmlLink":"changed decompSize and added some panics"}},{"before":"b78a29403fdce3d4c24fa687c63a2b4e26c0586f","after":"bd7959173f83db3a2878f55a9299f80a1f46ee75","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2023-12-29T03:38:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"made global poseidon chip","shortMessageHtmlLink":"made global poseidon chip"}},{"before":"790b7eaa63c91b2890dcdb83148f6acf6a586b0c","after":"b78a29403fdce3d4c24fa687c63a2b4e26c0586f","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2023-12-29T01:27:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"most of the code done","shortMessageHtmlLink":"most of the code done"}},{"before":null,"after":"790b7eaa63c91b2890dcdb83148f6acf6a586b0c","ref":"refs/heads/kevjue/range_check_assert","pushedAt":"2023-12-29T00:06:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"initial commit","shortMessageHtmlLink":"initial commit"}},{"before":"1a0372621cbc4aa8f76623cae72caec04db530a3","after":"d241f54f485be2ba27ee23642aa2090004ef8b83","ref":"refs/heads/kevjue/audit_fixes","pushedAt":"2023-12-26T15:50:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"address veridise feedback for V-SCT-VUL-007 and V-SCT-VUL-011 (hasInv needed to be constrained)","shortMessageHtmlLink":"address veridise feedback for V-SCT-VUL-007 and V-SCT-VUL-011 (hasInv…"}},{"before":null,"after":"daad394f734c7641625d1d2b573a13ad266001c2","ref":"refs/heads/kevjue/assert_leading_zeros_optimizations","pushedAt":"2023-12-22T19:43:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"constraint optimizations for assertLeadingZeros","shortMessageHtmlLink":"constraint optimizations for assertLeadingZeros"}},{"before":"f71795a697d57969e7e408e6bd3baa2a923804df","after":"1a0372621cbc4aa8f76623cae72caec04db530a3","ref":"refs/heads/kevjue/audit_fixes","pushedAt":"2023-12-21T22:20:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"removed Exp in goldilocks/base.go per V-SCT-VUL-016","shortMessageHtmlLink":"removed Exp in goldilocks/base.go per V-SCT-VUL-016"}},{"before":null,"after":"9be0171580f3634d2326b328238564f759ce8c0f","ref":"refs/heads/kevjue/bit_decomp_range_checker","pushedAt":"2023-12-21T20:23:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kevjue","name":"Kevin Jue","path":"/kevjue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7953309?s=80&v=4"},"commit":{"message":"added support to optionally use bit decompose range checker","shortMessageHtmlLink":"added support to optionally use bit decompose range checker"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD_BW8SQA","startCursor":null,"endCursor":null}},"title":"Activity · succinctlabs/gnark-plonky2-verifier"}