Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / privacy-scaling-explorations/sonobe issues and pull requests
#45 - Implement CycleFold in Nova's IVC
Pull Request -
State: closed - Opened by arnaucube 12 months ago
Labels: Nova, circuits
#44 - Get coordinates represenation of CurveVar
Issue -
State: closed - Opened by arnaucube 12 months ago
Labels: Nova, circuits, arkworks
#44 - Get coordinates represenation of CurveVar
Issue -
State: closed - Opened by arnaucube 12 months ago
Labels: Nova, circuits, arkworks
#43 - Implement G(X), K(X) optimized computation following Claim 4.5
Issue -
State: open - Opened by arnaucube 12 months ago
Labels: ProtoGalaxy
#42 - feat: add TranscriptVar trait
Pull Request -
State: closed - Opened by dmpierre 12 months ago
#42 - feat: add TranscriptVar trait
Pull Request -
State: closed - Opened by dmpierre 12 months ago
#41 - Add TranscriptVar trait (circuit gadget)
Issue -
State: closed - Opened by arnaucube 12 months ago
Labels: circuits, common
#41 - Add TranscriptVar trait (circuit gadget)
Issue -
State: closed - Opened by arnaucube 12 months ago
Labels: circuits, common
#40 - Feature/sumcheck
Pull Request -
State: closed - Opened by dmpierre about 1 year ago
- 6 comments
#40 - Feature/sumcheck
Pull Request -
State: closed - Opened by dmpierre about 1 year ago
- 6 comments
#39 - add README.md
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
Labels: documentation
#39 - add README.md
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
Labels: documentation
#38 - Adapt SumCheck Transcript
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 1 comment
Labels: common
#38 - Adapt SumCheck Transcript
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 1 comment
Labels: common
#37 - Port/protogalaxy
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
- 2 comments
Labels: ProtoGalaxy
#37 - Port/protogalaxy
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
- 2 comments
Labels: ProtoGalaxy
#36 - Feature/nova ivc
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
- 1 comment
Labels: Nova, circuits
#35 - Feature/f circuit multiple in outs
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
Labels: Nova, circuits
#34 - Add Pedersen::{commit,open,verify} MSM error handling
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
Labels: common
#34 - Add Pedersen::{commit,open,verify} MSM error handling
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
Labels: common
#33 - implement Nova's AugmentedFCircuit
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
Labels: Nova, circuits
#32 - Implement Frontend Interface
Pull Request -
State: closed - Opened by yugocabrio about 1 year ago
- 6 comments
#32 - Implement Frontend Interface
Pull Request -
State: closed - Opened by yugocabrio about 1 year ago
- 6 comments
#31 - impl hash committed instance gadget (#17)
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
Labels: Nova, circuits
#30 - add error handling to several pending methods
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
Labels: common
#30 - add error handling to several pending methods
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
Labels: common
#29 - Implement NIFS.P & NIFS.V transcript
Pull Request -
State: closed - Opened by ashWhiteHat about 1 year ago
- 1 comment
#28 - Refactor Matrix vectors and Logical operation
Pull Request -
State: closed - Opened by ashWhiteHat about 1 year ago
Labels: common
#27 - Add keccak transcript
Pull Request -
State: open - Opened by grandchildrice about 1 year ago
- 3 comments
Labels: common
#26 - Circom wrapper's helper function
Pull Request -
State: closed - Opened by yugocabrio about 1 year ago
- 6 comments
Labels: frontend
#25 - Solidity pedersen verifier
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 5 comments
Labels: decider
#25 - Solidity pedersen verifier
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 5 comments
Labels: decider
#24 - Implement Nova folding fitting into `FoldingScheme` trait
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 3 comments
Labels: Nova
#24 - Implement Nova folding fitting into `FoldingScheme` trait
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 3 comments
Labels: Nova
#23 - Implement folding step of F'
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 1 comment
Labels: Nova
#23 - Implement folding step of F'
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 1 comment
Labels: Nova
#22 - Specify Groth16 adapted to RelaxedR1CS and fork arkworks Groth16 adapting it into that design
Issue -
State: open - Opened by arnaucube about 1 year ago
- 2 comments
Labels: decider, design
#22 - Specify Groth16 adapted to RelaxedR1CS and fork arkworks Groth16 adapting it into that design
Issue -
State: open - Opened by arnaucube about 1 year ago
- 2 comments
Labels: decider, design
#21 - Add decider circuit RelaxedR1CS
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
- 3 comments
Labels: Nova, circuits, decider
#21 - Add decider circuit RelaxedR1CS
Pull Request -
State: closed - Opened by arnaucube about 1 year ago
- 3 comments
Labels: Nova, circuits, decider
#20 - Decide commitment openings approach for the Decider
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 5 comments
Labels: decider, design
#20 - Decide commitment openings approach for the Decider
Issue -
State: closed - Opened by arnaucube about 1 year ago
- 5 comments
Labels: decider, design
#19 - Implement Decider's RelaxedR1CS in-circuit circuit
Issue -
State: closed - Opened by arnaucube about 1 year ago
Labels: Nova, circuits, decider
#18 - Implement Augmented F circuit (using CycleFold)
Issue -
State: closed - Opened by arnaucube about 1 year ago
Labels: Nova, circuits
#17 - Implement hash committed instance circuit
Issue -
State: closed - Opened by arnaucube about 1 year ago
Labels: Nova, circuits
#16 - Implement Circom wrapper
Issue -
State: closed - Opened by arnaucube over 1 year ago
- 7 comments
Labels: frontend
#15 - Define Frontend interface and implement it's trait
Issue -
State: closed - Opened by arnaucube over 1 year ago
- 2 comments
Labels: frontend, design
#14 - Implement Keccak transcript
Issue -
State: open - Opened by arnaucube over 1 year ago
- 10 comments
Labels: common
#13 - SumCheck circuit
Issue -
State: closed - Opened by arnaucube over 1 year ago
Labels: circuits
#12 - Add Grumpkin curve in arkworks
Issue -
State: closed - Opened by arnaucube over 1 year ago
- 2 comments
Labels: arkworks
#11 - Implement Nova's NIFS.Verify circuits (with CycleFold)
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
Labels: Nova, circuits
#10 - Port/hypernova multifolding
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
- 2 comments
Labels: HyperNova
#9 - Implement CycleFold's EC RLC check circuit
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
Labels: circuits
#8 - Port Espresso's VirtualPoly, MLE and SumCheck
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
Labels: common
#7 - Implement Nova's NIFS.P & NIFS.V
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
Labels: Nova
#6 - Add initial CCS mod
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
Labels: CCS/R1CS
#5 - Add utils::vec & pedersen modules
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
Labels: common
#4 - Port CI from `halo2curves`
Pull Request -
State: closed - Opened by han0110 over 1 year ago
Labels: common
#3 - Feature/traits
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
Labels: common, design
#2 - Update FoldingScheme trait to take C1 & C2 as params
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
- 2 comments
Labels: common
#1 - Add Transcript trait, with PoseidonTranscript impl
Pull Request -
State: closed - Opened by arnaucube over 1 year ago
Labels: circuits, common