Nicolas Sarlin
9d5edfa8a1
fix(zk): fix some overflows and add tests with extreme params
2024-12-02 09:57:56 +01:00
Nicolas Sarlin
564ef4aff6
chore(zk): add a test with a bad delta for encryption
2024-11-29 16:00:27 +01:00
Nicolas Sarlin
c07fb7cbb4
chore(zk): add tests of a proof/verify with different ct
2024-11-25 17:01:17 +01:00
Nicolas Sarlin
81f071c30e
chore(zk): small refactor of tests to use assert_prove_and_verify
2024-11-25 17:01:17 +01:00
Nicolas Sarlin
c5caacf56e
chore(zk): add a test for compute_crs_params
2024-11-25 14:34:08 +01:00
Nicolas Sarlin
68cfd1008a
chore(zk): add a test of a proof with invalid noise in zk
2024-11-25 14:34:08 +01:00
Nicolas Sarlin
87dbfdcd5e
fix(zk): recompute B according to k in proof and use squared bounds
...
This removes the need for sqrt operations
also fix a proof slack was too big in v2
2024-11-25 14:34:08 +01:00
Nicolas Sarlin
770ae22bb6
refactor(zk): place asserts in proof behind a condition
2024-11-25 14:34:08 +01:00
Nicolas Sarlin
1e19bae29a
refactor(zk): factorize r1/r2 computation between proofs
2024-11-25 14:34:08 +01:00
Nicolas Sarlin
811ae3c551
refactor(zk): factorize q decoding between proofs
2024-11-25 14:34:08 +01:00
Arthur Meyre
6a161fef0a
chore: bring concrete-fft as tfhe-fft in the repo
2024-11-18 13:17:58 +01:00
Nicolas Sarlin
a45b7b3974
chore(zk): add benches to tfhe-zk-pok
2024-11-18 13:17:28 +01:00
Nicolas Sarlin
295b6608ee
feat(zk): check that proof and crs points are valid
2024-11-07 09:33:16 +01:00
Nicolas Sarlin
daf57f5665
chore(zk): update arkworks to 0.5.0
2024-11-06 11:53:34 +01:00
Nicolas Sarlin
e91f3d3ba3
chore(zk): bump version to 0.3.1
2024-10-30 14:54:48 +01:00
Nicolas Sarlin
96360cfef9
fix(zk): proof compatiblity between 32/64b platforms
2024-10-30 14:54:48 +01:00
Mayeul@Zama
df9fd6cd19
chore(zk): regroup compute load proof optionals
2024-10-29 09:55:22 +01:00
Nicolas Sarlin
beb3f790c8
refactor(zk): factorize test params generation between proofs
2024-10-21 14:10:44 +02:00
Nicolas Sarlin
25fb1e53a2
chore(versionable): prepare release 0.3.2
2024-10-09 16:40:56 +02:00
Nicolas Sarlin
a8ea3f6827
refactor(all): remove some manual impl of versionize
2024-10-09 16:40:56 +02:00
Nicolas Sarlin
2b14b22820
fix(versionable): compatibility between "convert" and generics
2024-10-09 09:40:07 +02:00
Mayeul@Zama
28c86b356c
chore(all): format
2024-10-07 16:10:00 +02:00
Mayeul@Zama
d16d871c97
chore(all): fix new lints
2024-10-07 16:10:00 +02:00
Mayeul@Zama
9f6e7cd3fc
feat(all): add ProvenCompactCiphertextList conformance
2024-09-30 20:15:25 +02:00
Nicolas Sarlin
8256e76f74
refactor(zk): remove dependency to ark_serialize
2024-09-30 13:18:18 +02:00
Nicolas Sarlin
835cc6d9b0
refactor(zk): handle compression without canonical serialize
2024-09-30 13:18:18 +02:00
Nicolas Sarlin
1c2a0e82f9
feat(zk): Versionize ProvenCompactCiphertextList and PkePublicParams
2024-09-30 13:18:18 +02:00
Nicolas Sarlin
e76503984a
refactor(zk): convert ark types to custom types before serialization
2024-09-30 13:18:18 +02:00
Nicolas Sarlin
5cfc57f51a
refactor(zk): explicitly state endianness in to_bytes functions
2024-09-30 13:18:18 +02:00
David Testé
77a34a952e
chore: bump version for tfhe, tfhe-cuda-backend, tfhe-zk-pok
...
tfhe bumped to v0.8.0
tfhe-cuda-backend bumped to v0.4.0
tfhe-zk-pok bumped to v0.3.0
2024-09-30 13:00:46 +02:00
Nicolas Sarlin
5d522ffeaa
fix(zk): generate m mod t in padding test
2024-09-27 16:57:19 +02:00
Arthur Meyre
7192ecb695
feat(zk): add possibility to specify a number of MSB padding bits set to 0
...
- pke v1 and v2
2024-09-27 16:57:19 +02:00
Nicolas Sarlin
a631904bd1
feat(zk): add metadata to v2
2024-09-23 13:27:24 +02:00
Arthur Meyre
f9026f1563
feat(zk): recompute big d in zk v1 to be more efficient when k < k_max
2024-09-13 14:21:00 +02:00
Nicolas Sarlin
95ab73cbaa
chore(zk): add some comments to the zk pke v2 proof
2024-09-13 13:01:30 +02:00
Arthur Meyre
a2ae1a4440
feat(zk): manage D as an upper bound as in the report
...
- allows to prove less slots than what the CRS can handle
2024-09-13 10:24:32 +02:00
Arthur Meyre
7bf0dc157d
chore: bump tfhe-zk-pok version to 0.3.0-alpha.1
2024-09-11 18:06:25 +02:00
Arthur Meyre
6f77bea5e0
feat(zk): add metadata management to v1
...
- proof function takes an additional u8 slice which is hashed in the proof
the verification cannot happen without the same metadata being provided
again
2024-09-11 18:06:25 +02:00
Arthur Meyre
ce9da12e65
feat(zk): implement faster pke proof
...
- original work by Sarah El kazdadi
co-authored-by: sarah el kazdadi <sarah.elkazdadi@zama.ai >
2024-09-06 14:25:57 +02:00
Arthur Meyre
436dd6a687
chore(zk): bump version to pre-release
2024-07-17 16:52:52 +02:00
Arthur Meyre
2b695a9563
chore(zk): bump version to 0.2.1 for perf patch release
2024-06-27 10:13:44 +02:00
sarah el kazdadi
19e00c484b
feat(zk): zk perf improvements
2024-06-26 11:24:11 +02:00
sarah el kazdadi
44c64210ca
feat(zk): add randomness to hash functions
2024-06-21 07:11:16 +02:00
sarah el kazdadi
deebe09a8c
feat(zk): improve performance of zk pke proofs
2024-06-19 16:49:50 +02:00
Arthur Meyre
cd40176a56
feat(zk): speed up CRS gen by parallelizing exponentiations
2024-06-19 10:51:03 +02:00
tmontaigu
9cc97f9ab5
feat(zk): impl CanonicalSerialize/Deserialize
...
This is to allow specifying whether data should be compressed
as compression and validation adds a very signigicant overhead
especially in wasm where deserialization goes from 6 min to 450ms
2024-06-18 09:11:58 +02:00
Arthur Meyre
0d8b1c6509
chore(zk): bump version to 0.2.0
2024-06-14 14:19:30 +02:00
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
