@@ -481,7 +481,7 @@ impl<G: Group, H: BlockSizeUser + Digest + FixedOutputReset> VerifiableServer<G,
481
481
/// bytes to represent the server's private key
482
482
pub fn new_with_key ( key : & [ u8 ] ) -> Result < Self > {
483
483
let sk = G :: deserialize_scalar ( key. into ( ) ) ?;
484
- let pk = G :: base_point ( ) * & sk;
484
+ let pk = G :: base_elem ( ) * & sk;
485
485
Ok ( Self {
486
486
sk,
487
487
pk,
@@ -497,7 +497,7 @@ impl<G: Group, H: BlockSizeUser + Digest + FixedOutputReset> VerifiableServer<G,
497
497
let dst = GenericArray :: from ( STR_HASH_TO_SCALAR )
498
498
. concat ( get_context_string :: < G > ( Mode :: Verifiable ) ) ;
499
499
let sk = G :: hash_to_scalar :: < H , _ , _ > ( Some ( seed) , dst) ?;
500
- let pk = G :: base_point ( ) * & sk;
500
+ let pk = G :: base_elem ( ) * & sk;
501
501
Ok ( Self {
502
502
sk,
503
503
pk,
@@ -632,7 +632,7 @@ impl<G: Group, H: BlockSizeUser + Digest + FixedOutputReset> VerifiableServer<G,
632
632
& ' b IE : IntoIterator < Item = & ' b PreparedEvaluationElement < G , H > > ,
633
633
<& ' b IE as IntoIterator >:: IntoIter : ExactSizeIterator ,
634
634
{
635
- let g = G :: base_point ( ) ;
635
+ let g = G :: base_elem ( ) ;
636
636
let u = g * t;
637
637
638
638
let proof = generate_proof (
@@ -901,7 +901,7 @@ where
901
901
GenericArray :: from ( STR_HASH_TO_SCALAR ) . concat ( get_context_string :: < G > ( Mode :: Verifiable ) ) ;
902
902
let m = G :: hash_to_scalar :: < H , _ , _ > ( context, dst) ?;
903
903
904
- let g = G :: base_point ( ) ;
904
+ let g = G :: base_elem ( ) ;
905
905
let t = g * & m;
906
906
let u = t + & pk;
907
907
@@ -945,11 +945,11 @@ fn generate_proof<
945
945
GenericArray :: from ( STR_CHALLENGE ) . concat ( get_context_string :: < G > ( Mode :: Verifiable ) ) ;
946
946
chain ! (
947
947
h2_input,
948
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( b) ) ?,
949
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( m) ) ?,
950
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( z) ) ?,
951
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( t2) ) ?,
952
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( t3) ) ?,
948
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( b) ) ?,
949
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( m) ) ?,
950
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( z) ) ?,
951
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( t2) ) ?,
952
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( t3) ) ?,
953
953
Serialize :: <U2 , _>:: from_owned( challenge_dst) ?,
954
954
) ;
955
955
@@ -982,11 +982,11 @@ fn verify_proof<G: Group, H: BlockSizeUser + Digest + FixedOutputReset>(
982
982
GenericArray :: from ( STR_CHALLENGE ) . concat ( get_context_string :: < G > ( Mode :: Verifiable ) ) ;
983
983
chain ! (
984
984
h2_input,
985
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( b) ) ?,
986
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( m) ) ?,
987
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( z) ) ?,
988
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( t2) ) ?,
989
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( t3) ) ?,
985
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( b) ) ?,
986
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( m) ) ?,
987
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( z) ) ?,
988
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( t2) ) ?,
989
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( t3) ) ?,
990
990
Serialize :: <U2 , _>:: from_owned( challenge_dst) ?,
991
991
) ;
992
992
@@ -1027,7 +1027,7 @@ fn finalize_after_unblind<
1027
1027
hash_input,
1028
1028
Serialize :: <U2 >:: from( input. as_ref( ) ) ?,
1029
1029
Serialize :: <U2 >:: from( info) ?,
1030
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( unblinded_element) ) ?,
1030
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( unblinded_element) ) ?,
1031
1031
Serialize :: <U2 , _>:: from_owned( finalize_dst) ?,
1032
1032
) ;
1033
1033
@@ -1053,22 +1053,22 @@ fn compute_composites<G: Group, H: BlockSizeUser + Digest + FixedOutputReset>(
1053
1053
1054
1054
chain ! (
1055
1055
h1_input,
1056
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( b) ) ?,
1056
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( b) ) ?,
1057
1057
Serialize :: <U2 , _>:: from_owned( seed_dst) ?,
1058
1058
) ;
1059
1059
let seed = h1_input
1060
1060
. fold ( H :: new ( ) , |h, bytes| h. chain_update ( bytes) )
1061
1061
. finalize ( ) ;
1062
1062
1063
- let mut m = G :: identity ( ) ;
1064
- let mut z = G :: identity ( ) ;
1063
+ let mut m = G :: identity_elem ( ) ;
1064
+ let mut z = G :: identity_elem ( ) ;
1065
1065
1066
1066
for ( i, ( c, d) ) in c_slice. zip ( d_slice) . enumerate ( ) {
1067
1067
chain ! ( h2_input,
1068
1068
Serialize :: <U2 , _>:: from_owned( seed. clone( ) ) ?,
1069
1069
i2osp:: <U2 >( i) ? => |x| Some ( x. as_slice( ) ) ,
1070
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( c. value) ) ?,
1071
- Serialize :: <U2 , _>:: from_owned( G :: to_arr ( d. value) ) ?,
1070
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( c. value) ) ?,
1071
+ Serialize :: <U2 , _>:: from_owned( G :: serialize_elem ( d. value) ) ?,
1072
1072
Serialize :: <U2 , _>:: from_owned( composite_dst) ?,
1073
1073
) ;
1074
1074
let dst = GenericArray :: from ( STR_HASH_TO_SCALAR )
0 commit comments