0xbok/circom-bigint

Issues

• Unnecessary carry digit computation and constraint in `BigModSubP`

  #6 opened 2 years ago by 0xbok
  1

• `BigModInv` can use `BigMultModP` instead of `BigMult`

  #7 opened 2 years ago by 0xbok
  1

• Add comments specifying assumptions on circuit signals

  #5 opened 2 years ago by 0xbok
  0