privacy-scaling-explorations/sonobe

Issues

• Meta Issue: Protogalaxy Support

  #82 opened 9 months ago by winderica
  2

• Support Pedersen commitment in decider

  #171 opened 2 months ago by winderica
  0

• `to_native_sponge_field_elements` cant be called with PrimeField

  #170 opened 2 months ago by NiDimi
  0

• non-uniform IVC

  #144 opened 4 months ago by arnaucube
  1

• Nova's Offchain Decider

  #154 opened 3 months ago by arnaucube
  1

• ark-r1cs-std interpolate_and_evaluate failing for n>11

  #80 opened 3 months ago by arnaucube
  7

• Arrange circom's frontend witness_generator's wasm within wasm

  #155 opened 4 months ago by arnaucube
  1

• issue #80

  #130 opened 5 months ago by xfu2006
  1

• implement serialization&deserialization for hypernova structs

  #117 opened 3 months ago by arnaucube
  0

• serializers & deserializers for Nova to allow the full flow across different instances/devices

  #153 opened 4 months ago by arnaucube
  0

• Update NonNativeAffineVar approach

  #65 opened 4 months ago by arnaucube
  1

• Dependency mess should be fixed

  #146 opened 4 months ago by CPerezz
  2

• WASM IO compat

  #147 opened 4 months ago by CPerezz
  3

• Comparison to other frameworks

  #148 opened 4 months ago by pmikolajczyk41
  1

• Warn that Noname is only partially-supported

  #150 opened 4 months ago by CPerezz
  0

• Implement Nova's IVC proof zero-knowledge layer

  #125 opened 4 months ago by dmpierre
  0

• WASM compilation

  #137 opened 4 months ago by arnaucube
  0

• Add cargo features to disable by default the frontends when not needed

  #138 opened 5 months ago by arnaucube
  0

• Implement HyperNova's IVC proof zero-knowledge layer

  #128 opened 5 months ago by dmpierre
  0

• automate profiling & reduce memory usage

  #140 opened 5 months ago by arnaucube
  0

• Move current decider public inputs into actual private inputs to reduce gas costs

  #139 opened 5 months ago by arnaucube
  0

• Allow tree-like folding

  #136 opened 5 months ago by arnaucube
  1

• Create custom debug & release profiles for the crate

  #135 opened 5 months ago by CPerezz
  0

• MVP implementation for Mangrove

  #134 opened 5 months ago by CPerezz
  0

• Implement Mova folding scheme

  #133 opened 5 months ago by NiDimi
  1

• Add support for Noir as frontend

  #124 opened 5 months ago by Savio-Sou
  4

• More generalized API

  #111 opened 5 months ago by mimoo
  6

• Sumcheck fails with zero polynomial

  #122 opened 5 months ago by NiDimi
  3

• Nova serde

  #102 opened 7 months ago by dmpierre
  0

• Circom frontend: allow to define the step_native in Rust

  #98 opened 7 months ago by arnaucube
  1

• HyperNova NIMFS verifier circuit

  #50 opened 7 months ago by arnaucube
  1

• Halo 2 Support

  #108 opened 7 months ago by perseus34x
  1

• Poseidon configuration params for Ethereum use case

  #85 opened 7 months ago by arnaucube
  4

• When generating parameters, circom frontend should handle `ivc_input[i] * ivc_input[j] == c` types of constraints

  #104 opened 7 months ago by dmpierre
  4

• Question about Circom frontend for Hypernova

  #103 opened 7 months ago by yugocabrio
  4

• Add KZG proofs to the Nova onchain decider

  #67 opened 7 months ago by arnaucube
  1

• Decider onchain verifier Solidity generator CLI

  #57 opened 7 months ago by arnaucube
  2

• Update the `frontend/circom` into fit the `FCircuit` trait

  #55 opened 7 months ago by arnaucube
  4

• Get coordinates represenation of CurveVar

  #44 opened 7 months ago by arnaucube
  0

• Solidity pedersen verifier

  #25 opened 7 months ago by arnaucube
  5

• Minroot circuit

  #93 opened 8 months ago by amit0365
  1

• Folding multiple instances

  #92 opened 8 months ago by gyp2847399255
  1

• Should `AugmentedFCircuit` for Nova include an additional public input for CycleFold?

  #83 opened 8 months ago by winderica
  2

• Link committed instances and r in cyclefold circuit

  #48 opened 9 months ago by arnaucube
  0

• KZG and Groth16 solidity verifiers generator method

  #58 opened a year ago by arnaucube
  1

• Groth16 verifier Solidity generator method

  #59 opened a year ago by arnaucube
  1

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

  #60 opened a year ago by arnaucube
  0

• Adapt SumCheck Transcript

  #38 opened a year ago by arnaucube
  1

• Implement G(X), K(X) optimized computation following Claim 4.5

  #43 opened a year ago by arnaucube
  0

• Add TranscriptVar trait (circuit gadget)

  #41 opened a year ago by arnaucube
  0