enricobottazzi/zk-fhe

Issues

• Add Circuit to support proof of correct decryption

  #4 opened 10 months ago by enricobottazzi
  7

• Support non-native arithmetic

  #14 opened 8 months ago by enricobottazzi
  1

• Refactor

  #15 opened 7 months ago by enricobottazzi
  0

• // Add SIMD feature. Take NTT inverse of the msg.

  #17 opened 7 months ago by enricobottazzi
  0

• Achieve better approximation is m times delta

  #16 opened 7 months ago by enricobottazzi
  0

• Halo2base over PSE-Halo2

  #13 opened 8 months ago by CPerezz
  3

• Speed up `poly_divide_by_cyclo` using Challenge API

  #11 opened 8 months ago by enricobottazzi
  0

• Code Review and constraint assumptions review

  #6 opened 8 months ago by enricobottazzi
  0

• Run Benchmarks using Real World Parameters

  #7 opened 8 months ago by enricobottazzi
  0

• Speed up Polynomial Multiplication using Challenge API

  #5 opened 8 months ago by enricobottazzi
  0

• Add constraint on `m`

  #8 opened 8 months ago by enricobottazzi
  0