aszepieniec/stark-brainfuck

Issues

• Part 3: the constructino of the Instruction Table

  #44 opened 5 months ago by hjlpb
  1

• Permutation Argument Soundness

  #43 opened 5 months ago by Bri-K
  1

• Wrong constraints in Memory table

  #39 opened 2 years ago by la10736
  3

• New name for "terminal"?

  #22 opened 3 years ago by Sword-Smith
  2

• Unsound proof with `is_zero` set erroneously to zero

  #35 opened 3 years ago by Sword-Smith
  0

• disallow -1 as index

  #17 opened 3 years ago by aszepieniec
  1

• Make Table-Extension Generic

  #1 opened 3 years ago by aszepieniec
  3

• Soundness in relation to `shift`

  #23 opened 3 years ago by Sword-Smith
  0

• Verifier skeleton

  #12 opened 3 years ago by aszepieniec
  0

• functional prover

  #13 opened 3 years ago by aszepieniec
  0

• functional verifier

  #14 opened 3 years ago by aszepieniec
  0

• adapt FRI to extension field

  #15 opened 3 years ago by aszepieniec
  0

• Create Context Tables by Selecting Columns

  #16 opened 3 years ago by aszepieniec
  0

• Make Table-Verification generic

  #18 opened 3 years ago by aszepieniec
  0

• Merge AIR constraints

  #19 opened 3 years ago by aszepieniec
  0

• Represent all polynomials as codewords

  #20 opened 3 years ago by aszepieniec
  0

• Instantiate BrainfuckStark object with computational claim

  #21 opened 3 years ago by aszepieniec
  0

• Labeled lists

  #25 opened 3 years ago by Sword-Smith
  0

• Fails on `17 * '!'` output

  #24 opened 3 years ago by Sword-Smith
  1

• Prover skeleton

  #11 opened 3 years ago by aszepieniec
  1

• Padding

  #10 opened 3 years ago by aszepieniec
  1

• Represent Boundary Constraints as Polynomials

  #4 opened 3 years ago by aszepieniec
  1

• Merge Input and Output Tables

  #5 opened 3 years ago by aszepieniec
  1

• Move Extension Logic to Extended Table Classes

  #8 opened 3 years ago by aszepieniec
  1

• Add AIR Constraints for Extended Tables

  #3 opened 3 years ago by aszepieniec
  1

• Reduce Columns for Evaluation Argument

  #2 opened 3 years ago by aszepieniec
  1

• Link Extended Tables

  #6 opened 3 years ago by aszepieniec
  1

• Move Selection of Challenges to Callers

  #9 opened 3 years ago by aszepieniec
  1