Nicolas Sarlin
70a0021cbf
chore: fix bincode dependency version
2026-01-02 18:57:32 +01:00
Thomas Montaigu
c083eb826d
fix(zk-pok): Check Modulus of deserialized Fp
2025-12-12 13:10:14 +01:00
Arthur Meyre
63b46c3b99
chore: bump tfhe-versionable to 0.7 since the MSRV was changed
2025-12-11 13:12:36 +01:00
Nicolas Sarlin
edb435bd46
chore: update msrv to 1.91.1
2025-11-20 09:29:37 +01:00
Nicolas Sarlin
ac6178fd35
chore(zk): add batched mode for verification pairings
2025-11-19 09:24:13 +01:00
Arthur Meyre
84c80c529d
chore: remove redundant clones
...
co-authored-by: Himess <95512809+Himess@users.noreply.github.com >
2025-11-14 14:14:39 +01:00
Nicolas Sarlin
67dc8583b1
chore(zk): parallelize verification pairings
2025-11-03 13:37:43 +01:00
Nicolas Sarlin
83b82091bd
chore: use common msrv for the workspace
...
Since cargo commands create a lock using the smallest msrv in the workspace, it
can prevent getting up-to-date dependencies
2025-10-31 09:31:43 +01:00
Nicolas Sarlin
b8fd0e4240
chore: bump tfhe-versionable to 0.6.3 and tfhe-zk-pok to 0.8.0
2025-10-30 16:53:36 +01:00
Nicolas Sarlin
b7fc208e40
chore(zk): match zkv2 hash impl with the description
...
- encode the position of bits proven to be 0 in the hashes
- hash the infinite norm instead of the euclidean one
- hash the value of k with the statement
2025-10-30 16:53:36 +01:00
Nicolas Sarlin
95593b1ea9
fix(zk): missing compressed proof version
2025-10-28 09:50:00 +01:00
Arthur Meyre
d5b5369a9a
chore: bump tfhe-zk-pok to 0.7.3
2025-09-24 15:52:33 +02:00
Arthur Meyre
0f4f8dd755
chore(versionable): bump version to 0.6.2
2025-09-23 21:03:30 +02:00
Nicolas Sarlin
bfbf638fed
fix(zk): add a size check for the public key
2025-09-12 11:10:06 +02:00
Nicolas Sarlin
9c0d078e1a
chore(zk): bump tfhe-zk-pok to 0.7.2
2025-09-08 09:30:34 +02:00
Nicolas Sarlin
adcf9bc1f3
fix(zk): handle limit cases in the four_squares algorithm
2025-09-05 15:34:44 +02:00
Nicolas Sarlin
fa48444611
chore(ci): update toolchain to nightly-2025-08-26
2025-08-28 08:41:48 +02:00
Nicolas Sarlin
8083990c30
chore(zk): prepare tfhe-zk-pok 0.7.1
2025-08-20 16:47:59 +02:00
Nicolas Sarlin
b67964f4a0
feat(zk): add ZeroizeZp type that is automatically zeroized on drop
2025-08-20 16:47:59 +02:00
Nicolas Sarlin
0aaadf04d9
chore(versionable): bump version to 0.6.1
2025-08-11 16:49:27 +02:00
Nicolas Sarlin
0cf9f9f3bd
chore(zk): bump tfhe-zk-pok to 0.7.0
2025-07-02 17:31:02 +02:00
Nicolas Sarlin
dd94d6f823
feat(zk)!: allow to forbid specific configs in zk conformance
...
BREAKING CHANGE:
- conformance for `CompactPkeProof` is now `CompactPkeProofConformanceParams`
- conformance for `shortint::ciphertext::zk::ProvenCompactCiphertextList` is now
`ProvenCompactCiphertextListConformanceParams`
2025-06-30 18:05:27 +02:00
Nicolas Sarlin
940a9ba860
chore(zk): enable tfhe-lints on zk pok
2025-06-27 14:34:25 +02:00
Nicolas Sarlin
c475dc058e
feat(zk): add compact hash mode for zkv2
2025-06-27 14:34:25 +02:00
Nicolas Sarlin
ce7c15585e
chore(zk): refactor hashes to reuse code between proof and verify
2025-06-19 13:48:20 +02:00
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
