valida-xyz/valida

Issues

• Latest Valida release fails multipilication verification

  #174 opened 3 months ago by Pravdyvy
  0

• Implement constraint folder permutation randomness

  #75 opened a year ago by morganthomas
  2

• Signed inequality instructions: STARK constraints

  #160 opened 7 months ago by morganthomas
  1

• Bitwise chip: failure to satisfy `input_2` byte decomposition constraint

  #130 opened 8 months ago by morganthomas
  0

• CPU chip: failure to satisfy memory channel 1 constraint

  #131 opened 8 months ago by morganthomas
  1

• CPU chip: failure to satisfy LOADFP output constraint

  #132 opened 8 months ago by morganthomas
  0

• Check preprocessed traces

  #126 opened 8 months ago by morganthomas
  1

• Signed inequality instructions: execution engine

  #159 opened 7 months ago by morganthomas
  0

• Load ELF object files

  #135 opened 8 months ago by morganthomas
  1

• Complete output chip constraints

  #129 opened 8 months ago by morganthomas
  1

• Universal zk-VM circuit & instance data

  #155 opened 7 months ago by morganthomas
  3

• Static chip preprocessed trace

  #140 opened 7 months ago by morganthomas
  2

• De-macroified basic machine and prover / verifier refactoring

  #143 opened 7 months ago by morganthomas
  0

• IMM32: Add missing range check

  #73 opened a year ago by morganthomas
  2

• LOADU8, LOADS8, STOREU8 STARK constraints

  #149 opened 7 months ago by morganthomas
  0

• ELF file support in the debugger

  #146 opened 8 months ago by morganthomas
  0

• 32-in 64-out unsigned multiplication chip

  #137 opened 8 months ago by morganthomas
  0

• Static data chip

  #133 opened 8 months ago by morganthomas
  0

• Shift32 chip: output constraint(s)

  #124 opened 8 months ago by morganthomas
  2

• Consistency of permutation argument traces with each other

  #128 opened 8 months ago by morganthomas
  5

• Multi-core prover

  #117 opened 9 months ago by morganthomas
  1

• Underconstrained equality / zero test(s)

  #122 opened 8 months ago by morganthomas
  0

• Add a Plonky3 version pin

  #119 opened 8 months ago by morganthomas
  3

• Let challenger observe all of the transcript

  #74 opened a year ago by morganthomas
  1

• Implement constraint folder assert zero

  #76 opened 8 months ago by morganthomas
  1

• Verifier

  #72 opened 9 months ago by morganthomas
  0

• Update ISA spec

  #106 opened 10 months ago by thealmarty
  4

• Program ROM bus constraints

  #115 opened 9 months ago by morganthomas
  0

• Get current value of `fp`

  #105 opened 9 months ago by morganthomas
  2

• Memory chip: remove degree 4 constraint

  #77 opened 10 months ago by morganthomas
  2

• Writing to an arbitrary RAM address

  #81 opened 10 months ago by morganthomas
  1

• Asymptotically speed up range checker chip trace generation

  #80 opened a year ago by morganthomas
  0

• Avoid unchecked arithmetic overflow / underflow

  #79 opened a year ago by morganthomas
  0

• Make partial functions total

  #78 opened a year ago by morganthomas
  0

• segmentation fault ./build/bin/llc fib.ll --march=valida --global-isel

  #71 opened a year ago by sai-deng
  0

• U32 ALU chips

  #55 opened a year ago by maxgillett
  0

• Varargs

  #67 opened a year ago by morganthomas
  0

• Wrapping could break memory soundness

  #40 opened a year ago by dlubarov
  1

• Big integer arithmetic chip

  #54 opened a year ago by maxgillett
  0

• Use preprocessed lookup table in Bitwise chip

  #42 opened a year ago by maxgillett
  7

• Reuse existing work

  #45 opened a year ago by marcinbugaj
  1

• Range Check Chip

  #39 opened a year ago by bhgomes
  0

• Performance difference between interpreter & unit tests

  #33 opened a year ago by intoverflow
  9