axiom-crypto/halo2-lib

Issues

• Set up more advanced fuzzing

  #7 opened 2 years ago by jonathanpwang
  1

• Faster pairings

  #101 opened a year ago by mratsim
  3

• Length checking for bits_to_indicator at compile time

  #104 opened a year ago by nyunyunyunyu
  0

• `halo2-ecc` lacks documentation

  #201 opened a year ago by jonathanpwang
  0

• bls_sig_verify non-optimal because aggregates G2 sigs inside circuit

  #203 opened a year ago by samlaf
  0

• backlog: cargo check fails for latest nightly toolchain

  #22 opened a year ago by lispc
  5

• Dynamic lookup table does not contain fixed/selector columns

  #205 opened a year ago by kcharbo3
  1

• debug tool: write a pranker that pranks all cells that are equality constrained

  #233 opened a year ago by jonathanpwang
  0

• `CopyConstraintManager` should contain `witness_gen_only`

  #210 opened a year ago by jonathanpwang
  2

• Bench zkevm_hashes keccak with mv_lookup (logup)

  #199 opened a year ago by jonathanpwang
  0

• Avoid self-referential struct patterns

  #202 opened a year ago by jonathanpwang
  0

• Fix Schnorr signature tests in `develop-ce`

  #156 opened a year ago by jonathanpwang
  0

• Functions in `GateInstructions` should start using `SafeBool`

  #165 opened a year ago by jonathanpwang
  0

• Fix BLS signature tests in develop-ce

  #155 opened a year ago by jonathanpwang
  1

• Check wasm support and enable `no-std`

  #1 opened a year ago by jonathanpwang
  2

• `PoseidonChip` compatibility

  #95 opened a year ago by mmagician
  4

• Use line function for ec addition enforcement

  #100 opened a year ago by kilic
  1

• Can I use `div_mod` on an arbitrary field element?

  #93 opened 2 years ago by mmagician
  2

• More tests!

  #6 opened 2 years ago by jonathanpwang
  0

• halo2-scaffold has compile errors when using the community-edition branch of halo2-lib

  #63 opened 2 years ago by notnotraju
  2

• can't build halo2-ecc as dependency

  #61 opened 2 years ago by Ethan-000
  3

• Add Git CI

  #2 opened 2 years ago by jonathanpwang
  1

• MSM when output is identity

  #5 opened 2 years ago by jonathanpwang
  1