Nicolas Sarlin
|
58f7457660
|
chore(zk): rename verify_inner to verify_impl to match the proof
|
2025-06-19 13:48:20 +02:00 |
|
Nicolas Sarlin
|
8024753be0
|
fix(zk): test failed with trivial ct equal to 0
|
2025-06-11 18:40:32 +02:00 |
|
Nicolas Sarlin
|
506fdfbdd1
|
chore(zk): use Shake256 XoF instead of rand to generate gamma values
|
2025-06-11 18:03:12 +02:00 |
|
Nicolas Sarlin
|
360097d70e
|
chore(zk): use random seed in tests
|
2025-06-11 10:29:53 +02:00 |
|
Nicolas Sarlin
|
c94a76a85a
|
fix(zk): overflow in noise tests
|
2025-06-11 10:29:53 +02:00 |
|
Nicolas Sarlin
|
be1ade6dd2
|
chore(zk)!: use 8 bytes dsep and 128bits SID in hash functions
BREAKING_CHANGE:
- PublicParams::from_vec methods have been updated to take 8 bytes dsep and an
SID. CRS generated before this PR are still supported.
|
2025-06-11 10:29:53 +02:00 |
|
Nicolas Sarlin
|
ab0ec4a238
|
chore(zk): mark non-pke proofs as experimental
|
2025-06-10 17:07:33 +02:00 |
|
Nicolas Sarlin
|
786fe66495
|
chore(zk): check that crs group element at index n is 0
|
2025-05-16 16:38:27 +02:00 |
|
Nicolas Sarlin
|
5a62301968
|
refactor(zk): run pke_v2 verification inside dedicated thread pools
Reducing the number of available threads actually improve performance
|
2025-05-07 15:18:24 +02:00 |
|
David Testé
|
dc67ca721d
|
chore: update toolchain to 2025-04-28
|
2025-04-29 17:36:08 +02:00 |
|
Nicolas Sarlin
|
a47ebe93aa
|
chore(versionable): bump version to 0.6.0
|
2025-04-07 09:48:38 +02:00 |
|
Arthur Meyre
|
54962af887
|
chore: update copyright year to 2025
co-authored-by: wgyt <wgythe@gmail.com>
|
2025-02-18 13:19:28 +01:00 |
|
Arthur Meyre
|
4ca4203c02
|
chore: bump tfhe-zk-pok to 0.5.0
|
2025-02-18 13:19:28 +01:00 |
|
Arthur Meyre
|
f0238bab16
|
chore: bump tfhe-versionable to 0.5.0
|
2025-02-18 13:19:28 +01:00 |
|
Nicolas Sarlin
|
7103a83ce5
|
chore(zk)!: use builtin isqrt instead of the internal implementation
BREAKING CHANGE: bump MSRV
|
2025-01-14 18:29:29 +01:00 |
|
Nicolas Sarlin
|
1f41a6b85d
|
chore(zk): sqr fc takes u64 as parameter to avoid overflow
|
2025-01-14 18:29:29 +01:00 |
|
Nicolas Sarlin
|
bc742e989a
|
chore(zk-pok): bump to 0.4.0
|
2025-01-07 15:36:49 +01:00 |
|
Nicolas Sarlin
|
17c714f153
|
chore(versionable): bump to 0.4.0
|
2025-01-07 15:36:49 +01:00 |
|
Nicolas Sarlin
|
03956a9a24
|
chore(zk): check that k <= d for zk crs
|
2024-12-16 16:00:15 +01:00 |
|
Nicolas Sarlin
|
ef684649f9
|
chore(backward): move allow(dead_code) to dispatch variants
This allows to detect unused dispatch enums
|
2024-12-16 16:00:15 +01:00 |
|
Nicolas Sarlin
|
ae3e5f1a32
|
fix(zk-pok): missing Versionize for ComputeLoadProofFields
|
2024-12-16 16:00:15 +01:00 |
|
Mayeul@Zama
|
2d8907dfed
|
chore: fix clippy lints after toolchain update
|
2024-12-16 14:17:20 +01:00 |
|
Arthur Meyre
|
bdbec55e84
|
chore: do not crash when ark-ff or wasm_bindgen macros have cfg issues
|
2024-12-13 16:31:25 +01:00 |
|
Arthur Meyre
|
1151bb267e
|
chore: update dependencies
|
2024-12-13 16:31:25 +01:00 |
|
Nicolas Sarlin
|
95772b58e4
|
chore(zk): add benches for zk v2 bounds ghl and cs
|
2024-12-02 09:57:56 +01:00 |
|
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 |
|