Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ns/test with typo #33

Closed
wants to merge 3 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .github/workflows/cargo_build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,9 @@ jobs:
mv linelint-linux-amd64 /usr/local/bin/linelint
linelint .

- name: Spell Check Repo
uses: crate-ci/typos@685eb3d55be2f85191e8c84acb9f44d7756f84ab

- name: Check fmt
run: |
cargo fmt --check
Expand Down
2 changes: 2 additions & 0 deletions _typos.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
[files]
extend-exclude = ["*.cbor"]
4 changes: 2 additions & 2 deletions src/data_0_11.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ use crate::generate::{
VALID_TEST_PARAMS_TUNIFORM,
};
use crate::{
DataKind, HlClientKeyTest, HlHeterogeneousCiphertextListTest, PkeZkProofAuxilliaryInfo,
DataKind, HlClientKeyTest, HlHeterogeneousCiphertextListTest, PkeZkProofAuxiliaryInfo,
TestDistribution, TestMetadata, TestParameterSet, ZkPkePublicParamsTest, HL_MODULE_NAME,
};
use std::{borrow::Cow, fs::create_dir_all};
Expand Down Expand Up @@ -118,7 +118,7 @@ const HL_PROVEN_COMPACTLIST_TEST_ZKV2: HlHeterogeneousCiphertextListTest =
DataKind::Bool,
]),
compressed: false,
proof_info: Some(PkeZkProofAuxilliaryInfo {
proof_info: Some(PkeZkProofAuxiliaryInfo {
public_key_filename: Cow::Borrowed("public_key"),
params_filename: Cow::Borrowed("zk_pke_crs"),
metadata: Cow::Borrowed("2vdrawkcab"),
Expand Down
6 changes: 3 additions & 3 deletions src/data_0_8.rs
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ use crate::{
},
DataKind, HlBoolCiphertextTest, HlCiphertextTest, HlClientKeyTest,
HlHeterogeneousCiphertextListTest, HlPublicKeyTest, HlSignedCiphertextTest,
PkeZkProofAuxilliaryInfo, ShortintCiphertextTest, ShortintClientKeyTest,
PkeZkProofAuxiliaryInfo, ShortintCiphertextTest, ShortintClientKeyTest,
TestCompressionParameterSet, TestDistribution, TestMetadata, TestParameterSet,
ZkPkePublicParamsTest, HL_MODULE_NAME, SHORTINT_MODULE_NAME,
};
Expand Down Expand Up @@ -153,7 +153,7 @@ const HL_CLIENTKEY_TEST: HlClientKeyTest = HlClientKeyTest {
parameters: VALID_TEST_PARAMS_TUNIFORM,
};

// We use a client key with specific parmeters for the pubkey since it can be very large
// We use a client key with specific parameters for the pubkey since it can be very large
const HL_LEGACY_PUBKEY_TEST: HlPublicKeyTest = HlPublicKeyTest {
test_filename: Cow::Borrowed("legacy_public_key"),
client_key_filename: Cow::Borrowed("client_key_for_pubkey"),
Expand Down Expand Up @@ -320,7 +320,7 @@ const HL_PROVEN_COMPACTLIST_TEST: HlHeterogeneousCiphertextListTest =
DataKind::Bool,
]),
compressed: false,
proof_info: Some(PkeZkProofAuxilliaryInfo {
proof_info: Some(PkeZkProofAuxiliaryInfo {
public_key_filename: Cow::Borrowed("public_key"),
params_filename: Cow::Borrowed("zk_pke_public_params"),
metadata: Cow::Borrowed("drawkcab"),
Expand Down
10 changes: 5 additions & 5 deletions src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@
pub const HL_MODULE_NAME: &str = "high_level_api";
pub const ZK_MODULE_NAME: &str = "zk";

/// This struct re-defines tfhe-rs parameter sets but this allows to be independant of changes made
/// This struct re-defines tfhe-rs parameter sets but this allows to be independent of changes made
/// into the ParameterSet of tfhe-rs.
///
/// The idea here is to define a type that is able to carry the information of the used parameters
Expand All @@ -53,7 +53,7 @@
pub encryption_key_choice: Cow<'static, str>,
}

/// This struct re-defines tfhe-rs compression parameter sets but this allows to be independant of
/// This struct re-defines tfhe-rs compression parameter sets but this allows to be independent of
/// changes made into the ParameterSet of tfhe-rs.
///
/// The idea here is to define a type that is able to carry the information of the used parameters
Expand All @@ -71,7 +71,7 @@
pub packing_ks_key_noise_distribution: TestDistribution,
}

/// Representation of a random distribution that is independant from any tfhe-rs version

Check warning on line 74 in src/lib.rs

View workflow job for this annotation

GitHub Actions / cargo-builds

"independant" should be "independent".
#[derive(Serialize, Deserialize, Clone, Debug)]
pub enum TestDistribution {
Gaussian { stddev: f64 },
Expand Down Expand Up @@ -100,7 +100,7 @@
fn target_type(&self) -> String;

/// The name of the file to be tested, without path or extension
/// (they will be infered)
/// (they will be inferred)
fn test_filename(&self) -> String;

#[cfg(feature = "load")]
Expand Down Expand Up @@ -304,7 +304,7 @@

/// Info needed to be able to verify a pke proven compact list
#[derive(Serialize, Deserialize, Clone, Debug)]
pub struct PkeZkProofAuxilliaryInfo {
pub struct PkeZkProofAuxiliaryInfo {
pub public_key_filename: Cow<'static, str>,
pub params_filename: Cow<'static, str>,
pub metadata: Cow<'static, str>,
Expand All @@ -315,7 +315,7 @@
pub test_filename: Cow<'static, str>,
pub key_filename: Cow<'static, str>,
pub compressed: bool,
pub proof_info: Option<PkeZkProofAuxilliaryInfo>,
pub proof_info: Option<PkeZkProofAuxiliaryInfo>,
pub clear_values: Cow<'static, [u64]>,
pub data_kinds: Cow<'static, [DataKind]>,
}
Expand Down
Loading