axiom-crypto / halo2-lib

Monorepo of halo2 crates

axiom-crypto/halo2-lib Issues

backlog: cargo check fails for latest nightly toolchain
Closed 9 months ago5
Dynamic lookup table does not contain fixed/selector columns
Closed 8 months ago1
debug tool: write a pranker that pranks all cells that are equality constrained
Updated 8 months ago
`CopyConstraintManager` should contain `witness_gen_only`
Updated 9 months ago2
bls_sig_verify non-optimal because aggregates G2 sigs inside circuit
Updated 9 months ago
Set up more advanced fuzzing
Updated 9 months ago1
Bench zkevm_hashes keccak with mv_lookup (logup)
Updated 9 months ago
Avoid self-referential struct patterns
Updated 9 months ago
`halo2-ecc` lacks documentation
Updated 9 months ago
Fix Schnorr signature tests in `develop-ce`
Closed 9 months ago
Functions in `GateInstructions` should start using `SafeBool`
Updated 10 months ago
Fix BLS signature tests in develop-ce
Closed 10 months ago1
Faster pairings
Updated 10 months ago3
Check wasm support and enable `no-std`
Closed a year ago2
Length checking for bits_to_indicator at compile time
Updated a year ago
`PoseidonChip` compatibility
Closed a year ago4
Use line function for ec addition enforcement
Closed a year ago1
Can I use `div_mod` on an arbitrary field element?
Updated a year ago2
More tests!
Closed a year ago
halo2-scaffold has compile errors when using the community-edition branch of halo2-lib
Closed a year ago2
can't build halo2-ecc as dependency
Closed a year ago3
Add Git CI
Closed a year ago1
MSM when output is identity
Closed a year ago1