elefthei/rezk

Issues

• This function in Nova's verifier takes 99% of the time

  #106 opened a year ago by sga001
  2

• Cheaper eq proof

  #102 opened a year ago by sga001
  0

• Back-end fine-grained benchmarks

  #32 opened 2 years ago by elefthei
  1

• Commit to public table too

  #104 opened a year ago by sga001
  2

• Generalize back-end for any AND node

  #105 opened a year ago by elefthei
  0

• DFA with recursion solver time

  #103 opened a year ago by sga001
  0

• combine nlookup for doc and eval/public and private

  #63 opened a year ago by jkwoods
  2

• Table projections

  #70 opened a year ago by sga001
  7

• Implement back end for SAFA

  #64 opened a year ago by sga001
  2

• need to hide running claim evaluation

  #62 opened a year ago by jkwoods
  6

• Testing

  #49 opened a year ago by elefthei
  0

• Open sets backend

  #74 opened a year ago by elefthei
  2

• Implement baseline

  #78 opened a year ago by sga001
  1

• Add support for negations into SAFA

  #65 opened a year ago by sga001
  2

• Regex simplification now explicit

  #73 opened a year ago by elefthei
  1

• Nova has new witness gen

  #77 opened a year ago by sga001
  0

• Remove unnecessary transitions

  #72 opened a year ago by sga001
  4

• Make sized strings for NFA

  #10 opened 2 years ago by elefthei
  0

• Implement Hyrax-PC

  #68 opened a year ago by sga001
  1

• Extract nlookup

  #67 opened a year ago by sga001
  0

• See if we can make padding cheaper

  #69 opened a year ago by sga001
  0

• Zero-cost padding MLE

  #66 opened a year ago by sga001
  1

• bounded MLE w/linear time proving

  #57 opened a year ago by jkwoods
  0

• Convert everything to jmalloc

  #52 opened a year ago by ecmargo
  2

• Make .* special (slicing)

  #28 opened a year ago by elefthei
  2

• Bounded star algebraic simplification

  #59 opened a year ago by elefthei
  1

• generate both commitments and proof

  #54 opened a year ago by jkwoods
  5

• Fix q bits overflow

  #42 opened a year ago by ecmargo
  3

• Measurement framework in Rust

  #24 opened a year ago by elefthei
  2

• q nlookup ordering checks

  #48 opened a year ago by jkwoods
  0

• Accepting state check failure

  #46 opened a year ago by ecmargo
  1

• Eli To-Do

  #37 opened a year ago by ecmargo
  0

• Do something about the million rust warnings

  #19 opened a year ago by jkwoods
  0

• synthesize efficiency

  #16 opened a year ago by jkwoods
  2

• Why this fails

  #38 opened a year ago by elefthei
  1

• Is folding cost wrong?

  #41 opened a year ago by ecmargo
  1

• crypto todos

  #17 opened a year ago by jkwoods
  0

• Padding for batch sizes

  #25 opened 2 years ago by jkwoods
  4

• Substrings

  #18 opened 2 years ago by jkwoods
  2

• bounded regex star

  #23 opened 2 years ago by jkwoods
  1