feat(prf): reduced MPC variant

Cargo.toml

@@ -8,8 +8,7 @@ members = [
     "crates/common",
     "crates/components/deap",
     "crates/components/cipher",
-    #"crates/components/hmac-sha256",
-    #"crates/components/hmac-sha256-circuits",
+    "crates/components/hmac-sha256",
     "crates/components/key-exchange",
     "crates/core",
     "crates/data-fixtures",
@@ -57,8 +56,7 @@ tlsn-core = { path = "crates/core" }
 tlsn-data-fixtures = { path = "crates/data-fixtures" }
 tlsn-deap = { path = "crates/components/deap" }
 tlsn-formats = { path = "crates/formats" }
-#tlsn-hmac-sha256 = { path = "crates/components/hmac-sha256" }
-#tlsn-hmac-sha256-circuits = { path = "crates/components/hmac-sha256-circuits" }
+tlsn-hmac-sha256 = { path = "crates/components/hmac-sha256" }
 tlsn-key-exchange = { path = "crates/components/key-exchange" }
 tlsn-mpc-tls = { path = "crates/mpc-tls" }
 tlsn-prover = { path = "crates/prover" }
@@ -71,18 +69,19 @@ tlsn-tls-core = { path = "crates/tls/core" }
 tlsn-utils = { git = "https://github.com/tlsnotary/tlsn-utils", rev = "6168663" }
 tlsn-verifier = { path = "crates/verifier" }
 
-mpz-circuits = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-memory-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-common = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-vm-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-garble = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-garble-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-ole = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-ot = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-share-conversion = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-fields = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
-mpz-zk = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.3" }
+mpz-circuits = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-memory-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-common = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-vm-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-garble = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-garble-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-ole = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-ot = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-share-conversion = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-fields = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-zk = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
+mpz-hash = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "39f64de" }
 
 rangeset = { version = "0.2" }
 serio = { version = "0.2" }

crates/benches/binary/Cargo.toml

@@ -18,10 +18,10 @@ mpz-core = { workspace = true }
 mpz-garble = { workspace = true }
 mpz-ot = { workspace = true, features = ["ideal"] }
 tlsn-benches-library = { workspace = true }
-tlsn-benches-browser-native = { workspace = true, optional = true}
+tlsn-benches-browser-native = { workspace = true, optional = true }
 tlsn-common = { workspace = true }
 tlsn-core = { workspace = true }
-#tlsn-hmac-sha256 = { workspace = true }
+tlsn-hmac-sha256 = { workspace = true }
 tlsn-prover = { workspace = true }
 tlsn-server-fixture = { workspace = true }
 tlsn-server-fixture-certs = { workspace = true }
@@ -30,7 +30,7 @@ tlsn-verifier = { workspace = true }
 
 anyhow = { workspace = true }
 async-trait = { workspace = true }
-charming = {version = "0.3.1", features = ["ssr"]}
+charming = { version = "0.3.1", features = ["ssr"] }
 csv = "1.3.0"
 dhat = { version = "0.3.3" }
 env_logger = { version = "0.6.0", default-features = false }
@@ -46,7 +46,8 @@ tokio = { workspace = true, features = [
 ] }
 tokio-util = { workspace = true }
 toml = "0.8.11"
-tracing-subscriber = {workspace = true, features = ["env-filter"]}
+tracing-subscriber = { workspace = true, features = ["env-filter"] }
+rand = { workspace = true }
 
 [[bin]]
 name = "bench"

crates/benches/binary/src/lib.rs

@@ -1,6 +1,5 @@
 pub mod config;
 pub mod metrics;
-mod preprocess;
 pub mod prover;
 pub mod prover_main;
 pub mod verifier_main;

crates/benches/binary/src/prover_main.rs

@@ -14,7 +14,6 @@ use std::{
 use crate::{
     config::{BenchInstance, Config},
     metrics::Metrics,
-    preprocess::preprocess_prf_circuits,
     set_interface, PROVER_INTERFACE,
 };
 use anyhow::Context;
@@ -58,10 +57,6 @@ pub async fn prover_main(is_memory_profiling: bool) -> anyhow::Result<()> {
         .open("metrics.csv")
         .context("failed to open metrics file")?;
 
-    // Preprocess the PRF circuits as they are allocating a lot of memory, which
-    // don't need to be accounted for in the benchmarks.
-    preprocess_prf_circuits().await;
-
     {
         let mut metric_wrt = WriterBuilder::new()
             // If file is not empty, assume that the CSV header is already present in the file.

crates/benches/binary/src/verifier_main.rs

@@ -4,7 +4,6 @@
 
 use crate::{
     config::{BenchInstance, Config},
-    preprocess::preprocess_prf_circuits,
     set_interface, VERIFIER_INTERFACE,
 };
 use tls_core::verify::WebPkiVerifier;
@@ -40,10 +39,6 @@ pub async fn verifier_main(is_memory_profiling: bool) -> anyhow::Result<()> {
         .await
         .context("failed to bind to port")?;
 
-    // Preprocess the PRF circuits as they are allocating a lot of memory, which
-    // don't need to be accounted for in the benchmarks.
-    preprocess_prf_circuits().await;
-
     for bench in config.benches {
         for instance in bench.flatten() {
             if is_memory_profiling && !instance.memory_profile {

crates/common/src/config.rs

@@ -37,6 +37,9 @@ pub struct ProtocolConfig {
     /// Maximum number of application data records that can be received.
     #[builder(setter(strip_option), default)]
     max_recv_records: Option<usize>,
+    /// Network settings.
+    #[builder(default)]
+    network: NetworkSetting,
     /// Version that is being run by prover/verifier.
     #[builder(setter(skip), default = "VERSION.clone()")]
     version: Version,
@@ -85,6 +88,11 @@ impl ProtocolConfig {
     pub fn max_recv_records(&self) -> Option<usize> {
         self.max_recv_records
     }
+
+    /// Returns the network settings.
+    pub fn network(&self) -> NetworkSetting {
+        self.network
+    }
 }
 
 /// Protocol configuration validator used by checker (i.e. verifier) to perform
@@ -206,6 +214,24 @@ impl ProtocolConfigValidator {
     }
 }
 
+/// Settings for the network environment.
+///
+/// Provides optimization options to adapt the protocol to different network
+/// situations.
+#[derive(Debug, Clone, Copy, Serialize, Deserialize)]
+pub enum NetworkSetting {
+    /// Prefers a bandwidth-heavy protocol.
+    Bandwidth,
+    /// Prefers a latency-heavy protocol.
+    Latency,
+}
+
+impl Default for NetworkSetting {
+    fn default() -> Self {
+        Self::Bandwidth
+    }
+}
+
 /// A ProtocolConfig error.
 #[derive(thiserror::Error, Debug)]
 pub struct ProtocolConfigError {