{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":678760177,"defaultBranch":"main","name":"sonobe","ownerLogin":"privacy-scaling-explorations","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-15T10:05:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/61636542?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726733067.0","currentOid":""},"activityList":{"items":[{"before":"e9fd60e76a16c97acbb536c5535484d96e8de633","after":"183a7a5606cf75cd692b9be15bef6793c84fb894","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-20T09:22:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"Implement Nova's Offchain-Decider circuits\n\n* Implement Nova's Offchain-Decider circuits (on both curves)\n  (curve1 circuit: ~152k constraints, curve2 circuit: ~8k constraints)\n  following the enumeration of the Offchain Decider docs:\n  https://privacy-scaling-explorations.github.io/sonobe-docs/design/nova-decider-offchain.html\n* Update enumeration of checks in Onchain-Decider circuit\n  (decider_eth_circuit.rs) to match the updated Onchain Decider docs:\n  https://privacy-scaling-explorations.github.io/sonobe-docs/design/nova-decider-onchain.html","shortMessageHtmlLink":"Implement Nova's Offchain-Decider circuits"}},{"before":"6c3f0ad6e8056b3a417328a72b27e59524312762","after":"e9fd60e76a16c97acbb536c5535484d96e8de633","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-20T09:17:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"Implement Nova's Offchain-Decider circuits\n\n* Implement Nova's Offchain-Decider circuits (on both curves)\n  (curve1 circuit: ~152k constraints, curve2 circuit: ~8k constraints)\n  following the enumeration of the Offchain Decider docs:\n  https://privacy-scaling-explorations.github.io/sonobe-docs/design/nova-decider-offchain.html\n* Update enumeration of checks in Onchain-Decider circuit\n  (decider_eth_circuit.rs) to match the updated Onchain Decider docs:\n  https://privacy-scaling-explorations.github.io/sonobe-docs/design/nova-decider-onchain.html","shortMessageHtmlLink":"Implement Nova's Offchain-Decider circuits"}},{"before":"29f3fd8ebe090650ea9e64a4b57f3222363de797","after":"6c3f0ad6e8056b3a417328a72b27e59524312762","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-20T09:12:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"Implement Nova's Offchain-Decider circuits\n\n* Implement Nova's Offchain-Decider circuits (on both curves)\n  (curve1 circuit: ~152k constraints, curve2 circuit: ~8k constraints)\n  following the enumeration of the Offchain Decider docs:\n  https://privacy-scaling-explorations.github.io/sonobe-docs/design/nova-decider-offchain.html\n* Update enumeration of checks in Onchain-Decider circuit\n  (decider_eth_circuit.rs) to match the updated Onchain Decider docs:\n  https://privacy-scaling-explorations.github.io/sonobe-docs/design/nova-decider-onchain.html","shortMessageHtmlLink":"Implement Nova's Offchain-Decider circuits"}},{"before":"dfd03ea3865b26d20a6f306bb3cfb24a4b9e0c60","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-157-1947ab0f51ec535a337b1c41bb399d56a0ec6954","pushedAt":"2024-09-19T17:36:35.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":"1947ab0f51ec535a337b1c41bb399d56a0ec6954","after":"dfd03ea3865b26d20a6f306bb3cfb24a4b9e0c60","ref":"refs/heads/main","pushedAt":"2024-09-19T17:36:35.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":"Traits for witnesses and committed instances (#157)\n\n* Add traits for witness and committed instance\n\n* Implement witness and committed instance traits for Nova and HyperNova\n\n* Implement witness and committed instance traits for ProtoGalaxy\n\n* Improve the clarity of docs for `Witness{Var}Ext::get_openings`\n\n* Avoid cloning `z_i`\n\n* Fix grammar issues\n\n* Rename `Ext` traits for committed instances and witnesses to `Ops`\n\n* Implement `to_sponge_bytes`","shortMessageHtmlLink":"Traits for witnesses and committed instances (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2512130390\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/sonobe/issues/157\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/sonobe/pull/157/hovercard\" href=\"https://github.com/privacy-scaling-explorations/sonobe/pull/157\">#157</a>)"}},{"before":null,"after":"dfd03ea3865b26d20a6f306bb3cfb24a4b9e0c60","ref":"refs/heads/gh-readonly-queue/main/pr-157-1947ab0f51ec535a337b1c41bb399d56a0ec6954","pushedAt":"2024-09-19T17:36:35.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":"Traits for witnesses and committed instances (#157)\n\n* Add traits for witness and committed instance\n\n* Implement witness and committed instance traits for Nova and HyperNova\n\n* Implement witness and committed instance traits for ProtoGalaxy\n\n* Improve the clarity of docs for `Witness{Var}Ext::get_openings`\n\n* Avoid cloning `z_i`\n\n* Fix grammar issues\n\n* Rename `Ext` traits for committed instances and witnesses to `Ops`\n\n* Implement `to_sponge_bytes`","shortMessageHtmlLink":"Traits for witnesses and committed instances (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2512130390\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/sonobe/issues/157\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/sonobe/pull/157/hovercard\" href=\"https://github.com/privacy-scaling-explorations/sonobe/pull/157\">#157</a>)"}},{"before":"1947ab0f51ec535a337b1c41bb399d56a0ec6954","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-159-1322767a1e95d3c626ae4a6194b23da90c2d7b7f","pushedAt":"2024-09-19T08:04:27.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":"1322767a1e95d3c626ae4a6194b23da90c2d7b7f","after":"1947ab0f51ec535a337b1c41bb399d56a0ec6954","ref":"refs/heads/main","pushedAt":"2024-09-19T08:04:26.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":"feat/hypernova serialization (#159)\n\n* feat: implement serialization of hypernova prover and verifier params, proof and\npublic inputs\n\n* chore: remove leftover comments\n\n* chore: remove timers\n\n* chore: improve typing and import naming","shortMessageHtmlLink":"feat/hypernova serialization (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2522386726\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/sonobe/issues/159\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/sonobe/pull/159/hovercard\" href=\"https://github.com/privacy-scaling-explorations/sonobe/pull/159\">#159</a>)"}},{"before":null,"after":"1947ab0f51ec535a337b1c41bb399d56a0ec6954","ref":"refs/heads/gh-readonly-queue/main/pr-159-1322767a1e95d3c626ae4a6194b23da90c2d7b7f","pushedAt":"2024-09-19T08:04:26.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":"feat/hypernova serialization (#159)\n\n* feat: implement serialization of hypernova prover and verifier params, proof and\npublic inputs\n\n* chore: remove leftover comments\n\n* chore: remove timers\n\n* chore: improve typing and import naming","shortMessageHtmlLink":"feat/hypernova serialization (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2522386726\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/sonobe/issues/159\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/sonobe/pull/159/hovercard\" href=\"https://github.com/privacy-scaling-explorations/sonobe/pull/159\">#159</a>)"}},{"before":"b0cd5aae68c764fae98c29b25ae3f0ff1e314f64","after":"67fcb0faec6367ce91922a83fe00660b933a4dc9","ref":"refs/heads/feat/hypernova-serialization","pushedAt":"2024-09-18T14:03:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmpierre","name":"Pierre","path":"/dmpierre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23149200?s=80&v=4"},"commit":{"message":"chore: improve typing and import naming","shortMessageHtmlLink":"chore: improve typing and import naming"}},{"before":"23a7d15a07d65347238f4807d1c42d455f7f4105","after":"29f3fd8ebe090650ea9e64a4b57f3222363de797","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-17T10:02:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"Implement Nova's Offchain-Decider circuits\n\n* Implement Nova's Offchain-Decider circuits (on both curves)\n  (curve1 circuit: ~152k constraints, curve2 circuit: ~8k constraints)\n  following the enumeration of the Offchain Decider docs:\n  https://privacy-scaling-explorations.github.io/sonobe-docs/design/nova-decider-offchain.html\n* Update enumeration of checks in Onchain-Decider circuit\n  (decider_eth_circuit.rs) to match the updated Onchain Decider docs:\n  https://privacy-scaling-explorations.github.io/sonobe-docs/design/nova-decider-onchain.html","shortMessageHtmlLink":"Implement Nova's Offchain-Decider circuits"}},{"before":"459a3a05dad9f63f3f902a59c732ce1a2ed06b23","after":"23a7d15a07d65347238f4807d1c42d455f7f4105","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-17T10:01:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"Implement Nova's Offchain-Decider circuits\n\n* Implement Nova's Offchain-Decider circuits (on both curves)\n  (curve1 circuit: ~152k constraints, curve2 circuit: ~8k constraints)\n* Update enumeration of checks in Onchain-Decider circuit (decider_eth_circuit.rs)","shortMessageHtmlLink":"Implement Nova's Offchain-Decider circuits"}},{"before":"72b6f0c505bdf3d5d1060609732cf01f4e833040","after":"459a3a05dad9f63f3f902a59c732ce1a2ed06b23","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-17T09:54:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"Implement Nova's Offchain-Decider circuits\n\n* Implement Nova's Offchain-Decider circuits (on both curves)\n  (curve1 circuit: ~152k constraints, curve2 circuit: ~8k constraints)\n* Update enumeration of checks in Onchain-Decider circuit (decider_eth_circuit.rs)","shortMessageHtmlLink":"Implement Nova's Offchain-Decider circuits"}},{"before":"d2fb7969b5400ab7d0e9b8dfca690a7231bfebbe","after":"72b6f0c505bdf3d5d1060609732cf01f4e833040","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-17T09:49:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"done","shortMessageHtmlLink":"done"}},{"before":"cdfa24f16c1e6fe4212a90c0ed540415e291ff7b","after":"b0cd5aae68c764fae98c29b25ae3f0ff1e314f64","ref":"refs/heads/feat/hypernova-serialization","pushedAt":"2024-09-17T09:13:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmpierre","name":"Pierre","path":"/dmpierre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23149200?s=80&v=4"},"commit":{"message":"chore: remove timers","shortMessageHtmlLink":"chore: remove timers"}},{"before":"74d5c8ec77d21d52e1331dee551996e88e310fb1","after":"d2fb7969b5400ab7d0e9b8dfca690a7231bfebbe","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-16T17:05:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"d6e0c41a6442a55d6b9fbe62db160edf9e7ee30f","after":"cdfa24f16c1e6fe4212a90c0ed540415e291ff7b","ref":"refs/heads/feat/hypernova-serialization","pushedAt":"2024-09-16T16:58:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmpierre","name":"Pierre","path":"/dmpierre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23149200?s=80&v=4"},"commit":{"message":"chore: remove leftover comments","shortMessageHtmlLink":"chore: remove leftover comments"}},{"before":"584989edff048b021ee33578e841c6242390120e","after":"d6e0c41a6442a55d6b9fbe62db160edf9e7ee30f","ref":"refs/heads/feat/hypernova-serialization","pushedAt":"2024-09-16T09:13:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dmpierre","name":"Pierre","path":"/dmpierre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23149200?s=80&v=4"},"commit":{"message":"feat: implement serialization of hypernova prover and verifier params, proof and\npublic inputs","shortMessageHtmlLink":"feat: implement serialization of hypernova prover and verifier params…"}},{"before":"94ba2ca35f775de192f8f3163d64b0d399b28c4e","after":"584989edff048b021ee33578e841c6242390120e","ref":"refs/heads/feat/hypernova-serialization","pushedAt":"2024-09-16T08:29:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dmpierre","name":"Pierre","path":"/dmpierre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23149200?s=80&v=4"},"commit":{"message":"feat: implement custom deserialization for `ProveParams` and\n`VerifierParams`, implement tests for decider","shortMessageHtmlLink":"feat: implement custom deserialization for <code>ProveParams</code> and"}},{"before":"4c1b44999b8e725e54756f1ac8d358e73c01e05e","after":"74d5c8ec77d21d52e1331dee551996e88e310fb1","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-15T20:42:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"continue offchain decider circuits, update enumeration of checks in decider_eth_circuit.rs","shortMessageHtmlLink":"continue offchain decider circuits, update enumeration of checks in d…"}},{"before":"118a6080d06c0059796f54384f42b878eb8b6c1e","after":"4c1b44999b8e725e54756f1ac8d358e73c01e05e","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-14T10:18:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"35c5161a7f033361f3e0c86e47911b4280cabf32","after":"118a6080d06c0059796f54384f42b878eb8b6c1e","ref":"refs/heads/offchain-decider-circuits-nova","pushedAt":"2024-09-12T14:15:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"implement initial version of Nova's offchain-decider circuits (on both curves)\n\n(curve1 circuit: ~146k constraints, curve2 circuit: ~5k constraints)","shortMessageHtmlLink":"implement initial version of Nova's offchain-decider circuits (on bot…"}},{"before":"1322767a1e95d3c626ae4a6194b23da90c2d7b7f","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-123-0ad54576ec6462d63313ebde18bb0a24669fd00e","pushedAt":"2024-09-12T14:09:10.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":null,"after":"1322767a1e95d3c626ae4a6194b23da90c2d7b7f","ref":"refs/heads/gh-readonly-queue/main/pr-123-0ad54576ec6462d63313ebde18bb0a24669fd00e","pushedAt":"2024-09-12T14:09:09.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":"Protogalaxy based IVC (#123)\n\n* Parallelize vector and matrix operations\n\n* Implement convenient methods for `NonNativeAffineVar`\n\n* Return `L_X_evals` and intermediate `phi_star`s from ProtoGalaxy prover.\n\nThese values will be used as hints to the augmented circuit\n\n* Correctly use number of variables, number of constraints, and `t`\n\n* Fix the size of `F_coeffs` and `K_coeffs` for in-circuit consistency\n\n* Improve prover's performance\n\n* Make `prepare_inputs` generic\n\n* Remove redundant parameters in verifier\n\n* Move `eval_f` to arith\n\n* `u` is unnecessary in ProtoGalaxy\n\n* Convert `RelaxedR1CS` to a trait that can be used in both Nova and ProtoGalaxy\n\n* Implement several traits for ProtoGalaxy\n\n* Move `FCircuit` impls to `utils.rs` and add `DummyCircuit`\n\n* `AugmentedFCircuit` and ProtoGalaxy-based IVC\n\n* Add explanations about IVC prover and in-circuit operations\n\n* Avoid using unstable features\n\n* Rename `PROTOGALAXY` to `PG` to make clippy happy\n\n* Fix merge conflicts in `RelaxedR1CS::sample`\n\n* Fix merge conflicts in `CycleFoldCircuit`\n\n* Swap `m` and `n` for protogalaxy\n\n* Add `#[cfg(test)]` to test-only util circuits\n\n* Prefer unit struct over empty struct\n\n* Add documents to `AugmentedFCircuit` for ProtoGalaxy\n\n* Fix the names for CycleFold cricuits in ProtoGalaxy\n\n* Fix usize conversion when targeting wasm\n\n* Restrict the visibility of fields in `AugmentedFCircuit` to `pub(super)`\n\n* Make CycleFold circuits and configs public\n\n* Add docs for `ProverParams` and `VerifierParams`\n\n* Refactor `pow_i`\n\n* Fix imports\n\n* Remove lint reasons\n\n* Fix type inference","shortMessageHtmlLink":"Protogalaxy based IVC (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2392782882\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/sonobe/issues/123\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/sonobe/pull/123/hovercard\" href=\"https://github.com/privacy-scaling-explorations/sonobe/pull/123\">#123</a>)"}},{"before":"0ad54576ec6462d63313ebde18bb0a24669fd00e","after":"1322767a1e95d3c626ae4a6194b23da90c2d7b7f","ref":"refs/heads/main","pushedAt":"2024-09-12T14:09:09.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":"Protogalaxy based IVC (#123)\n\n* Parallelize vector and matrix operations\n\n* Implement convenient methods for `NonNativeAffineVar`\n\n* Return `L_X_evals` and intermediate `phi_star`s from ProtoGalaxy prover.\n\nThese values will be used as hints to the augmented circuit\n\n* Correctly use number of variables, number of constraints, and `t`\n\n* Fix the size of `F_coeffs` and `K_coeffs` for in-circuit consistency\n\n* Improve prover's performance\n\n* Make `prepare_inputs` generic\n\n* Remove redundant parameters in verifier\n\n* Move `eval_f` to arith\n\n* `u` is unnecessary in ProtoGalaxy\n\n* Convert `RelaxedR1CS` to a trait that can be used in both Nova and ProtoGalaxy\n\n* Implement several traits for ProtoGalaxy\n\n* Move `FCircuit` impls to `utils.rs` and add `DummyCircuit`\n\n* `AugmentedFCircuit` and ProtoGalaxy-based IVC\n\n* Add explanations about IVC prover and in-circuit operations\n\n* Avoid using unstable features\n\n* Rename `PROTOGALAXY` to `PG` to make clippy happy\n\n* Fix merge conflicts in `RelaxedR1CS::sample`\n\n* Fix merge conflicts in `CycleFoldCircuit`\n\n* Swap `m` and `n` for protogalaxy\n\n* Add `#[cfg(test)]` to test-only util circuits\n\n* Prefer unit struct over empty struct\n\n* Add documents to `AugmentedFCircuit` for ProtoGalaxy\n\n* Fix the names for CycleFold cricuits in ProtoGalaxy\n\n* Fix usize conversion when targeting wasm\n\n* Restrict the visibility of fields in `AugmentedFCircuit` to `pub(super)`\n\n* Make CycleFold circuits and configs public\n\n* Add docs for `ProverParams` and `VerifierParams`\n\n* Refactor `pow_i`\n\n* Fix imports\n\n* Remove lint reasons\n\n* Fix type inference","shortMessageHtmlLink":"Protogalaxy based IVC (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2392782882\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/sonobe/issues/123\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/sonobe/pull/123/hovercard\" href=\"https://github.com/privacy-scaling-explorations/sonobe/pull/123\">#123</a>)"}},{"before":"0ad54576ec6462d63313ebde18bb0a24669fd00e","after":"94ba2ca35f775de192f8f3163d64b0d399b28c4e","ref":"refs/heads/feat/hypernova-serialization","pushedAt":"2024-09-12T13:21:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dmpierre","name":"Pierre","path":"/dmpierre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23149200?s=80&v=4"},"commit":{"message":"feat: init serialization module for hypernova and export `test_ivc_opt`\nfor testing","shortMessageHtmlLink":"feat: init serialization module for hypernova and export <code>test_ivc_opt</code>"}},{"before":null,"after":"0ad54576ec6462d63313ebde18bb0a24669fd00e","ref":"refs/heads/feat/hypernova-serialization","pushedAt":"2024-09-12T08:32:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dmpierre","name":"Pierre","path":"/dmpierre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23149200?s=80&v=4"},"commit":{"message":"implement HyperNova's DeciderEth (#156)\n\n* implement HyperNova's DeciderEth\n\n* add remark about Nova's zk layer implementation and the 3 identified use cases","shortMessageHtmlLink":"implement HyperNova's DeciderEth (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2507249785\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/sonobe/issues/156\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/sonobe/pull/156/hovercard\" href=\"https://github.com/privacy-scaling-explorations/sonobe/pull/156\">#156</a>)"}},{"before":"f0bb561ac7b2694db68e7a37a1c401322770d7cf","after":"b3e3b3e0aba6e19b5421f0d47b8d52c829162efd","ref":"refs/heads/frontend-features","pushedAt":"2024-09-11T14:22:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arnaucube","name":"arnaucube","path":"/arnaucube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17317030?s=80&v=4"},"commit":{"message":"add frontend features to reduce the amount of dependencies and compilation time\n\nThe reasoning behind this is that compilation time now is too long, in\npart because dependencies on specific frontends, so if the compilation\ndon't use some frontend it can be turned off by default.","shortMessageHtmlLink":"add frontend features to reduce the amount of dependencies and compil…"}},{"before":"0ad54576ec6462d63313ebde18bb0a24669fd00e","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-156-1f7bf0462b88252fa5a4783b598a8eed29fcc644","pushedAt":"2024-09-10T15:10:16.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":"1f7bf0462b88252fa5a4783b598a8eed29fcc644","after":"0ad54576ec6462d63313ebde18bb0a24669fd00e","ref":"refs/heads/main","pushedAt":"2024-09-10T15:10:15.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":"implement HyperNova's DeciderEth (#156)\n\n* implement HyperNova's DeciderEth\n\n* add remark about Nova's zk layer implementation and the 3 identified use cases","shortMessageHtmlLink":"implement HyperNova's DeciderEth (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2507249785\" data-permission-text=\"Title is private\" data-url=\"https://github.com/privacy-scaling-explorations/sonobe/issues/156\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/privacy-scaling-explorations/sonobe/pull/156/hovercard\" href=\"https://github.com/privacy-scaling-explorations/sonobe/pull/156\">#156</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQwOToyMjowNC4wMDAwMDBazwAAAAS7xLbj","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQwOToyMjowNC4wMDAwMDBazwAAAAS7xLbj","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQxNToxMDoxNS4wMDAwMDBazwAAAASyNshG"}},"title":"Activity · privacy-scaling-explorations/sonobe"}