Skip to content

Commit c6b15a1

Browse files
loveshlovesh
committed
Mediator proof without revealing enc key index and change in leg and asset leaf design
1 parent 4f355b1 commit c6b15a1

38 files changed

Lines changed: 1464 additions & 1313 deletions

‎Cargo.lock‎

Lines changed: 25 additions & 20 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎Cargo.toml‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -42,18 +42,18 @@ schnorr_pok = { git = "https://github.com/PolymeshAssociation/crypto", branch =
4242
#ark-curve25519 = { path = "../arkworks-algebra/curves/curve25519" }
4343
#ark-ed25519 = { path = "../arkworks-algebra/curves/ed25519" }
4444

45-
ark-serialize = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
46-
ark-ec = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
47-
ark-host-msm = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
48-
#ark-host-msm-impl = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
49-
ark-ff = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
50-
ark-pallas = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
51-
ark-vesta = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
52-
ark-helios = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
53-
ark-selene = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
54-
ark-wei25519 = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
55-
ark-curve25519 = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
56-
ark-ed25519 = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "pasta-opts" }
45+
ark-serialize = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
46+
ark-ec = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
47+
ark-host-msm = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
48+
ark-host-msm-impl = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
49+
ark-ff = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
50+
ark-pallas = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
51+
ark-vesta = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
52+
ark-helios = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
53+
ark-selene = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
54+
ark-wei25519 = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
55+
ark-curve25519 = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
56+
ark-ed25519 = { git = "https://github.com/PolymeshAssociation/arkworks-algebra.git", branch = "patch3" }
5757

5858
[workspace.dependencies]
5959
polymesh-dart = { path = "./", version = "0.1.0", default-features = false }

‎dart-bp/benches/settlement_proofs.rs‎

Lines changed: 4 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -163,14 +163,7 @@ fn bench_settlement_multi_asset(c: &mut Criterion) {
163163
// Auditor key
164164
let (_, pk_a_e) = keygen_enc(&mut rng, enc_key_gen);
165165

166-
let asset_data = AssetData::new(
167-
asset_id,
168-
vec![pk_a_e.0],
169-
vec![],
170-
&asset_comm_params,
171-
asset_tree_params.odd_parameters.sl_params.delta,
172-
)
173-
.unwrap();
166+
let asset_data = AssetData::new(asset_id, vec![pk_a_e.0], vec![], &asset_comm_params).unwrap();
174167

175168
let commitments = vec![asset_data.commitment];
176169

@@ -275,7 +268,6 @@ fn bench_settlement_multi_asset(c: &mut Criterion) {
275268
&root,
276269
vec![],
277270
vec![],
278-
vec![],
279271
nonce,
280272
&asset_tree_params,
281273
&asset_comm_params,
@@ -304,7 +296,6 @@ fn bench_settlement_multi_asset(c: &mut Criterion) {
304296
&root,
305297
vec![],
306298
vec![],
307-
vec![],
308299
nonce,
309300
&asset_tree_params,
310301
&asset_comm_params,
@@ -360,14 +351,7 @@ fn bench_batch_settlement_verification(c: &mut Criterion) {
360351

361352
for i in 0..(M + 1) {
362353
let asset_id = (i + 1) as u32;
363-
let ad = AssetData::new(
364-
asset_id,
365-
vec![pk_a_e.0],
366-
vec![],
367-
&asset_comm_params,
368-
asset_tree_params.odd_parameters.sl_params.delta,
369-
)
370-
.unwrap();
354+
let ad = AssetData::new(asset_id, vec![pk_a_e.0], vec![], &asset_comm_params).unwrap();
371355
commitments.push(ad.commitment);
372356
all_asset_data.push(ad);
373357
}
@@ -481,7 +465,6 @@ fn bench_batch_settlement_verification(c: &mut Criterion) {
481465
&root,
482466
vec![],
483467
vec![],
484-
vec![],
485468
&nonces[i],
486469
&asset_tree_params,
487470
&asset_comm_params,
@@ -546,14 +529,8 @@ fn bench_single_shot_settlement_multi_asset(c: &mut Criterion) {
546529
let mut asset_commitments = Vec::with_capacity(num_legs);
547530

548531
for asset_id in 1..=num_legs as u32 {
549-
let asset_data = AssetData::new(
550-
asset_id,
551-
vec![pk_auditor_e.0],
552-
vec![],
553-
&asset_comm_params,
554-
asset_tree_params.odd_parameters.sl_params.delta,
555-
)
556-
.unwrap();
532+
let asset_data =
533+
AssetData::new(asset_id, vec![pk_auditor_e.0], vec![], &asset_comm_params).unwrap();
557534
asset_commitments.push(asset_data.commitment);
558535
asset_data_vec.push(asset_data);
559536
}
@@ -699,7 +676,6 @@ fn bench_single_shot_settlement_multi_asset(c: &mut Criterion) {
699676
&asset_tree_root,
700677
vec![],
701678
vec![],
702-
vec![],
703679
nonce,
704680
&asset_tree_params,
705681
&asset_comm_params,
@@ -728,7 +704,6 @@ fn bench_single_shot_settlement_multi_asset(c: &mut Criterion) {
728704
&asset_tree_root,
729705
vec![],
730706
vec![],
731-
vec![],
732707
nonce,
733708
&asset_tree_params,
734709
&asset_comm_params,
@@ -910,7 +885,6 @@ fn bench_single_shot_settlement_multi_asset(c: &mut Criterion) {
910885
&asset_tree_root,
911886
vec![],
912887
vec![],
913-
vec![],
914888
nonce,
915889
&asset_tree_params,
916890
&asset_comm_params,
@@ -1005,7 +979,6 @@ fn bench_single_shot_settlement_multi_asset(c: &mut Criterion) {
1005979
&asset_tree_root,
1006980
vec![],
1007981
vec![],
1008-
vec![],
1009982
nonce,
1010983
&asset_tree_params,
1011984
&asset_comm_params,

0 commit comments

Comments
 (0)