Home Explore Help
Sign In
SigmaProtocol
/
cmz
3
2
Fork 0
Files
Browse Source

Have handle() store the P value of the MAC it's creating in the credentials it returns

It doesn't in general know the Q value, so that's not stored.
Ian Goldberg 2 months ago
parent
32697bba53
commit
99a7ed2239
1 changed files with 2 additions and 0 deletions
Split View Show Diff Stats
  1. 2 0
      cmzcred_derive/src/lib.rs

+ 2 - 0
cmzcred_derive/src/lib.rs
View File 

@@ -1106,6 +1106,7 @@ fn protocol_macro(
 
             handle_code_post_auth = quote! {
 
                 let #b_cred = <Scalar as ff::Field>::random(&mut *rng);
 
                 let #P_cred = bp.mulB(&#b_cred);
 
+                #iss_cred_id.MAC.P = #P_cred;
 
                 let #x0_cred = #iss_cred_id.get_privkey().x0;
 
                 let #xr_cred = #iss_cred_id.get_privkey().xr;
 
                 let #X0_cred = #iss_cred_id.get_pubkey().X0.unwrap();
 
@@ -1209,6 +1210,7 @@ fn protocol_macro(
 
                 #handle_code_post_auth
 
                 let #b_cred = <Scalar as ff::Field>::random(&mut *rng);
 
                 let #P_cred = bp.mulA(&#b_cred);
 
+                #iss_cred_id.MAC.P = #P_cred;
 
                 let #x0_cred = #iss_cred_id.get_privkey().x0;
 
                 let #X0_cred = #iss_cred_id.get_pubkey().X0.unwrap();
 
                 let #R_cred = #b_cred * (bp.mulA(&#x0_cred) + #K_cred);