microsoft/Spartan

Issues

• How to determine num_non_zero_entries

  #64 opened a year ago by mottla
  1

• Possible Mistake in Assert Statement

  #70 opened 4 months ago by ishwarbb
  1

• R1CS instance does not match the definition

  #69 opened 4 months ago by ishwarbb
  1

• Error compiling with latest rust: could not compile `packed_simd_2` (lib) due to 6 previous errors

  #66 opened 5 months ago by cdesch
  3

• Proving math functions with Spartan

  #67 opened 9 months ago by Fobow
  2

• Compatibility with circom

  #42 opened 3 years ago by m0bi5
  5

• Add another challenge in dotproduct proof?

  #33 opened 2 years ago by 3for
  2

• [E0061] in readme.md Examples produce a proof of satisfiability

  #52 opened 2 years ago by HLRJ
  2

• Converting Spartan to Wasm

  #54 opened 2 years ago by natalialinov
  2

• Where to find the example of proof H(s)==d?

  #58 opened 2 years ago by jamesdang
  1

• Post-quantum variant of Spartan

  #57 opened 2 years ago by kc1212
  0

• Remove clippy override tags

  #15 opened 2 years ago by srinathsetty
  0

• Support for stable rust

  #17 opened 2 years ago by srinathsetty
  0

• panics when testing assignment that doesn't meet constraints

  #44 opened 2 years ago by ikhaliq15
  0

• How Do I Construct R1CS Using Negative Values?

  #43 opened 3 years ago by AtropineTears
  2

• Differences between Spartan and ZkSTARKs

  #40 opened 3 years ago by jochasinga
  2

• Add More Examples

  #41 opened 3 years ago by AtropineTears
  2

• Deduplicate hiding sum-check code

  #7 opened 3 years ago by srinathsetty
  0

• compatible high level languages

  #39 opened 3 years ago by dvc94ch
  1

• error[E0557]: feature has been removed

  #36 opened 3 years ago by ether-wan
  1

• what's wrong?

  #35 opened 3 years ago by PanosYang
  1

• The `num_nz_entries` should be more generic

  #31 opened 4 years ago by 3for
  7

• Turn assert failures into appropriate error codes

  #18 opened 4 years ago by srinathsetty
  0

• The fine-grained profiler and benches only prints proof_compressed_len

  #28 opened 4 years ago by 29988122
  1

• Adapter for ZKInterface

  #23 opened 4 years ago by Tails
  2

• How to use externally generated R1CS?

  #22 opened 4 years ago by Tails
  3

• Make releases from time to time

  #20 opened 4 years ago by TomaszWaszczyk
  2

• Flatten vectors in ProductCircuit to gain better performance

  #2 opened 4 years ago by srinathsetty
  0

• Produce public parameters given size bounds on R1CS instance

  #6 opened 4 years ago by srinathsetty
  0

• Add documentation for all public APIs

  #9 opened 4 years ago by srinathsetty
  0

• Reduce the number of public APIs and modules

  #12 opened 4 years ago by srinathsetty
  0

• Introduce separate types for random_tape and transcript

  #10 opened 4 years ago by srinathsetty
  0

• Create types and benches for SpartanSNARK and SpartanNIZK

  #3 opened 4 years ago by srinathsetty
  0

• Abstract Scalar and ScalarBytes into a unified type that the rest of the code uses

  #1 opened 4 years ago by srinathsetty
  0

• Introduce random_tape

  #4 opened 4 years ago by srinathsetty
  1

• Ensure constant term in z is Scalar::one()

  #5 opened 4 years ago by srinathsetty
  0