feat: DEAP VM (#690)

* feat: DEAP VM

* use rangeset, add desync guard

* move MPC execution up in finalization

Cargo.toml

@@ -6,6 +6,7 @@ members = [
     "crates/benches/browser/wasm",
     "crates/benches/library",
     "crates/common",
+    "crates/components/deap",
     "crates/components/cipher",
     "crates/components/hmac-sha256",
     "crates/components/hmac-sha256-circuits",
@@ -48,6 +49,7 @@ tlsn-benches-library = { path = "crates/benches/library" }
 tlsn-common = { path = "crates/common" }
 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" }
@@ -64,17 +66,17 @@ tlsn-utils = { git = "https://github.com/tlsnotary/tlsn-utils", rev = "0040a00"
 tlsn-utils-aio = { git = "https://github.com/tlsnotary/tlsn-utils", rev = "0040a00" }
 tlsn-verifier = { path = "crates/verifier" }
 
-mpz-circuits = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-memory-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-common = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-vm-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-garble = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-garble-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-ole = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-ot = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-share-conversion = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
-mpz-fields = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "alpha.1" }
+mpz-circuits = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-memory-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-common = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-vm-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-garble = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-garble-core = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-ole = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-ot = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-share-conversion = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
+mpz-fields = { git = "https://github.com/privacy-scaling-explorations/mpz", branch = "refactor/ctx" }
 
 serio = { git = "https://github.com/tlsnotary/tlsn-utils", rev = "43995c5" }
 spansy = { git = "https://github.com/tlsnotary/tlsn-utils", rev = "0040a00" }

crates/components/deap/Cargo.toml

@@ -0,0 +1,25 @@
+[package]
+name = "tlsn-deap"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+mpz-core = { workspace = true }
+mpz-common = { workspace = true }
+mpz-vm-core = { workspace = true }
+tlsn-utils = { workspace = true }
+thiserror = { workspace = true }
+serde = { workspace = true, features = ["derive"] }
+serio = { workspace = true }
+async-trait = { workspace = true }
+futures = { workspace = true }
+tokio = { workspace = true, features = ["sync"] }
+
+[dev-dependencies]
+mpz-circuits = { workspace = true }
+mpz-garble = { workspace = true }
+mpz-ot = { workspace = true }
+mpz-zk = { workspace = true }
+
+tokio = { workspace = true, features = ["macros", "rt", "rt-multi-thread"] }
+rand = { workspace = true }