{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":713430256,"defaultBranch":"main","name":"sindri-js","ownerLogin":"Sindri-Labs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-02T14:03:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/107868552?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721824595.0","currentOid":""},"activityList":{"items":[{"before":"28a99f2fcc27d27e7f30529b963ea8dde095f378","after":null,"ref":"refs/heads/klm-add-plonky2","pushedAt":"2024-07-24T12:36:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"katiemckeon","name":"Katie McKeon","path":"/katiemckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62887234?s=80&v=4"}},{"before":"0cf9f7b314470d512415e2c060fff850ffbd5480","after":"d83fcd50360aad21a13b1ee3be52a3f17b7bc0b7","ref":"refs/heads/main","pushedAt":"2024-07-24T12:35:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"katiemckeon","name":"Katie McKeon","path":"/katiemckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62887234?s=80&v=4"},"commit":{"message":"Adding Plonky2 to Sindri Manifest (#119)\n\nThis PR updates the sindri-js linter with information for Plonky2\r\ncircuits.","shortMessageHtmlLink":"Adding Plonky2 to Sindri Manifest (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2427465393\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Sindri-Labs/sindri-js/issues/119\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Sindri-Labs/sindri-js/pull/119/hovercard\" href=\"https://github.com/Sindri-Labs/sindri-js/pull/119\">#119</a>)"}},{"before":null,"after":"28a99f2fcc27d27e7f30529b963ea8dde095f378","ref":"refs/heads/klm-add-plonky2","pushedAt":"2024-07-24T12:28:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"katiemckeon","name":"Katie McKeon","path":"/katiemckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62887234?s=80&v=4"},"commit":{"message":"update manifest","shortMessageHtmlLink":"update manifest"}},{"before":null,"after":"0cf9f7b314470d512415e2c060fff850ffbd5480","ref":"refs/heads/ews-add-client-retry-strategy","pushedAt":"2024-07-24T10:03:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Allow disabling Circomspect in `sindri lint`\n\nThis adds support for disabling Circomspect static analysis in the `sindri\nlint` command by setting the `SINDRI_LINT_DISABLE_CIRCOMSPECT` environment\nvariable to `true`. This is primarily motivated by internal use-cases where we\nwant to check the Sindri manifest schema of test circuits which deliberately\nhave other issues, so I don't think it's necessary that we document it at this\npoint. As we start adding more options like this, we probably should give some\nthought to documentation.\n\nMerges #117\n\nLGTM given by: @KPreisner","shortMessageHtmlLink":"Allow disabling Circomspect in <code>sindri lint</code>"}},{"before":null,"after":"0cf9f7b314470d512415e2c060fff850ffbd5480","ref":"refs/heads/ews-add-smart-contract-download","pushedAt":"2024-07-18T19:12:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Allow disabling Circomspect in `sindri lint`\n\nThis adds support for disabling Circomspect static analysis in the `sindri\nlint` command by setting the `SINDRI_LINT_DISABLE_CIRCOMSPECT` environment\nvariable to `true`. This is primarily motivated by internal use-cases where we\nwant to check the Sindri manifest schema of test circuits which deliberately\nhave other issues, so I don't think it's necessary that we document it at this\npoint. As we start adding more options like this, we probably should give some\nthought to documentation.\n\nMerges #117\n\nLGTM given by: @KPreisner","shortMessageHtmlLink":"Allow disabling Circomspect in <code>sindri lint</code>"}},{"before":"57d6684362141c67599bce4c41261432d6ffdcc5","after":null,"ref":"refs/heads/ews-add-env-var-to-disable-circomspect","pushedAt":"2024-07-10T18:53:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"}},{"before":"72d20b73e403975177c1912b3ceb217ebcf7f322","after":"0cf9f7b314470d512415e2c060fff850ffbd5480","ref":"refs/heads/main","pushedAt":"2024-07-10T18:53:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Allow disabling Circomspect in `sindri lint`\n\nThis adds support for disabling Circomspect static analysis in the `sindri\nlint` command by setting the `SINDRI_LINT_DISABLE_CIRCOMSPECT` environment\nvariable to `true`. This is primarily motivated by internal use-cases where we\nwant to check the Sindri manifest schema of test circuits which deliberately\nhave other issues, so I don't think it's necessary that we document it at this\npoint. As we start adding more options like this, we probably should give some\nthought to documentation.\n\nMerges #117\n\nLGTM given by: @KPreisner","shortMessageHtmlLink":"Allow disabling Circomspect in <code>sindri lint</code>"}},{"before":"72d20b73e403975177c1912b3ceb217ebcf7f322","after":"57d6684362141c67599bce4c41261432d6ffdcc5","ref":"refs/heads/ews-add-env-var-to-disable-circomspect","pushedAt":"2024-07-10T18:12:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Allow disabling Circomspect.","shortMessageHtmlLink":"Allow disabling Circomspect."}},{"before":null,"after":"72d20b73e403975177c1912b3ceb217ebcf7f322","ref":"refs/heads/ews-add-env-var-to-disable-circomspect","pushedAt":"2024-07-10T17:54:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Set default circomspect library paths when versions allow\n\nCircomspect added support for a `-L`/`--library` search path flag in analogy to\nCircom's `-l` argument (as of trailofbits/circomspect#21) that we use on the\nbackend with defaults of the project root and the `node_modules` subdirectory.\nThis PR updates the `sindri lint` command to check whether the current\nCircomspect version supports the argument, and then to specify the same search\npaths if the argument is supported. We'll probably end up making the search\npaths configurable, but this makes the backend consistent with `sindri lint` in\nthe meantime.\n\nFor testing it manually, you can run\n\n```bash\ndocker compose up -d\ndocker compose exec sindri-js bash\n```\n\non the latest branch, change into a directory with one of our example Circom circuits that has been failing linting, and then run:\n\n```bash\nsindri lint\n```\n\nto make sure that things work as expected.\n\nMerges #116\n\nLGTM given by: @KPreisner","shortMessageHtmlLink":"Set default circomspect library paths when versions allow"}},{"before":"11260c0f2bc5cb240d8f7eac3c855ed9fb5e0712","after":null,"ref":"refs/heads/ews-add-circomspect-library-path","pushedAt":"2024-07-10T15:57:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"}},{"before":"9d9652b3cab5ac3ae904c24e408c38da242dcf29","after":"72d20b73e403975177c1912b3ceb217ebcf7f322","ref":"refs/heads/main","pushedAt":"2024-07-10T15:57:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Set default circomspect library paths when versions allow\n\nCircomspect added support for a `-L`/`--library` search path flag in analogy to\nCircom's `-l` argument (as of trailofbits/circomspect#21) that we use on the\nbackend with defaults of the project root and the `node_modules` subdirectory.\nThis PR updates the `sindri lint` command to check whether the current\nCircomspect version supports the argument, and then to specify the same search\npaths if the argument is supported. We'll probably end up making the search\npaths configurable, but this makes the backend consistent with `sindri lint` in\nthe meantime.\n\nFor testing it manually, you can run\n\n```bash\ndocker compose up -d\ndocker compose exec sindri-js bash\n```\n\non the latest branch, change into a directory with one of our example Circom circuits that has been failing linting, and then run:\n\n```bash\nsindri lint\n```\n\nto make sure that things work as expected.\n\nMerges #116\n\nLGTM given by: @KPreisner","shortMessageHtmlLink":"Set default circomspect library paths when versions allow"}},{"before":"d517130b45f1c92f1489903bd1f271d446b4ffb2","after":"11260c0f2bc5cb240d8f7eac3c855ed9fb5e0712","ref":"refs/heads/ews-add-circomspect-library-path","pushedAt":"2024-07-08T23:21:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Make a comment more clear.","shortMessageHtmlLink":"Make a comment more clear."}},{"before":"9d9652b3cab5ac3ae904c24e408c38da242dcf29","after":"d517130b45f1c92f1489903bd1f271d446b4ffb2","ref":"refs/heads/ews-add-circomspect-library-path","pushedAt":"2024-07-08T23:14:19.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Add a TODO for the circomspect version bug.","shortMessageHtmlLink":"Add a TODO for the circomspect version bug."}},{"before":null,"after":"9d9652b3cab5ac3ae904c24e408c38da242dcf29","ref":"refs/heads/ews-add-circomspect-library-path","pushedAt":"2024-07-08T22:28:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Add new Halo2 and Noir versions to the sindri manifest schema\n\nThis adds the new Noir v.24.0-v.28.0 versions and Halo2 PSE v0.3.0. It also\nbumps the zksync VM version tags which I think we actually want to filter out\nfrom the schema, but that can be done as a followup.\n\nMerges #115\n\nLGTM given by: @KPreisner","shortMessageHtmlLink":"Add new Halo2 and Noir versions to the sindri manifest schema"}},{"before":"cb240b1b4580d12b5dbd43f0549f222be64111ff","after":null,"ref":"refs/heads/ews-update-sindri-manifest-schema","pushedAt":"2024-07-08T22:28:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"}},{"before":"7c2e72ab6f22df192f2feb2dd8f45d9076b0f6aa","after":"9d9652b3cab5ac3ae904c24e408c38da242dcf29","ref":"refs/heads/main","pushedAt":"2024-07-08T22:28:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Add new Halo2 and Noir versions to the sindri manifest schema\n\nThis adds the new Noir v.24.0-v.28.0 versions and Halo2 PSE v0.3.0. It also\nbumps the zksync VM version tags which I think we actually want to filter out\nfrom the schema, but that can be done as a followup.\n\nMerges #115\n\nLGTM given by: @KPreisner","shortMessageHtmlLink":"Add new Halo2 and Noir versions to the sindri manifest schema"}},{"before":"7c2e72ab6f22df192f2feb2dd8f45d9076b0f6aa","after":"cb240b1b4580d12b5dbd43f0549f222be64111ff","ref":"refs/heads/ews-update-sindri-manifest-schema","pushedAt":"2024-07-08T18:44:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Update the manifest schema.","shortMessageHtmlLink":"Update the manifest schema."}},{"before":null,"after":"7c2e72ab6f22df192f2feb2dd8f45d9076b0f6aa","ref":"refs/heads/ews-update-sindri-manifest-schema","pushedAt":"2024-07-08T18:41:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Add PSE halo2 template to CLI\n\nThis PR introduces another template circuit for the PSE v0.3.0 Halo2 version we\nnow support.  Since Axiom v0.3.0 is equally likely to be of interest to users,\nI did not decide to replace that template.  Rather we now have two choices for\nHalo2.\n\nThis complicates our template locations a little bit.  Please determine if you\nare okay with the way I did that (`templatePath` is a new variable that usually\nequals `circuitType`, except in the case of Halo2, where it becomes\n`$circuitType/$halo2Version`.)\n\nI have tested existing frameworks to ensure the introduction of `templatePath`\ndid not effect support for those.  I also ran `sindri deploy` and `sindri proof\ncreate` on both Halo2 templates to ensure correctness.\n\nMerges #107\n\nLGTM given by: @sangaline","shortMessageHtmlLink":"Add PSE halo2 template to CLI"}},{"before":"3cad1fe27a01edbc226f66a05a0a5e6dad591250","after":null,"ref":"refs/heads/klm-pse-halo2-template","pushedAt":"2024-06-13T13:20:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"}},{"before":"4a4d8d44f66f0064330f13c13b1c86e4aefd937a","after":"7c2e72ab6f22df192f2feb2dd8f45d9076b0f6aa","ref":"refs/heads/main","pushedAt":"2024-06-13T13:19:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Add PSE halo2 template to CLI\n\nThis PR introduces another template circuit for the PSE v0.3.0 Halo2 version we\nnow support.  Since Axiom v0.3.0 is equally likely to be of interest to users,\nI did not decide to replace that template.  Rather we now have two choices for\nHalo2.\n\nThis complicates our template locations a little bit.  Please determine if you\nare okay with the way I did that (`templatePath` is a new variable that usually\nequals `circuitType`, except in the case of Halo2, where it becomes\n`$circuitType/$halo2Version`.)\n\nI have tested existing frameworks to ensure the introduction of `templatePath`\ndid not effect support for those.  I also ran `sindri deploy` and `sindri proof\ncreate` on both Halo2 templates to ensure correctness.\n\nMerges #107\n\nLGTM given by: @sangaline","shortMessageHtmlLink":"Add PSE halo2 template to CLI"}},{"before":"556d4fe5f51aab5b34503629abd2f9ae00bf8c5e","after":"3cad1fe27a01edbc226f66a05a0a5e6dad591250","ref":"refs/heads/klm-pse-halo2-template","pushedAt":"2024-06-13T13:16:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Newline at end of file.","shortMessageHtmlLink":"Newline at end of file."}},{"before":"379780b8c9e8f05f24f7210bd2bf56657200a8ed","after":"556d4fe5f51aab5b34503629abd2f9ae00bf8c5e","ref":"refs/heads/klm-pse-halo2-template","pushedAt":"2024-06-13T13:08:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Fix typing, minor cleanup.","shortMessageHtmlLink":"Fix typing, minor cleanup."}},{"before":"a390102f940b657a2ff7a6ab0d9ab162043ff16c","after":"379780b8c9e8f05f24f7210bd2bf56657200a8ed","ref":"refs/heads/klm-pse-halo2-template","pushedAt":"2024-06-13T12:53:41.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Merge branch 'main' into klm-pse-halo2-template","shortMessageHtmlLink":"Merge branch 'main' into klm-pse-halo2-template"}},{"before":"231f906710865dd3f5812bd297c125243805f09d","after":null,"ref":"refs/heads/ews-validate-api-key-length","pushedAt":"2024-06-06T13:20:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"}},{"before":"78e65635ece2081cf6d755c92ff61cf93b76a5bd","after":"4a4d8d44f66f0064330f13c13b1c86e4aefd937a","ref":"refs/heads/main","pushedAt":"2024-06-06T13:20:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Validate API key length\n\nWe collect an API key name during `sindri login` and the backend only supports\na maximum length of 32. This PR adds a simple input validator for the field\nthat displays an \"API key name must 32 characters or fewer\" error message and\nallows the user to modify the input and try again. Previously they would have\ngotten a fatal API error requiring them to start over and re-enter their\ncredentials.\n\nConnects #109\n\nMerges #111","shortMessageHtmlLink":"Validate API key length"}},{"before":"24565a04b2bf38e9f6f1072eacd1c3c83f313412","after":"231f906710865dd3f5812bd297c125243805f09d","ref":"refs/heads/ews-validate-api-key-length","pushedAt":"2024-06-06T13:16:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Fix grammar.","shortMessageHtmlLink":"Fix grammar."}},{"before":"78e65635ece2081cf6d755c92ff61cf93b76a5bd","after":"24565a04b2bf38e9f6f1072eacd1c3c83f313412","ref":"refs/heads/ews-validate-api-key-length","pushedAt":"2024-06-06T13:14:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Add API key length validation.","shortMessageHtmlLink":"Add API key length validation."}},{"before":null,"after":"78e65635ece2081cf6d755c92ff61cf93b76a5bd","ref":"refs/heads/ews-validate-api-key-length","pushedAt":"2024-06-06T13:09:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Trim hostname to 28 character to avoid too long suggestion for API key (#110)\n\nTrim hostname to 28 character to avoid login error with too long hostname as suggestion for API key\r\n\r\nAs mention in #109","shortMessageHtmlLink":"Trim hostname to 28 character to avoid too long suggestion for API key ("}},{"before":"8beb80db55ebc80cdf07e3558c9a1dcb7b21b045","after":"78e65635ece2081cf6d755c92ff61cf93b76a5bd","ref":"refs/heads/main","pushedAt":"2024-06-06T13:07:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"},"commit":{"message":"Trim hostname to 28 character to avoid too long suggestion for API key (#110)\n\nTrim hostname to 28 character to avoid login error with too long hostname as suggestion for API key\r\n\r\nAs mention in #109","shortMessageHtmlLink":"Trim hostname to 28 character to avoid too long suggestion for API key ("}},{"before":"fee6fc10cdcc6a7bb0b3c47e4f12c325aad97b59","after":null,"ref":"refs/heads/ews-add-gnark-v0.10.0-support","pushedAt":"2024-06-04T02:33:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sangaline","name":"Evan Sangaline","path":"/sangaline","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8236564?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEh-xe8gA","startCursor":null,"endCursor":null}},"title":"Activity · Sindri-Labs/sindri-js"}