Orbis-Tertius/haskell-fri-proofs

Issues

• Use a Merkle hash tree to generate hashes of transcript prefixes

  #25 opened 2 years ago by morganthomas
  0

• Use a larger domain for random seeds (not field sized)

  #24 opened 2 years ago by morganthomas
  0

• Use a single commitment for codewords of all rounds

  #23 opened 2 years ago by morganthomas
  0

• Batched FRI

  #17 opened 2 years ago by morganthomas
  0

• Write polynomial property tests

  #15 opened 2 years ago by locallycompact
  0

• Add polynomial commitment scheme

  #2 opened 3 years ago by morganthomas
  1

• Incremental verifying

  #13 opened 2 years ago by morganthomas
  0

• Consider using a larger branching factor in the Merkle trees for more succinct auth paths

  #11 opened 3 years ago by morganthomas
  1

• Add Merkle cap support

  #7 opened 3 years ago by morganthomas
  0

• Deal with Extension Fields

  #10 opened 3 years ago by faezs
  0

• Allow early stopping

  #9 opened 3 years ago by morganthomas
  0

• Allow larger reduction steps

  #8 opened 3 years ago by morganthomas
  0

• Perform a cryptographic audit

  #6 opened 3 years ago by morganthomas
  0

• Add a FRI-PCS Halo 2 verifier

  #5 opened 3 years ago by morganthomas
  0

• Add property tests

  #1 opened 3 years ago by morganthomas
  0