microsoft/Nova

Issues

• error: could not compile `nova-snark` (lib test) due to previous error

  #279 opened a year ago by liqi16
  4

• Implement CycleFold for Nova

  #332 opened a month ago by Forpee
  0

• Upgrade the constraint system module

  #331 opened a month ago by srinathsetty
  1

• Middleware to load Noir's ACIR into R1CS supported by Nova

  #275 opened a month ago by srinathsetty
  2

• Support accelerated MSM for halo2curves/grumpkin

  #216 opened a month ago by huitseeker
  7

• Use expect_test for tests in src/circuit.rs and elsewhere

  #298 opened a month ago by srinathsetty
  0

• Reduce duplicate code across different curve cycle providers

  #202 opened a month ago by srinathsetty
  0

• Add Supernova Support

  #146 opened a month ago by wyattbenno777
  3

• Improve the interface of `RecursiveSNARK` with `ParamContext` and `ProvingContext`

  #185 opened a month ago by chiro-hiro
  1

• Zero-knowledge implementation gap

  #174 opened a month ago by huitseeker
  4

• An example of using nova to implement rollup?

  #327 opened 4 months ago by Jasun0925
  0

• [question] Where to find the example for matrix multiplication recursive snark

  #322 opened 5 months ago by 123123davejohn
  2

• Solidity Verfier

  #319 opened 5 months ago by Ayoub-47
  3

• Compilation on 32-bit architectures

  #318 opened 5 months ago by pgrinaway
  2

• Fold two incoming instances at once so one can fold instances in a binary tree fashion

  #69 opened 3 years ago by srinathsetty
  3

• Re-export Field/Point types used in curve cycle implementations

  #271 opened a year ago by huitseeker
  8

• Load existing KZG setup parameters

  #270 opened a year ago by srinathsetty
  0

• Does Nova support local statements (public inputs) to step function F?

  #310 opened 9 months ago by featherin
  5

• How does Nova constrain prev output and next input?

  #296 opened 10 months ago by ClankPan
  1

• Optimization: The running instance does not need to absorbed.

  #56 opened 10 months ago by srinathsetty
  2

• Remove redundant absorbing to the transcript

  #284 opened a year ago by storojs72
  1

• generalize minroot example to work with any curve cycle supported by Nova

  #265 opened a year ago by srinathsetty
  0

• Move to actual `group` traits and create `GroupExt` for the extra extensions of the `Group` trait

  #198 opened a year ago by CPerezz
  4

• removing iteration count parameter (num_steps) from verify function

  #228 opened a year ago by Hakkush-07
  1

• Unclear UnSat Error: 'RecursiveSNARK::verify: Err(UnSat)'

  #226 opened a year ago by fraVlaca
  1

• compiling to solidity/evm?

  #116 opened 2 years ago by sourdzl
  3

• details about scalar_mul?

  #197 opened a year ago by PayneJoe
  3

• Why the type of "x" is vector?

  #193 opened a year ago by intstringnum
  1

• Typo in paper "Revisiting the Nova Proof System on a Cycle of Curves"

  #190 opened a year ago by 3for
  1

• Do you have plan for SuperNova?

  #120 opened 2 years ago by SuccinctPaul
  3

• In nifs.rs's test_tiny_r1cs() case, why the num_vars = 4?

  #186 opened a year ago by readygo67
  2

• Guidance on Using Poseidon Hash in Custom Circuits

  #176 opened a year ago by suniljalandhra
  3

• Clippy gave different result depend on the version of compiler and clippy

  #178 opened a year ago by chiro-hiro
  2

• Is Nova quantum ready?

  #164 opened 2 years ago by Anderssorby
  1

• NovaError doesn't implement std::error::Error

  #127 opened 2 years ago by huitseeker
  0

• Serde Serialization

  #46 opened 2 years ago by arthurgreef
  2

• Remove hard-coded constants about the curve equation in the circuit

  #113 opened 2 years ago by srinathsetty
  0

• Compilation error: failed to select a version for the requirement `funty = "~1.2"`

  #118 opened 2 years ago by vicsn
  1

• Implement a non-trivial FinalSNARK to compress RecursiveSNARK proofs

  #68 opened 2 years ago by srinathsetty
  0

• RecursiveSNARK verify must check the correctness of parameters such as z_0, i, shape_digest, etc.

  #67 opened 3 years ago by srinathsetty
  0

• Can we change alloc_num_equals args to references?

  #44 opened 3 years ago by arthurgreef
  0

• Modules are not public

  #26 opened 3 years ago by arthurgreef
  3

• AllocatedPoint coordinates are not accessible

  #35 opened 3 years ago by arthurgreef
  0

• Add a test case that uses the bellperson adapter to generate R1CS

  #10 opened 3 years ago by srinathsetty
  4

• remove test feature?

  #16 opened 3 years ago by porcuquine
  0