feat(prf): reduced MPC variant

Author: th4s

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",
@@ -51,8 +50,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" }

crates/benches/binary/Cargo.toml

@@ -13,12 +13,13 @@ browser-bench = ["tlsn-benches-browser-native"]
 mpz-common = { workspace = true }
 mpz-core = { workspace = true }
 mpz-garble = { workspace = true }
+mpz-vm-core = { 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 }
@@ -27,7 +28,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 }
@@ -43,7 +44,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/preprocess.rs

@@ -1,5 +1,25 @@
-use hmac_sha256::build_circuits;
+use hmac_sha256::{Config, MpcPrf};
+use mpz_garble::protocol::semihonest::{Evaluator, Garbler};
+use mpz_ot::ideal::cot::{ideal_cot, IdealCOTReceiver, IdealCOTSender};
+use mpz_vm_core::memory::{binary::U8, correlated::Delta, Array, MemoryExt};
+use rand::{rngs::StdRng, SeedableRng};
 
 pub async fn preprocess_prf_circuits() {
-    build_circuits().await;
+    let (mut garbler, _) = mock_vm();
+    let pms: Array<U8, 32> = garbler.alloc().unwrap();
+
+    let mut prf = MpcPrf::new(Config::default());
+    prf.alloc(&mut garbler, pms).unwrap();
+}
+
+fn mock_vm() -> (Garbler<IdealCOTSender>, Evaluator<IdealCOTReceiver>) {
+    let mut rng = StdRng::seed_from_u64(0);
+    let delta = Delta::random(&mut rng);
+
+    let (cot_send, cot_recv) = ideal_cot(delta.into_inner());
+
+    let gen = Garbler::new(cot_send, [0u8; 16], delta);
+    let ev = Evaluator::new(cot_recv);
+
+    (gen, ev)
 }