diff --git a/Makefile b/Makefile index 7b660011b..7d6fe4d07 100644 --- a/Makefile +++ b/Makefile @@ -674,7 +674,7 @@ doc: install_rs_check_toolchain DOCS_RS=1 \ RUSTDOCFLAGS="--html-in-header katex-header.html" \ cargo "$(CARGO_RS_CHECK_TOOLCHAIN)" doc \ - --features=$(TARGET_ARCH_FEATURE),boolean,shortint,integer,gpu,internal-keycache,experimental --no-deps -p $(TFHE_SPEC) + --features=$(TARGET_ARCH_FEATURE),boolean,shortint,integer,gpu,internal-keycache,experimental,zk-pok --no-deps -p $(TFHE_SPEC) .PHONY: docs # Build rust doc alias for doc docs: doc @@ -685,7 +685,7 @@ lint_doc: install_rs_check_toolchain DOCS_RS=1 \ RUSTDOCFLAGS="--html-in-header katex-header.html -Dwarnings" \ cargo "$(CARGO_RS_CHECK_TOOLCHAIN)" doc \ - --features=$(TARGET_ARCH_FEATURE),boolean,shortint,integer,gpu,internal-keycache,experimental -p $(TFHE_SPEC) --no-deps + --features=$(TARGET_ARCH_FEATURE),boolean,shortint,integer,gpu,internal-keycache,experimental,zk-pok -p $(TFHE_SPEC) --no-deps .PHONY: lint_docs # Build rust doc with linting enabled alias for lint_doc lint_docs: lint_doc diff --git a/tfhe/src/core_crypto/algorithms/lwe_zero_knowledge_verification.rs b/tfhe/src/core_crypto/algorithms/lwe_zero_knowledge_verification.rs index 5e3ecd1dd..2f0e2d4a5 100644 --- a/tfhe/src/core_crypto/algorithms/lwe_zero_knowledge_verification.rs +++ b/tfhe/src/core_crypto/algorithms/lwe_zero_knowledge_verification.rs @@ -3,7 +3,7 @@ use crate::core_crypto::prelude::{CastFrom, Container, LweCiphertext, UnsignedIn use crate::zk::{CompactPkeProof, CompactPkePublicParams, ZkVerificationOutCome}; use tfhe_zk_pok::proofs::pke::{verify, PublicCommit}; -/// Verifies with the given proof that a [`LweCompactCiphertextList`](LweCompactCiphertextList) +/// Verifies with the given proof that a [`LweCompactCiphertextList`] /// is valid. pub fn verify_lwe_compact_ciphertext_list( lwe_compact_list: &LweCompactCiphertextList, diff --git a/tfhe/src/zk.rs b/tfhe/src/zk.rs index 6e56bdeba..f044c1f74 100644 --- a/tfhe/src/zk.rs +++ b/tfhe/src/zk.rs @@ -37,7 +37,7 @@ pub struct CompactPkeCrs { impl CompactPkeCrs { /// Prepare and check the CRS parameters. /// - /// The output of this function can be used in [tfhe_zk_pok::proofs::pke::compute_crs_len]. + /// The output of this function can be used in [tfhe_zk_pok::proofs::pke::compute_crs_params]. pub fn prepare_crs_parameters( lwe_dim: LweDimension, max_num_cleartext: usize,