github/tlsn
1
1
Fork 0
mirror of https://github.com/tlsnotary/tlsn.git synced 2026-01-07 22:03:58 -05:00
Code Issues Packages Projects Releases Wiki Activity

use zk config; bump mpz (#973)

Browse Source
This commit is contained in:
dan
2025-08-26 08:23:24 +00:00
committed by GitHub
parent a1367b5428
commit f059c53c2d
4 changed files with 39 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

43
Cargo.lock generated
View File

@@ -1698,7 +1698,7 @@ checksum = "b94f61472cee1439c0b966b47e3aca9ae07e45d070759512cd390ea2bebc6675"
[[package]]
name = "clmul"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"bytemuck",
"cfg-if",
@@ -3640,7 +3640,7 @@ checksum = "47e1ffaa40ddd1f3ed91f717a33c8c0ee23fff369e3aa8772b9605cc1d22f4c3"
[[package]]
name = "matrix-transpose"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"thiserror 1.0.69",
]
@@ -3696,7 +3696,7 @@ dependencies = [
[[package]]
name = "mpz-circuits"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"bincode",
"itybity 0.3.1",
@@ -3712,7 +3712,7 @@ dependencies = [
[[package]]
name = "mpz-cointoss"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"futures",
"mpz-cointoss-core",
@@ -3725,7 +3725,7 @@ dependencies = [
[[package]]
name = "mpz-cointoss-core"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"mpz-core",
"opaque-debug",
@@ -3736,7 +3736,7 @@ dependencies = [
[[package]]
name = "mpz-common"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"async-trait",
"bytes",
@@ -3756,7 +3756,7 @@ dependencies = [
[[package]]
name = "mpz-core"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"aes 0.9.0-rc.0",
"bcs",
@@ -3782,7 +3782,7 @@ dependencies = [
[[package]]
name = "mpz-fields"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"ark-ff 0.4.2",
"ark-secp256r1",
@@ -3802,7 +3802,7 @@ dependencies = [
[[package]]
name = "mpz-garble"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"async-trait",
"derive_builder 0.11.2",
@@ -3828,7 +3828,7 @@ dependencies = [
[[package]]
name = "mpz-garble-core"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"aes 0.9.0-rc.0",
"bitvec",
@@ -3859,7 +3859,7 @@ dependencies = [
[[package]]
name = "mpz-hash"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"itybity 0.3.1",
"mpz-circuits",
@@ -3871,7 +3871,7 @@ dependencies = [
[[package]]
name = "mpz-memory-core"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"blake3",
"futures",
@@ -3886,7 +3886,7 @@ dependencies = [
[[package]]
name = "mpz-ole"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"async-trait",
"futures",
@@ -3904,7 +3904,7 @@ dependencies = [
[[package]]
name = "mpz-ole-core"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"hybrid-array",
"itybity 0.3.1",
@@ -3920,7 +3920,7 @@ dependencies = [
[[package]]
name = "mpz-ot"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"async-trait",
"cfg-if",
@@ -3943,7 +3943,7 @@ dependencies = [
[[package]]
name = "mpz-ot-core"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"aes 0.9.0-rc.0",
"blake3",
@@ -3974,7 +3974,7 @@ dependencies = [
[[package]]
name = "mpz-share-conversion"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"async-trait",
"mpz-common",
@@ -3990,7 +3990,7 @@ dependencies = [
[[package]]
name = "mpz-share-conversion-core"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"mpz-common",
"mpz-core",
@@ -4004,7 +4004,7 @@ dependencies = [
[[package]]
name = "mpz-vm-core"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"async-trait",
"futures",
@@ -4017,10 +4017,11 @@ dependencies = [
[[package]]
name = "mpz-zk"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"async-trait",
"blake3",
"derive_builder 0.11.2",
"futures",
"mpz-common",
"mpz-core",
@@ -4034,7 +4035,7 @@ dependencies = [
[[package]]
name = "mpz-zk-core"
version = "0.1.0-alpha.3"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=1b00912#1b009126e123128f3e3176b9869e860071fabd1b"
source = "git+https://github.com/privacy-scaling-explorations/mpz?rev=6432a43#6432a4307696fc5ba2ac68fa274fb66f44bc2f33"
dependencies = [
"blake3",
"cfg-if",

26
Cargo.toml
View File

@@ -64,19 +64,19 @@ tlsn-harness-runner = { path = "crates/harness/runner" }
tlsn-wasm = { path = "crates/wasm" }
tlsn = { path = "crates/tlsn" }
mpz-circuits = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-memory-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-common = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-vm-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-garble = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-garble-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-ole = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-ot = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-share-conversion = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-fields = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-zk = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-hash = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "1b00912" }
mpz-circuits = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-memory-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-common = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-vm-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-garble = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-garble-core = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-ole = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-ot = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-share-conversion = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-fields = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-zk = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
mpz-hash = { git = "https://github.com/privacy-scaling-explorations/mpz", rev = "6432a43" }
rangeset = { version = "0.2" }
serio = { version = "0.2" }

3
crates/tlsn/src/prover.rs
View File

@@ -15,6 +15,7 @@ use mpz_common::Context;
use mpz_core::Block;
use mpz_garble_core::Delta;
use mpz_vm_core::prelude::*;
use mpz_zk::ProverConfig as ZkProverConfig;
use webpki::anchor_from_trusted_cert;
use crate::{
@@ -523,7 +524,7 @@ fn build_mpc_tls(config: &ProverConfig, ctx: Context) -> (Arc<Mutex<Deap<Mpc, Zk
delta,
);
let zk = Zk::new(rcot_recv.clone());
let zk = Zk::new(ZkProverConfig::default(), rcot_recv.clone());
let vm = Arc::new(Mutex::new(Deap::new(tlsn_deap::Role::Leader, mpc, zk)));

3
crates/tlsn/src/verifier.rs
View File

@@ -33,6 +33,7 @@ use mpz_common::Context;
use mpz_core::Block;
use mpz_garble_core::Delta;
use mpz_vm_core::prelude::*;
use mpz_zk::VerifierConfig as ZkVerifierConfig;
use serio::stream::IoStreamExt;
use tls_core::msgs::enums::ContentType;
use tlsn_core::{
@@ -474,7 +475,7 @@ fn build_mpc_tls(
let mpc = Mpc::new(mpz_ot::cot::DerandCOTReceiver::new(rcot_recv.clone()));
let zk = Zk::new(delta, rcot_send.clone());
let zk = Zk::new(ZkVerifierConfig::default(), delta, rcot_send.clone());
let vm = Arc::new(Mutex::new(Deap::new(tlsn_deap::Role::Follower, mpc, zk)));