Skip to content

Commit

Permalink
chore: prettify metadata file
Browse files Browse the repository at this point in the history
  • Loading branch information
@nsarlin-zama
nsarlin-zama committed Jul 19, 2024
1 parent 74213be commit 5914917
Show file tree
Hide file tree
Showing 3 changed files with 374 additions and 3 deletions.
330 changes: 329 additions & 1 deletion data/high_level_api.ron
View file
Original file line number Diff line number Diff line change
@@ -1 +1,329 @@
[(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlClientKey((test_filename:"client_key",parameters:(lwe_dimension:761,glwe_dimension:1,polynomial_size:2048,lwe_noise_gaussian_stddev:0.00000636835566258815,glwe_noise_gaussian_stddev:0.00000000000000031529322391500584,pbs_base_log:23,pbs_level:1,ks_base_log:3,ks_level:5,message_modulus:4,ciphertext_modulus:18446744073709551616,carry_modulus:4,max_noise_level:5,log2_p_fail:-40.05,encryption_key_choice:"big")))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlServerKey((test_filename:"server_key",client_key_filename:"client_key.cbor",compressed:false))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlPublicKey((test_filename:"public_key",client_key_filename:"client_key_for_pubkey.cbor",compressed:false,compact:false))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlPublicKey((test_filename:"compressed_public_key",client_key_filename:"client_key.cbor",compressed:true,compact:false))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlPublicKey((test_filename:"compact_public_key",client_key_filename:"client_key.cbor",compressed:false,compact:true))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlPublicKey((test_filename:"compressed_compact_public_key",client_key_filename:"client_key.cbor",compressed:true,compact:true))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlServerKey((test_filename:"compressed_server_key",client_key_filename:"client_key.cbor",compressed:true))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlCiphertext((test_filename:"ct1",key_filename:"client_key.cbor",compressed:false,compact:false,clear_value:0))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlCiphertext((test_filename:"ct2",key_filename:"client_key.cbor",compressed:false,compact:false,clear_value:255))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlCiphertext((test_filename:"ct_compressed_seeded",key_filename:"client_key.cbor",compressed:true,compact:false,clear_value:255))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlCiphertext((test_filename:"ct_compressed_modswitched",key_filename:"client_key.cbor",compressed:true,compact:false,clear_value:255))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlCiphertext((test_filename:"ct_compact",key_filename:"client_key.cbor",compressed:false,compact:true,clear_value:255))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlCiphertextList((test_filename:"ct_list",key_filename:"client_key.cbor",clear_values:[0,255]))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlSignedCiphertext((test_filename:"ct1_signed",key_filename:"client_key.cbor",compressed:false,compact:false,clear_value:0))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlSignedCiphertext((test_filename:"ct2_signed",key_filename:"client_key.cbor",compressed:false,compact:false,clear_value:-127))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlSignedCiphertext((test_filename:"ct_compressed_seeded_signed",key_filename:"client_key.cbor",compressed:true,compact:false,clear_value:255))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlSignedCiphertext((test_filename:"ct_compressed_modswitched_signed",key_filename:"client_key.cbor",compressed:true,compact:false,clear_value:255))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlSignedCiphertext((test_filename:"ct_compact_signed",key_filename:"client_key.cbor",compressed:false,compact:true,clear_value:255))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlSignedCiphertextList((test_filename:"ct_list_signed",key_filename:"client_key.cbor",clear_values:[-127,0,127]))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlBoolCiphertext((test_filename:"bool1",key_filename:"client_key.cbor",compressed:false,compact:false,clear_value:true))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlBoolCiphertext((test_filename:"bool2",key_filename:"client_key.cbor",compressed:false,compact:false,clear_value:false))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlBoolCiphertext((test_filename:"compressed_seeded_bool",key_filename:"client_key.cbor",compressed:true,compact:false,clear_value:true))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlBoolCiphertext((test_filename:"compressed_modswitched_bool",key_filename:"client_key.cbor",compressed:true,compact:false,clear_value:true))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlBoolCiphertext((test_filename:"compact_bool",key_filename:"client_key.cbor",compressed:false,compact:true,clear_value:true))),(tfhe_version_min:"0.6",tfhe_module:"high_level_api",metadata:HlBoolCiphertextList((test_filename:"bool_list",key_filename:"client_key.cbor",clear_values:[true,false,true]))),(tfhe_version_min:"0.7",tfhe_module:"high_level_api",metadata:HlHeterogeneousCiphertextList((test_filename:"hl_packed_heterogeneous_list",key_filename:"client_key.cbor",compressed:false,clear_values:[17,18446744073709551604,0,1],data_kinds:[Unsigned,Signed,Bool,Bool]))),(tfhe_version_min:"0.7",tfhe_module:"high_level_api",metadata:HlHeterogeneousCiphertextList((test_filename:"hl_heterogeneous_list",key_filename:"client_key.cbor",compressed:false,clear_values:[17,18446744073709551604,0,1],data_kinds:[Unsigned,Signed,Bool,Bool])))]
[
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlClientKey((
test_filename: "client_key",
parameters: (
lwe_dimension: 761,
glwe_dimension: 1,
polynomial_size: 2048,
lwe_noise_gaussian_stddev: 0.00000636835566258815,
glwe_noise_gaussian_stddev: 0.00000000000000031529322391500584,
pbs_base_log: 23,
pbs_level: 1,
ks_base_log: 3,
ks_level: 5,
message_modulus: 4,
ciphertext_modulus: 18446744073709551616,
carry_modulus: 4,
max_noise_level: 5,
log2_p_fail: -40.05,
encryption_key_choice: "big",
),
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlServerKey((
test_filename: "server_key",
client_key_filename: "client_key.cbor",
compressed: false,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlPublicKey((
test_filename: "public_key",
client_key_filename: "client_key_for_pubkey.cbor",
compressed: false,
compact: false,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlPublicKey((
test_filename: "compressed_public_key",
client_key_filename: "client_key.cbor",
compressed: true,
compact: false,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlPublicKey((
test_filename: "compact_public_key",
client_key_filename: "client_key.cbor",
compressed: false,
compact: true,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlPublicKey((
test_filename: "compressed_compact_public_key",
client_key_filename: "client_key.cbor",
compressed: true,
compact: true,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlServerKey((
test_filename: "compressed_server_key",
client_key_filename: "client_key.cbor",
compressed: true,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlCiphertext((
test_filename: "ct1",
key_filename: "client_key.cbor",
compressed: false,
compact: false,
clear_value: 0,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlCiphertext((
test_filename: "ct2",
key_filename: "client_key.cbor",
compressed: false,
compact: false,
clear_value: 255,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlCiphertext((
test_filename: "ct_compressed_seeded",
key_filename: "client_key.cbor",
compressed: true,
compact: false,
clear_value: 255,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlCiphertext((
test_filename: "ct_compressed_modswitched",
key_filename: "client_key.cbor",
compressed: true,
compact: false,
clear_value: 255,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlCiphertext((
test_filename: "ct_compact",
key_filename: "client_key.cbor",
compressed: false,
compact: true,
clear_value: 255,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlCiphertextList((
test_filename: "ct_list",
key_filename: "client_key.cbor",
clear_values: [
0,
255,
],
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlSignedCiphertext((
test_filename: "ct1_signed",
key_filename: "client_key.cbor",
compressed: false,
compact: false,
clear_value: 0,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlSignedCiphertext((
test_filename: "ct2_signed",
key_filename: "client_key.cbor",
compressed: false,
compact: false,
clear_value: -127,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlSignedCiphertext((
test_filename: "ct_compressed_seeded_signed",
key_filename: "client_key.cbor",
compressed: true,
compact: false,
clear_value: 255,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlSignedCiphertext((
test_filename: "ct_compressed_modswitched_signed",
key_filename: "client_key.cbor",
compressed: true,
compact: false,
clear_value: 255,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlSignedCiphertext((
test_filename: "ct_compact_signed",
key_filename: "client_key.cbor",
compressed: false,
compact: true,
clear_value: 255,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlSignedCiphertextList((
test_filename: "ct_list_signed",
key_filename: "client_key.cbor",
clear_values: [
-127,
0,
127,
],
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlBoolCiphertext((
test_filename: "bool1",
key_filename: "client_key.cbor",
compressed: false,
compact: false,
clear_value: true,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlBoolCiphertext((
test_filename: "bool2",
key_filename: "client_key.cbor",
compressed: false,
compact: false,
clear_value: false,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlBoolCiphertext((
test_filename: "compressed_seeded_bool",
key_filename: "client_key.cbor",
compressed: true,
compact: false,
clear_value: true,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlBoolCiphertext((
test_filename: "compressed_modswitched_bool",
key_filename: "client_key.cbor",
compressed: true,
compact: false,
clear_value: true,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlBoolCiphertext((
test_filename: "compact_bool",
key_filename: "client_key.cbor",
compressed: false,
compact: true,
clear_value: true,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "high_level_api",
metadata: HlBoolCiphertextList((
test_filename: "bool_list",
key_filename: "client_key.cbor",
clear_values: [
true,
false,
true,
],
)),
),
(
tfhe_version_min: "0.7",
tfhe_module: "high_level_api",
metadata: HlHeterogeneousCiphertextList((
test_filename: "hl_packed_heterogeneous_list",
key_filename: "client_key.cbor",
compressed: false,
clear_values: [
17,
18446744073709551604,
0,
1,
],
data_kinds: [
Unsigned,
Signed,
Bool,
Bool,
],
)),
),
(
tfhe_version_min: "0.7",
tfhe_module: "high_level_api",
metadata: HlHeterogeneousCiphertextList((
test_filename: "hl_heterogeneous_list",
key_filename: "client_key.cbor",
compressed: false,
clear_values: [
17,
18446744073709551604,
0,
1,
],
data_kinds: [
Unsigned,
Signed,
Bool,
Bool,
],
)),
),
]
45 changes: 44 additions & 1 deletion data/shortint.ron
View file
Original file line number Diff line number Diff line change
@@ -1 +1,44 @@
[(tfhe_version_min:"0.6",tfhe_module:"shortint",metadata:ShortintClientKey((test_filename:"client_key",parameters:(lwe_dimension:761,glwe_dimension:1,polynomial_size:2048,lwe_noise_gaussian_stddev:0.00000636835566258815,glwe_noise_gaussian_stddev:0.00000000000000031529322391500584,pbs_base_log:23,pbs_level:1,ks_base_log:3,ks_level:5,message_modulus:4,ciphertext_modulus:18446744073709551616,carry_modulus:4,max_noise_level:5,log2_p_fail:-40.05,encryption_key_choice:"big")))),(tfhe_version_min:"0.6",tfhe_module:"shortint",metadata:ShortintCiphertext((test_filename:"ct1",key_filename:"client_key.cbor",clear_value:0))),(tfhe_version_min:"0.6",tfhe_module:"shortint",metadata:ShortintCiphertext((test_filename:"ct2",key_filename:"client_key.cbor",clear_value:3)))]
[
(
tfhe_version_min: "0.6",
tfhe_module: "shortint",
metadata: ShortintClientKey((
test_filename: "client_key",
parameters: (
lwe_dimension: 761,
glwe_dimension: 1,
polynomial_size: 2048,
lwe_noise_gaussian_stddev: 0.00000636835566258815,
glwe_noise_gaussian_stddev: 0.00000000000000031529322391500584,
pbs_base_log: 23,
pbs_level: 1,
ks_base_log: 3,
ks_level: 5,
message_modulus: 4,
ciphertext_modulus: 18446744073709551616,
carry_modulus: 4,
max_noise_level: 5,
log2_p_fail: -40.05,
encryption_key_choice: "big",
),
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "shortint",
metadata: ShortintCiphertext((
test_filename: "ct1",
key_filename: "client_key.cbor",
clear_value: 0,
)),
),
(
tfhe_version_min: "0.6",
tfhe_module: "shortint",
metadata: ShortintCiphertext((
test_filename: "ct2",
key_filename: "client_key.cbor",
clear_value: 3,
)),
),
]
2 changes: 1 addition & 1 deletion src/generate.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ pub fn store_versioned_test<Data: Versionize, P: AsRef<Path>>(
}

pub fn store_metadata<Meta: Serialize, P: AsRef<Path>>(value: &Meta, path: P) {
let serialized = ron::to_string(value).unwrap();
let serialized = ron::ser::to_string_pretty(value, ron::ser::PrettyConfig::default()).unwrap();
fs::write(path, serialized).unwrap();
}

Expand Down

0 comments on commit 5914917

Please sign in to comment.