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

#100 - Update README.md

Pull Request - State: closed - Opened by drewstone 6 months ago

#99 - Add HyperNova's NIMFS circuit

Pull Request - State: closed - Opened by arnaucube 7 months ago - 1 comment
Labels: HyperNova, circuits

#99 - Add HyperNova's NIMFS circuit

Pull Request - State: closed - Opened by arnaucube 7 months ago - 1 comment
Labels: HyperNova, circuits

#98 - Circom frontend: allow to define the step_native in Rust

Issue - State: closed - Opened by arnaucube 7 months ago - 1 comment
Labels: frontend

#98 - Circom frontend: allow to define the step_native in Rust

Issue - State: closed - Opened by arnaucube 7 months ago - 1 comment
Labels: frontend

#97 - Circuit compute_c reduce constraints

Pull Request - State: closed - Opened by arnaucube 7 months ago
Labels: HyperNova, circuits

#97 - Circuit compute_c reduce constraints

Pull Request - State: closed - Opened by arnaucube 7 months ago
Labels: HyperNova, circuits

#96 - Feat/Improve frontend (rust-interface) of sonobe

Pull Request - State: open - Opened by vuvoth 7 months ago - 2 comments
Labels: frontend

#96 - Feat/Improve frontend (rust-interface) of sonobe

Pull Request - State: open - Opened by vuvoth 7 months ago - 2 comments
Labels: frontend

#95 - Protogalaxy verifier circuit

Pull Request - State: closed - Opened by winderica 7 months ago - 6 comments
Labels: ProtoGalaxy, circuits

#95 - Protogalaxy verifier circuit

Pull Request - State: closed - Opened by winderica 7 months ago - 6 comments
Labels: ProtoGalaxy, circuits

#94 - Unify the computation of digests and challenges in different folding schemes

Pull Request - State: closed - Opened by winderica 7 months ago - 2 comments
Labels: circuits, common

#94 - Unify the computation of digests and challenges in different folding schemes

Pull Request - State: closed - Opened by winderica 7 months ago - 2 comments
Labels: circuits, common

#93 - Minroot circuit

Issue - State: closed - Opened by amit0365 7 months ago - 1 comment

#93 - Minroot circuit

Issue - State: closed - Opened by amit0365 7 months ago - 1 comment

#92 - Folding multiple instances

Issue - State: open - Opened by gyp2847399255 7 months ago - 1 comment

#91 - Circom external inputs

Pull Request - State: closed - Opened by arnaucube 7 months ago
Labels: frontend

#90 - Full flow example

Pull Request - State: closed - Opened by arnaucube 7 months ago

#90 - Full flow example

Pull Request - State: closed - Opened by arnaucube 7 months ago

#89 - Fix the incorrect `NonNativeAffineVar::inputize` implementation

Pull Request - State: closed - Opened by winderica 8 months ago

#89 - Fix the incorrect `NonNativeAffineVar::inputize` implementation

Pull Request - State: closed - Opened by winderica 8 months ago

#88 - Reduce the number of constraints in `DeciderEthCircuit`

Pull Request - State: closed - Opened by winderica 8 months ago
Labels: arkworks, decider

#88 - Reduce the number of constraints in `DeciderEthCircuit`

Pull Request - State: closed - Opened by winderica 8 months ago
Labels: arkworks, decider

#87 - Add solidity verifier of the nova+cyclefold

Pull Request - State: closed - Opened by arnaucube 8 months ago - 1 comment
Labels: Nova, decider

#87 - Add solidity verifier of the nova+cyclefold

Pull Request - State: closed - Opened by arnaucube 8 months ago - 1 comment
Labels: Nova, decider

#86 - Reduce the number of constraints in `AugmentedFCircuit` for Nova

Pull Request - State: closed - Opened by winderica 8 months ago
Labels: Nova, circuits

#86 - Reduce the number of constraints in `AugmentedFCircuit` for Nova

Pull Request - State: closed - Opened by winderica 8 months ago
Labels: Nova, circuits

#85 - Poseidon configuration params for Ethereum use case

Issue - State: closed - Opened by arnaucube 8 months ago - 4 comments
Labels: common

#85 - Poseidon configuration params for Ethereum use case

Issue - State: closed - Opened by arnaucube 8 months ago - 4 comments
Labels: common

#84 - Add the digest of the Relaxed R1CS instance for CycleFold as a public input to `AugmentedFCircuit`

Pull Request - State: closed - Opened by winderica 8 months ago
Labels: Nova, circuits

#83 - Should `AugmentedFCircuit` for Nova include an additional public input for CycleFold?

Issue - State: closed - Opened by winderica 8 months ago - 2 comments
Labels: Nova, circuits

#82 - Meta Issue: Protogalaxy Support

Issue - State: open - Opened by winderica 8 months ago - 2 comments
Labels: ProtoGalaxy

#82 - Meta Issue: Protogalaxy Support

Issue - State: open - Opened by winderica 8 months ago - 2 comments
Labels: ProtoGalaxy

#81 - Link committed instances and r to the public input x in cyclefold circuit

Pull Request - State: closed - Opened by arnaucube 8 months ago
Labels: Nova, circuits

#80 - ark-r1cs-std interpolate_and_evaluate failing for n>11

Issue - State: closed - Opened by arnaucube 8 months ago - 7 comments
Labels: bug, circuits, arkworks

#80 - ark-r1cs-std interpolate_and_evaluate failing for n>11

Issue - State: closed - Opened by arnaucube 8 months ago - 7 comments
Labels: bug, circuits, arkworks

#78 - Add external inputs logic to F function/circuit. Add an example of usage with external inputs too.

Pull Request - State: closed - Opened by arnaucube 9 months ago
Labels: Nova, frontend

#78 - Add external inputs logic to F function/circuit. Add an example of usage with external inputs too.

Pull Request - State: closed - Opened by arnaucube 9 months ago
Labels: Nova, frontend

#77 - Change CycleFold circuit approach

Pull Request - State: closed - Opened by arnaucube 9 months ago - 1 comment

#77 - Change CycleFold circuit approach

Pull Request - State: closed - Opened by arnaucube 9 months ago - 1 comment

#76 - Add typos tool to CI to automate typo detection

Pull Request - State: closed - Opened by arnaucube 9 months ago - 1 comment

#76 - Add typos tool to CI to automate typo detection

Pull Request - State: closed - Opened by arnaucube 9 months ago - 1 comment

#75 - Fix typos

Pull Request - State: closed - Opened by rex4539 9 months ago

#75 - Fix typos

Pull Request - State: closed - Opened by rex4539 9 months ago

#74 - Add CLI interface for verifier contract generation

Pull Request - State: closed - Opened by CPerezz 9 months ago - 2 comments

#74 - Add CLI interface for verifier contract generation

Pull Request - State: closed - Opened by CPerezz 9 months ago - 2 comments

#73 - Fix Nova multi-elements state

Pull Request - State: closed - Opened by arnaucube 9 months ago - 1 comment
Labels: bug

#73 - Fix Nova multi-elements state

Pull Request - State: closed - Opened by arnaucube 9 months ago - 1 comment
Labels: bug

#72 - Add IPA commitment scheme and the respective circuit verifier gadget

Pull Request - State: closed - Opened by arnaucube 10 months ago - 1 comment
Labels: circuits, common

#72 - Add IPA commitment scheme and the respective circuit verifier gadget

Pull Request - State: closed - Opened by arnaucube 10 months ago - 1 comment
Labels: circuits, common

#71 - Adapt Frontend/Circom for FCircuit Trait

Pull Request - State: closed - Opened by yugocabrio 10 months ago - 12 comments

#69 - Adding groth16, kzg10 and final decider verifiers in a dedicated workspace

Pull Request - State: closed - Opened by dmpierre 10 months ago
Labels: decider

#69 - Adding groth16, kzg10 and final decider verifiers in a dedicated workspace

Pull Request - State: closed - Opened by dmpierre 10 months ago
Labels: decider

#68 - Feature/cli verifier tooling

Pull Request - State: closed - Opened by CPerezz 10 months ago - 1 comment

#68 - Feature/cli verifier tooling

Pull Request - State: closed - Opened by CPerezz 10 months ago - 1 comment

#67 - Add KZG proofs to the Nova onchain decider

Issue - State: closed - Opened by arnaucube 10 months ago - 1 comment
Labels: Nova, decider

#67 - Add KZG proofs to the Nova onchain decider

Issue - State: closed - Opened by arnaucube 10 months ago - 1 comment
Labels: Nova, decider

#66 - Add Decider impl for Nova onchain

Pull Request - State: closed - Opened by arnaucube 10 months ago - 2 comments
Labels: Nova, decider

#65 - Update NonNativeAffineVar approach

Issue - State: closed - Opened by arnaucube 10 months ago - 1 comment
Labels: good first issue, circuits, arkworks, common

#65 - Update NonNativeAffineVar approach

Issue - State: closed - Opened by arnaucube 10 months ago - 1 comment
Labels: good first issue, circuits, arkworks, common

#64 - Fit Nova+CycleFold into `FoldingScheme` trait & Add `examples/` for folding SHA256 circuit

Pull Request - State: closed - Opened by arnaucube 10 months ago
Labels: Nova, common

#64 - Fit Nova+CycleFold into `FoldingScheme` trait & Add `examples/` for folding SHA256 circuit

Pull Request - State: closed - Opened by arnaucube 10 months ago
Labels: Nova, common

#63 - Adapt Nova usage of commitment to the generic trait

Pull Request - State: closed - Opened by arnaucube 10 months ago
Labels: Nova

#63 - Adapt Nova usage of commitment to the generic trait

Pull Request - State: closed - Opened by arnaucube 10 months ago
Labels: Nova

#62 - Add CommitmentProver trait, and add KZG prover to it

Pull Request - State: closed - Opened by arnaucube 11 months ago
Labels: common

#62 - Add CommitmentProver trait, and add KZG prover to it

Pull Request - State: closed - Opened by arnaucube 11 months ago
Labels: common

#61 - A circuit for computing c, from section 5, step 5 of "A multi-folding scheme for CCS"

Pull Request - State: closed - Opened by dmpierre 11 months ago - 1 comment
Labels: HyperNova, circuits

#61 - A circuit for computing c, from section 5, step 5 of "A multi-folding scheme for CCS"

Pull Request - State: closed - Opened by dmpierre 11 months ago - 1 comment
Labels: HyperNova, circuits

#60 - Once arkworks-rs/r1cs-std#129 ready, update nova+cyclefold circuit impl to use it

Issue - State: open - Opened by arnaucube 11 months ago
Labels: circuits, arkworks

#59 - Groth16 verifier Solidity generator method

Issue - State: closed - Opened by arnaucube 11 months ago - 1 comment
Labels: decider

#59 - Groth16 verifier Solidity generator method

Issue - State: closed - Opened by arnaucube 11 months ago - 1 comment
Labels: decider

#58 - KZG and Groth16 solidity verifiers generator method

Issue - State: closed - Opened by arnaucube 11 months ago - 1 comment
Labels: decider

#58 - KZG and Groth16 solidity verifiers generator method

Issue - State: closed - Opened by arnaucube 11 months ago - 1 comment
Labels: decider

#57 - Decider onchain verifier Solidity generator CLI

Issue - State: closed - Opened by arnaucube 11 months ago - 2 comments
Labels: decider

#57 - Decider onchain verifier Solidity generator CLI

Issue - State: closed - Opened by arnaucube 11 months ago - 2 comments
Labels: decider

#56 - A gadget to compute the second term of the sum in section 5, step 5

Pull Request - State: closed - Opened by dmpierre 11 months ago

#56 - A gadget to compute the second term of the sum in section 5, step 5

Pull Request - State: closed - Opened by dmpierre 11 months ago

#55 - Update the `frontend/circom` into fit the `FCircuit` trait

Issue - State: closed - Opened by arnaucube 11 months ago - 4 comments
Labels: frontend

#55 - Update the `frontend/circom` into fit the `FCircuit` trait

Issue - State: closed - Opened by arnaucube 11 months ago - 4 comments
Labels: frontend

#54 - refactor frontend composition, update usage of arkworks CS helpers, refactor test circuits

Pull Request - State: closed - Opened by arnaucube 11 months ago
Labels: frontend

#54 - refactor frontend composition, update usage of arkworks CS helpers, refactor test circuits

Pull Request - State: closed - Opened by arnaucube 11 months ago
Labels: frontend

#53 - A gadget to compute the first term of the sum in section 5, step 5

Pull Request - State: closed - Opened by dmpierre 11 months ago

#52 - make calculation of F(X) in protogalaxy prover happen in O(n)

Pull Request - State: closed - Opened by Silur 11 months ago - 1 comment
Labels: ProtoGalaxy

#52 - make calculation of F(X) in protogalaxy prover happen in O(n)

Pull Request - State: closed - Opened by Silur 11 months ago - 1 comment
Labels: ProtoGalaxy

#51 - feat: `EqEvalGadget` for computing `eq(x, y)`

Pull Request - State: closed - Opened by dmpierre 11 months ago

#50 - HyperNova NIMFS verifier circuit

Issue - State: closed - Opened by arnaucube 11 months ago - 1 comment
Labels: HyperNova, circuits

#50 - HyperNova NIMFS verifier circuit

Issue - State: closed - Opened by arnaucube 11 months ago - 1 comment
Labels: HyperNova, circuits

#49 - Nova+CycleFold Decider circuit (for onchain use case)

Pull Request - State: closed - Opened by arnaucube 11 months ago
Labels: Nova, circuits, decider

#49 - Nova+CycleFold Decider circuit (for onchain use case)

Pull Request - State: closed - Opened by arnaucube 11 months ago
Labels: Nova, circuits, decider

#48 - Link committed instances and r in cyclefold circuit

Issue - State: closed - Opened by arnaucube 12 months ago
Labels: Nova, circuits

#48 - Link committed instances and r in cyclefold circuit

Issue - State: closed - Opened by arnaucube 12 months ago
Labels: Nova, circuits

#47 - Feature/sumcheck circuit

Pull Request - State: closed - Opened by dmpierre 12 months ago
Labels: circuits, common

#47 - Feature/sumcheck circuit

Pull Request - State: closed - Opened by dmpierre 12 months ago
Labels: circuits, common

#46 - update RelaxedR1CSGadget to work with FieldVar trait so we can plug in FpVar and NonNativeFieldVar indistinctly

Pull Request - State: closed - Opened by arnaucube 12 months ago
Labels: Nova, circuits, decider

#46 - update RelaxedR1CSGadget to work with FieldVar trait so we can plug in FpVar and NonNativeFieldVar indistinctly

Pull Request - State: closed - Opened by arnaucube 12 months ago
Labels: Nova, circuits, decider

#45 - Implement CycleFold in Nova's IVC

Pull Request - State: closed - Opened by arnaucube 12 months ago
Labels: Nova, circuits