Git-Mirrors/xmr-btc-swap
1
0
Fork 0
mirror of https://github.com/comit-network/xmr-btc-swap.git synced 2025-01-10 15:09:44 -05:00
Code Issues Packages Projects Releases Wiki Activity

Add missing arguments to verify fn

Browse Source
This commit is contained in:
Thomas Eizinger 2021-05-11 12:39:31 +10:00
parent 9255cc8f68
commit 6a4961a472
No known key found for this signature in database
GPG Key ID: 651AC83A6C6C8B96
2 changed files with 21 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
monero-adaptor/src/clsag.rs
View File

@ -89,22 +89,25 @@ pub fn sign(
} }
#[must_use] #[must_use]
pub fn verify(sig: &Signature, ring: [EdwardsPoint; RING_SIZE], msg: &[u8]) -> bool { pub fn verify(sig: &Signature, msg: &[u8], ring: Ring, commitment_ring: Ring, pseudo_output_commitment: EdwardsPoint, H_p_pk: EdwardsPoint) -> bool {
let ring_concat = ring
.iter() let mus = AggregationHashes::new(
.flat_map(|pk| pk.compress().as_bytes().to_vec()) &ring,
.collect::<Vec<u8>>(); &commitment_ring,
sig.I.compress(),
pseudo_output_commitment.compress(),
H_p_pk.compress(),
);
let mut h = sig.h_0; let mut h = sig.h_0;
let mus = todo!();
let adjusted_commitment_i = todo!();
for (i, s_i) in sig.responses.iter().enumerate() { for (i, s_i) in sig.responses.iter().enumerate() {
let pk_i = ring[(i + 1) % RING_SIZE]; let pk_i = ring[(i + 1) % RING_SIZE];
let prefix = clsag_round_hash_prefix(&ring_concat, todo!(), todo!(), msg); let prefix = clsag_round_hash_prefix(ring.as_ref(), commitment_ring.as_ref(), pseudo_output_commitment, msg);
let L_i = compute_L(h, mus, *s_i, pk_i, adjusted_commitment_i); let adjusted_commitment_i = commitment_ring[i] - pseudo_output_commitment;
let R_i = compute_R(h, mus, pk_i, *s_i, sig.I, sig.D);
let L_i = compute_L(h, &mus, *s_i, pk_i, adjusted_commitment_i);
let R_i = compute_R(h, &mus, pk_i, *s_i, sig.I, sig.D);
h = hash_to_scalar(&[ h = hash_to_scalar(&[
&prefix, &prefix,
@ -298,6 +301,8 @@ mod tests {
x * ED25519_BASEPOINT_POINT x * ED25519_BASEPOINT_POINT
}); });
let ring = Ring::new(ring);
let mut commitment_ring = [EdwardsPoint::default(); RING_SIZE]; let mut commitment_ring = [EdwardsPoint::default(); RING_SIZE];
let real_commitment_blinding = Scalar::random(&mut OsRng); let real_commitment_blinding = Scalar::random(&mut OsRng);
@ -307,11 +312,13 @@ mod tests {
x * ED25519_BASEPOINT_POINT x * ED25519_BASEPOINT_POINT
}); });
let commitment_ring = Ring::new(commitment_ring);
// TODO: document // TODO: document
let pseudo_output_commitment = commitment_ring[0]; let pseudo_output_commitment = commitment_ring[0];
let signature = sign(msg_to_sign, todo!(), todo!(), todo!(), todo!(), todo!(), todo!(), todo!(), todo!(), todo!(), todo!(), todo!()); let signature = sign(msg_to_sign, s_prime_a, todo!(), todo!(), ring.clone(), commitment_ring.clone(), todo!(), todo!(), pseudo_output_commitment, todo!(), todo!(), todo!());
assert!(verify(&signature, todo!(), todo!())) assert!(verify(&signature, msg_to_sign, ring, commitment_ring, pseudo_output_commitment, todo!()))
} }
} }

2
monero-adaptor/src/lib.rs
View File

@ -631,6 +631,6 @@ mod tests {
let sig = alice.adaptor_sig.adapt(r_a); let sig = alice.adaptor_sig.adapt(r_a);
assert!(clsag::verify(&sig, ring, msg_to_sign)); assert!(clsag::verify(&sig, msg_to_sign, todo!(), todo!(), todo!(), todo!()));
} }
} }