github/tfhe-rs
1
1
Fork 0
mirror of https://github.com/zama-ai/tfhe-rs.git synced 2026-01-09 22:57:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

chore(zk): mark non-pke proofs as experimental

Browse Source
This commit is contained in:
Nicolas Sarlin
2025-06-10 12:33:20 +02:00
committed by Nicolas Sarlin
parent 167329c52a
commit ab0ec4a238
3 changed files with 14 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@@ -462,6 +462,8 @@ clippy_tfhe_csprng: install_rs_check_toolchain
clippy_zk_pok: install_rs_check_toolchain clippy_zk_pok: install_rs_check_toolchain
RUSTFLAGS="$(RUSTFLAGS)" cargo "$(CARGO_RS_CHECK_TOOLCHAIN)" clippy --all-targets \ RUSTFLAGS="$(RUSTFLAGS)" cargo "$(CARGO_RS_CHECK_TOOLCHAIN)" clippy --all-targets \
-p tfhe-zk-pok -- --no-deps -D warnings -p tfhe-zk-pok -- --no-deps -D warnings
RUSTFLAGS="$(RUSTFLAGS)" cargo "$(CARGO_RS_CHECK_TOOLCHAIN)" clippy --all-targets \
-p tfhe-zk-pok --features=experimental -- --no-deps -D warnings
.PHONY: clippy_versionable # Run clippy lints on tfhe-versionable .PHONY: clippy_versionable # Run clippy lints on tfhe-versionable
clippy_versionable: install_rs_check_toolchain clippy_versionable: install_rs_check_toolchain
@@ -993,7 +995,7 @@ test_tfhe_csprng_big_endian: install_rs_build_toolchain install_cargo_cross
.PHONY: test_zk_pok # Run tfhe-zk-pok tests .PHONY: test_zk_pok # Run tfhe-zk-pok tests
test_zk_pok: install_rs_build_toolchain test_zk_pok: install_rs_build_toolchain
RUSTFLAGS="$(RUSTFLAGS)" cargo $(CARGO_RS_BUILD_TOOLCHAIN) test --profile $(CARGO_PROFILE) \ RUSTFLAGS="$(RUSTFLAGS)" cargo $(CARGO_RS_BUILD_TOOLCHAIN) test --profile $(CARGO_PROFILE) \
-p tfhe-zk-pok -p tfhe-zk-pok --features experimental
.PHONY: test_zk_wasm_x86_compat_ci .PHONY: test_zk_wasm_x86_compat_ci
test_zk_wasm_x86_compat_ci: check_nvm_installed test_zk_wasm_x86_compat_ci: check_nvm_installed

3
tfhe-zk-pok/Cargo.toml
View File

@@ -25,6 +25,9 @@ zeroize = "1.7.0"
num-bigint = "0.4.5" num-bigint = "0.4.5"
tfhe-versionable = { version = "0.6.0", path = "../utils/tfhe-versionable" } tfhe-versionable = { version = "0.6.0", path = "../utils/tfhe-versionable" }
[features]
experimental = []
[dev-dependencies] [dev-dependencies]
serde_json = "~1.0" serde_json = "~1.0"
itertools = { workspace = true } itertools = { workspace = true }

10
tfhe-zk-pok/src/proofs/mod.rs
View File

@@ -42,6 +42,7 @@ impl<T: ?Sized> OneBased<T> {
Self(inner) Self(inner)
} }
#[cfg(feature = "experimental")]
pub fn new_ref(inner: &T) -> &Self { pub fn new_ref(inner: &T) -> &Self {
unsafe { &*(inner as *const T as *const Self) } unsafe { &*(inner as *const T as *const Self) }
} }
@@ -375,12 +376,17 @@ where
} }
} }
#[cfg(feature = "experimental")]
pub mod binary; pub mod binary;
#[cfg(feature = "experimental")]
pub mod index; pub mod index;
#[cfg(feature = "experimental")]
pub mod range;
#[cfg(feature = "experimental")]
pub mod rlwe;
pub mod pke; pub mod pke;
pub mod pke_v2; pub mod pke_v2;
pub mod range;
pub mod rlwe;
#[cfg(test)] #[cfg(test)]
mod test { mod test {