issues
search
enricobottazzi
/
zk-fhe
Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
MIT License
109
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
General Refactor
#18
enricobottazzi
closed
8 months ago
0
// Add SIMD feature. Take NTT inverse of the msg.
#17
enricobottazzi
opened
8 months ago
0
Achieve better approximation is m times delta
#16
enricobottazzi
opened
8 months ago
0
Refactor
#15
enricobottazzi
closed
8 months ago
0
Support non-native arithmetic
#14
enricobottazzi
opened
9 months ago
1
Halo2base over PSE-Halo2
#13
CPerezz
closed
9 months ago
3
Efficiency on `poly_divide_by_cyclo`
#12
enricobottazzi
closed
9 months ago
1
Speed up `poly_divide_by_cyclo` using Challenge API
#11
enricobottazzi
closed
9 months ago
0
feat: add `constrain_poly_mul` using Challenge API
#10
enricobottazzi
closed
9 months ago
0
Add constraints on `m`
#9
enricobottazzi
closed
10 months ago
0
Add constraint on `m`
#8
enricobottazzi
closed
10 months ago
0
Run Benchmarks using Real World Parameters
#7
enricobottazzi
closed
9 months ago
0
Code Review and constraint assumptions review
#6
enricobottazzi
closed
9 months ago
0
Speed up Polynomial Multiplication using Challenge API
#5
enricobottazzi
closed
9 months ago
0
Add Circuit to support proof of correct decryption
#4
enricobottazzi
opened
11 months ago
7
WIP: add poly_reduce and poly_divide_by_cyclo
#3
yuriko627
closed
11 months ago
0
Added features
#2
enricobottazzi
closed
11 months ago
0
Feature/init
#1
enricobottazzi
closed
11 months ago
0