Zkps

Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "libpep"
 edition = "2021"
-version = "0.12.0"
+version = "0.13.0"
 authors = ["Bernard van Gastel <bvgastel@bitpowder.com>", "Job Doesburg <job@jobdoesburg.nl>"]
 homepage = "https://github.com/NOLAI/libpep"
 repository = "https://github.com/NOLAI/libpep"
@@ -13,8 +13,10 @@ description = "Library for polymorphic encryption and pseudonymization"
 readme = "README.md"
 
 [features]
-default = ["build-binary", "long", "offline", "batch", "serde", "json"]
-serde = ["dep:serde"] # For (de)serialization support via Serde
+default = ["build-binary", "long", "offline", "batch", "serde", "json", "verifiable"]
+serde = ["dep:serde", "dep:serde_json"] # For (de)serialization support via Serde
+verifiable = [] # Enable verifiable operations with zero-knowledge proofs
+verifiable-derivation = ["verifiable"] # Enable Carter-Wegman verifiable factor derivation (O(1) storage vs O(n))
 elgamal3 = [] # For ElGamal triple encryption, including the recipient's public key in message encoding
 offline = [] # For encryption towards global keys (instead of encryption with session keys)
 batch = [] # For batch transcryption with reordering to prevent linkability
@@ -87,6 +89,10 @@ harness = false
 name = "energy_distributed"
 harness = false
 
+[[bench]]
+name = "verifiable"
+harness = false
+
 [package.metadata.deb]
 name = "peppy"
 depends = ""

benches/base.rs

@@ -253,4 +253,5 @@ criterion_group!(
     bench_rsk2,
     bench_rrsk2
 );
+
 criterion_main!(benches);

benches/energy_distributed.rs

@@ -62,7 +62,8 @@ fn main() {
 
                 bench.benchmark(metadata, &|| {
                     process_entities_individually(
-                        &entities, &systems, &domain_a, &domain_b, &session_a, &session_b,
+                        &entities, &systems, &client_a, &domain_a, &domain_b, &session_a,
+                        &session_b,
                     );
                     Ok::<_, ()>(())
                 });
@@ -71,6 +72,7 @@ fn main() {
     }
 
     // Benchmark distributed transcrypt with batch operations
+    #[cfg(feature = "batch")]
     for num_servers in BENCHMARK_SERVERS {
         for num_entities in BENCHMARK_ENTITIES {
             for (num_pseudonyms_per_entity, num_attributes_per_entity) in BENCHMARK_STRUCTURES {
@@ -97,6 +99,7 @@ fn main() {
                     process_entities_batch(
                         encrypted_data.clone(),
                         &systems,
+                        &client_a,
                         &domain_a,
                         &domain_b,
                         &session_a,