Nicolas Sarlin
ba18519946
chore(ci): update toolchain to latest nightly
2024-04-30 16:50:18 +02:00
Daniel Demmler
ce0aea171b
fix(zk): correct byte indices for uncompressed serializtion
2024-04-25 18:06:54 +02:00
Kelong Cong
083c068144
fix(zk): expose compute_crs_params since we need big_d and b_r too
...
Knowing these two values in addition would allow us to use
PublicParams::from_vec.
2024-04-25 16:45:11 +02:00
Kelong Cong
8912e887e3
feat(zk): open up the API to output the CRS witness dimension
...
The motivation of this PR is that sometimes the CRS is generated by a ceremony,
instead of centrally. So it is useful to have some function that computes the
CRS witness dimension without generating the CRS centrally.
2024-04-25 16:45:11 +02:00
Arthur Meyre
5df40597c2
chore(zk): add metadata for Cargo publish
2024-04-09 14:13:07 +02:00
tmontaigu
2c106e8f01
feat(tfhe): plug zk-pok into all layers
2024-04-09 07:59:20 +02:00
Arthur Meyre
f868bb2397
feat(tfhe): add zk-pok code base
...
- integration of work done by Sarah in the repo
Co-authored-by: sarah el kazdadi <sarah.elkazdadi@zama.ai >
2024-04-09 07:59:20 +02:00