{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":638943606,"defaultBranch":"main","name":"sindri-resources","ownerLogin":"Sindri-Labs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-10T12:38:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/107868552?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715902789.0","currentOid":""},"activityList":{"items":[{"before":"9e8623bdc28f214590ddb2503d1af4987b67a501","after":null,"ref":"refs/heads/klm-pse-sindri-json-typo","pushedAt":"2024-05-16T23:39:49.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":"392c522d908ceefc637744e492310d2dc4ebd8fc","after":"9e88f1c30231761e8bcc60e952460846bf32de68","ref":"refs/heads/main","pushedAt":"2024-05-16T23:39:47.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":"Typo in merkle tree Sindri manifest. (#87)\n\nThe sindri.json file in our merkle tree PSE Halo2 circuit specified a\r\ndegree that was too low for the circuit. While the production compile\r\nworker automatically upscaled that, users proving locally would have had\r\nproblems. The degree is now fixed at 11.\r\n\r\nSubmitted the new `.tar.gz` to frontend. Proof that adjustments (still)\r\ncompile:\r\n\r\n![image](https://github.com/Sindri-Labs/sindri-resources/assets/62887234/23707f2f-25c5-471a-8c00-152ceab62ef3)","shortMessageHtmlLink":"Typo in merkle tree Sindri manifest. (#87)"}},{"before":"1b788654c645b1d6ee8eaa1c0fb7adcea3f96764","after":"9e8623bdc28f214590ddb2503d1af4987b67a501","ref":"refs/heads/klm-pse-sindri-json-typo","pushedAt":"2024-05-16T23:18:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"katiemckeon","name":"Katie McKeon","path":"/katiemckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62887234?s=80&v=4"},"commit":{"message":"one more time","shortMessageHtmlLink":"one more time"}},{"before":null,"after":"1b788654c645b1d6ee8eaa1c0fb7adcea3f96764","ref":"refs/heads/klm-pse-sindri-json-typo","pushedAt":"2024-05-16T23:12:58.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":"updated sindri field plus compress","shortMessageHtmlLink":"updated sindri field plus compress"}},{"before":"d29936fa8fe7956c8fb3bc3b83805d202e74bc1d","after":null,"ref":"refs/heads/klm-halo2-pse-v3-samples","pushedAt":"2024-05-15T23:46:09.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":"35404743d0453f960be5cf68266e1da802dbe8c8","after":"392c522d908ceefc637744e492310d2dc4ebd8fc","ref":"refs/heads/main","pushedAt":"2024-05-15T23:46:07.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 Halo2 pse-v0.3.0 Samples (#86)\n\nThis adds two circuits demonstrating our support and requirements for\r\nHalo2 via the PSE fork (v0.3.0). The simpler circuit computes the dot\r\nproduct of two vectors, while the larger circuit was constructed from an\r\nexternal (highly compatible) codebase. See the readme for the merkle\r\ntree circuit for more details.\r\n\r\n## Testing Instructions\r\nSubmit both circuits to our frontend to confirm that they compile \r\n- [x] `circuit_database/halo2/pse-v0.3.0/merkle_tree.zip`\r\n- [x] `circuit_database/halo2/pse-v0.3.0/vector_multiplication.zip`\r\n\r\nNotes\r\n* the input JSON files are valid. You can use the Sindri CLI to create a\r\nproof from these circuits if you'd like to see the proving output\r\n* lint is failing because our Sindri manifest schema has not been\r\nupdated to allow the new PSE halo2 subtype. (This is a non-issue)","shortMessageHtmlLink":"Adding Halo2 pse-v0.3.0 Samples (#86)"}},{"before":"2011d04dfc2ecbe51ec818169e1a246e375a207e","after":"d29936fa8fe7956c8fb3bc3b83805d202e74bc1d","ref":"refs/heads/klm-halo2-pse-v3-samples","pushedAt":"2024-05-15T22:22:52.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"katiemckeon","name":"Katie McKeon","path":"/katiemckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62887234?s=80&v=4"},"commit":{"message":"adding compressed copies","shortMessageHtmlLink":"adding compressed copies"}},{"before":null,"after":"2011d04dfc2ecbe51ec818169e1a246e375a207e","ref":"refs/heads/klm-halo2-pse-v3-samples","pushedAt":"2024-05-14T19:56:41.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":"include merkle tree circuit","shortMessageHtmlLink":"include merkle tree circuit"}},{"before":"e61e721001ade62c756c57de72f710311c2d3d51","after":null,"ref":"refs/heads/klm-gnark-plonk-mpt","pushedAt":"2024-05-08T14:05:46.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":"be54012f407ebbaf7560ac15fdf6cf48b1b3136b","after":"35404743d0453f960be5cf68266e1da802dbe8c8","ref":"refs/heads/main","pushedAt":"2024-05-08T14:05:44.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":"Add MTP Gnark+Plonk Example (#85)\n\nThis PR introduces a distinct Gnark circuit that verifies merkle tree\r\nproofs. While the circuit is compatible with either proving backend, we\r\nspecifically added the new `plonk` backend in the circuit's Sindri\r\nmanifest to demonstrate the new compatibility.\r\n\r\n## Testing Instructions\r\n\r\n1. Upload one of the compressed files to the frontend (double-checking\r\nmy compression)\r\n2. Locally, change directories to the new circuit. Then do `sindri\r\ndeploy; sindri proof create`. Thus testing the JSON input file and\r\ncircuit functionality.\r\n3. Inspect the readme additions.","shortMessageHtmlLink":"Add MTP Gnark+Plonk Example (#85)"}},{"before":"2f01cd101338b13973bf1858a8be0dc36edf0ce7","after":"e61e721001ade62c756c57de72f710311c2d3d51","ref":"refs/heads/klm-gnark-plonk-mpt","pushedAt":"2024-05-07T17:15:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"katiemckeon","name":"Katie McKeon","path":"/katiemckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62887234?s=80&v=4"},"commit":{"message":"add num constraints, newlines","shortMessageHtmlLink":"add num constraints, newlines"}},{"before":"9e849561fc2723dac91c3061e726ad7313587a4f","after":"2f01cd101338b13973bf1858a8be0dc36edf0ce7","ref":"refs/heads/klm-gnark-plonk-mpt","pushedAt":"2024-05-06T21:18:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"katiemckeon","name":"Katie McKeon","path":"/katiemckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62887234?s=80&v=4"},"commit":{"message":"forgot about debug line","shortMessageHtmlLink":"forgot about debug line"}},{"before":null,"after":"9e849561fc2723dac91c3061e726ad7313587a4f","ref":"refs/heads/klm-gnark-plonk-mpt","pushedAt":"2024-05-06T21:12:53.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":"add MTP gnark+plonk example","shortMessageHtmlLink":"add MTP gnark+plonk example"}},{"before":"4d41c7d24f2d32c1727960f9ba42a5848c3f4d5f","after":null,"ref":"refs/heads/klm-axiom-v2-zeroize","pushedAt":"2024-04-25T13:46:56.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":"466c306ebc19af46af092cf2ea7fb100ddd0f12d","after":"be54012f407ebbaf7560ac15fdf6cf48b1b3136b","ref":"refs/heads/main","pushedAt":"2024-04-25T13:46:53.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":"Updating Axiom-v2 Tutorial Circuit (#83)\n\nSimilar to the Axiom-v3 PR from yesterday, this patch downgrades the\r\nsame rust package for a different circuit. Note that this circuit is\r\nfeatured in one of our documentation walkthroughs, so I did not include\r\nany `.tar.gz` or `.zip` files, because we do not include those for the\r\ntutorial circuits.","shortMessageHtmlLink":"Updating Axiom-v2 Tutorial Circuit (#83)"}},{"before":null,"after":"4d41c7d24f2d32c1727960f9ba42a5848c3f4d5f","ref":"refs/heads/klm-axiom-v2-zeroize","pushedAt":"2024-04-25T12:54:37.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":"downgrade zeroize","shortMessageHtmlLink":"downgrade zeroize"}},{"before":"747e329c25e8dca7db75e3829c103ff7d0e3c9f0","after":null,"ref":"refs/heads/klm-patch-zeroize","pushedAt":"2024-04-24T23:14:29.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":"571739f43216ae2dfdef5e899072bd5caccad9b3","after":"466c306ebc19af46af092cf2ea7fb100ddd0f12d","ref":"refs/heads/main","pushedAt":"2024-04-24T23:14:26.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":"Updating Halo2 sample circuit (#82)\n\nThis patch forces a downgrade of a rust package that does not like our\r\ncurrent rust version. Youll note that I added the `Cargo.lock` file to\r\navoid this in the future.","shortMessageHtmlLink":"Updating Halo2 sample circuit (#82)"}},{"before":null,"after":"747e329c25e8dca7db75e3829c103ff7d0e3c9f0","ref":"refs/heads/klm-patch-zeroize","pushedAt":"2024-04-24T22:31:07.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":"add lockfile, compressed, hardcode zeroize","shortMessageHtmlLink":"add lockfile, compressed, hardcode zeroize"}},{"before":"0db35e1f2fba7df5b50229f14b9886faf459d37c","after":null,"ref":"refs/heads/klm-update-axiomv3-link","pushedAt":"2024-04-12T13:11:49.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":"e9fb8f431e822aa9ce1643125d05f2e35b878d68","after":"571739f43216ae2dfdef5e899072bd5caccad9b3","ref":"refs/heads/main","pushedAt":"2024-04-12T13:11:46.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":"Fixing Axiom v3 Tutorial Verifier (#81)\n\nThis updates a broken S3 link in order to grab the appropriate trusted\r\nsetup file so that users can locally verify a halo2 proof.\r\n\r\n## Testing Instructions\r\nFirst, make sure that you don't already have a file called\r\n`circuit_tutorials/halo2/axiom-v0.3.0/float_radius/data/kzg_bn254_15.srs`.\r\nOtherwise, the link replacement will not be tested. Then, replace the\r\napi key field in the code block below and run the following:\r\n```\r\ncd circuit_tutorials/halo2/axiom-v0.3.0/float_radius\r\nexport SINDRI_API_KEY=\r\ncargo run --bin compile\r\ncargo run --bin prove\r\ncargo run --bin verify\r\n```\r\n\r\nIf you tried the above with the main branch, you'd see a rust runtime\r\nerror, but now the final output line should be `Verification\r\nSuccessful!`. That will confirm you have successfully pulled from the\r\nnew location and verified a Sindri proof.","shortMessageHtmlLink":"Fixing Axiom v3 Tutorial Verifier (#81)"}},{"before":null,"after":"0db35e1f2fba7df5b50229f14b9886faf459d37c","ref":"refs/heads/klm-update-axiomv3-link","pushedAt":"2024-04-11T20:18:23.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 link","shortMessageHtmlLink":"update link"}},{"before":"da9bdfcd3b36d863bf27cd97f69f343f01c903c3","after":null,"ref":"refs/heads/klm-update-rust-quickstart","pushedAt":"2024-04-11T18:32:31.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":"734509c16b2aded3e922bdc299661a6c6e18e0ca","after":"e9fb8f431e822aa9ce1643125d05f2e35b878d68","ref":"refs/heads/main","pushedAt":"2024-04-11T18:32:28.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":"Patch to Rust Quickstart (#80)\n\nThis PR restores the rust quickstart functionality.\r\n\r\n## Testing Instructions\r\nYou can run the rust quickstart the same as previous instructions:\r\n```\r\ncd reference_code/quickstart rust\r\nSINDRI_API_KEY=... cargo run\r\n```\r\nYou should see the output of compile and proving (if you tried this with\r\nthe current main branch, you'd hit a runtime error during the first\r\niteration of the compile polling loop.)\r\n\r\n## Bug Source\r\nWith the new public circuits feature, we introduced the \"public\" field\r\nto the circuit detail response. That was problematic with the previous\r\nquickstart because there was a struct that assumed the public field\r\nwould only be returned as a vec (i.e. from the proof detail response),\r\notherwise it would not be found. That allowed one function to poll both\r\nthe circuit and proof status without defining an enum to capture both\r\nresponse schemas.\r\n\r\n## Solution\r\nSince this is the quickstart, defining a verbose enum that elaborates on\r\nthe entire response schemas seemed too in-depth. Rather, the poll\r\nresponse is now captured in the `serde_json::Value` type. The value type\r\nis used as a wild-card when you don't really know what JSON responses\r\nwill come back until runtime. Not the right choice for production or an\r\nSDK - but I do think it's a good fit for a quickstart template.","shortMessageHtmlLink":"Patch to Rust Quickstart (#80)"}},{"before":"be52b3797e50d8e1f849e459e16c5322731ae234","after":"da9bdfcd3b36d863bf27cd97f69f343f01c903c3","ref":"refs/heads/klm-update-rust-quickstart","pushedAt":"2024-04-11T18:24:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"katiemckeon","name":"Katie McKeon","path":"/katiemckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62887234?s=80&v=4"},"commit":{"message":"make readme more explicit","shortMessageHtmlLink":"make readme more explicit"}},{"before":"abdd99b4db4c0f37e7198a644ee2e4a6b3f3f0f4","after":"be52b3797e50d8e1f849e459e16c5322731ae234","ref":"refs/heads/klm-update-rust-quickstart","pushedAt":"2024-04-10T16:58:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"katiemckeon","name":"Katie McKeon","path":"/katiemckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62887234?s=80&v=4"},"commit":{"message":"lint","shortMessageHtmlLink":"lint"}},{"before":null,"after":"abdd99b4db4c0f37e7198a644ee2e4a6b3f3f0f4","ref":"refs/heads/klm-update-rust-quickstart","pushedAt":"2024-04-10T16:46:42.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":"drop back to serde value","shortMessageHtmlLink":"drop back to serde value"}},{"before":"06846fdc9dddcac954589c0a5311d477a82c58e7","after":"734509c16b2aded3e922bdc299661a6c6e18e0ca","ref":"refs/heads/main","pushedAt":"2024-04-04T15:19:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"derekBlackbirdMarkets","name":"DerekS","path":"/derekBlackbirdMarkets","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/103073549?s=80&v=4"},"commit":{"message":"Update Python SDK Getting Started Guide Links (#79)\n\nNow that we have multiple SDK starting guides, the Python one has been\r\nmoved to a more specific URL route. This PR updates the existing links\r\nin the repo.","shortMessageHtmlLink":"Update Python SDK Getting Started Guide Links (#79)"}},{"before":"06846fdc9dddcac954589c0a5311d477a82c58e7","after":"242d30162178c62d332416046dd238488a448cca","ref":"refs/heads/ews-use-new-python-sdk-link","pushedAt":"2024-04-03T10:29:55.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 links.","shortMessageHtmlLink":"Update the links."}},{"before":null,"after":"06846fdc9dddcac954589c0a5311d477a82c58e7","ref":"refs/heads/ews-use-new-python-sdk-link","pushedAt":"2024-04-03T09:25:21.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":"Import `Sindri` client from the Python SDK (#78)\n\nWe were previously importing `Sindri` from the `sindri.sindri`\r\nsubmodule, but it's now re-exported from the top-level module so we can\r\nuse the slightly cleaner `from sindri import Sindri` form.","shortMessageHtmlLink":"Import Sindri client from the Python SDK (#78)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETCbnEgA","startCursor":null,"endCursor":null}},"title":"Activity ยท Sindri-Labs/sindri-resources"}