EspressoSystems/hyperplonk

Issues

• Benchmarks crash

  #141 opened 9 months ago by srinathsetty
  2

• sum-check multiplication with karatsuba

  #106 opened 2 years ago by chancharles92
  2

• Update to arkworks-0.4.0

  #125 opened 2 years ago by imikushin
  2

• Add a more comprehensive README

  #115 opened 2 years ago by chancharles92
  0

• Add CI test and fix the test failure in the last commit

  #111 opened 2 years ago by chancharles92
  1

• Multilinear KZG uses too many scalars

  #109 opened 2 years ago by bbuenz
  0

• benchmark phase 2

  #76 opened 2 years ago by zhenfeizhang
  0

• More fine-grained parallelization flags

  #107 opened 2 years ago by chancharles92
  0

• potential optimization ideas

  #79 opened 2 years ago by zhenfeizhang
  2

• [bugfix] fix verifier eq_eval

  #100 opened 2 years ago by chancharles92
  1

• Refactor HyperPlonkSNARK APIs

  #68 opened 2 years ago by chancharles92
  0

• Optimizing verifier

  #97 opened 2 years ago by chancharles92
  0

• Split merged witness poly

  #94 opened 2 years ago by chancharles92
  0

• Reduce the number of batch openings to 1

  #95 opened 2 years ago by chancharles92
  0

• Reduce the number of rounds in batching

  #92 opened 2 years ago by chancharles92
  0

• RUSTSEC-2021-0127: serde_cbor is unmaintained

  #82 opened 2 years ago by github-actions
  0

• backend todos

  #65 opened 2 years ago by zhenfeizhang
  1

• Batch opening PCS commitments in HyperPlonk

  #50 opened 2 years ago by zhenfeizhang
  1

• change endienness of MLE

  #63 opened 2 years ago by zhenfeizhang
  1

• Benchmark phase 1

  #75 opened 2 years ago by zhenfeizhang
  0

• RUSTSEC-2021-0139: ansi_term is Unmaintained

  #78 opened 2 years ago by github-actions
  0

• batch univariate KZG

  #52 opened 2 years ago by zhenfeizhang
  2

• Arithmetization

  #70 opened 2 years ago by chancharles92
  0

• Move PCS crate to Jellyfish

  #67 opened 2 years ago by chancharles92
  1

• Refactor comments and variable/struct names

  #66 opened 2 years ago by chancharles92
  0

• Remove PCS dependencies in Permcheck/ProductCheck

  #72 opened 2 years ago by chancharles92
  0

• Use a unified trait for PolyIOPs

  #69 opened 2 years ago by chancharles92
  0

• create non-interactive traits from PIOP

  #55 opened 2 years ago by zhenfeizhang
  2

• Build permutation check directly from product check

  #47 opened 2 years ago by zhenfeizhang
  1

• perm check

  #59 opened 2 years ago by zhenfeizhang
  0

• impl non-interactive sum check

  #56 opened 2 years ago by zhenfeizhang
  1

• Improve the complexity for building `eq(x,r)`

  #20 opened 2 years ago by zhenfeizhang
  0

• test features with CI

  #11 opened 2 years ago by zhenfeizhang
  0

• code for benchmarking

  #12 opened 2 years ago by zhenfeizhang
  0

• product check

  #58 opened 2 years ago by zhenfeizhang
  0

• zero check

  #57 opened 2 years ago by zhenfeizhang
  2

• sum check

  #60 opened 2 years ago by zhenfeizhang
  4

• Enable Fiat-shamir in PolyIOP (big refactoring)

  #54 opened 2 years ago by chancharles92
  1

• implement batch KZG for univariate

  #44 opened 2 years ago by zhenfeizhang
  1

• verify validity of subclaims in plonk verification

  #49 opened 2 years ago by zhenfeizhang
  0

• use unified snark trait as jellyfish

  #48 opened 2 years ago by zhenfeizhang
  0

• make PCS trait more generic

  #42 opened 2 years ago by zhenfeizhang
  2

• add hiding property for PCS

  #45 opened 2 years ago by zhenfeizhang
  0

• HyperPlonk PIOP APIs

  #35 opened 2 years ago by chancharles92
  1

• Product check APIs

  #40 opened 2 years ago by chancharles92
  0

• Permutation-checks

  #23 opened 2 years ago by zhenfeizhang
  0

• extract a sub MLE via evaluating the first variable at 0 or 1

  #25 opened 2 years ago by zhenfeizhang
  2

• implement prod(1, x)

  #30 opened 2 years ago by zhenfeizhang
  0

• implement prod(0, x)

  #26 opened 2 years ago by zhenfeizhang
  0

• improve `interpolate_uni_poly` complexity

  #10 opened 2 years ago by zhenfeizhang
  0