3
3
4
4
extern crate alloc;
5
5
6
- use alloy_primitives:: { B256 , B512 , Bytes , keccak256 } ;
6
+ use alloy_primitives:: { keccak256 , Bytes , B256 , B512 } ;
7
7
use k256:: {
8
8
ecdsa:: { Error , RecoveryId , Signature } ,
9
9
Secp256k1 ,
10
10
} ;
11
11
use openvm:: io:: read_vec;
12
12
use openvm_algebra_guest:: field:: FieldExtension ;
13
+ use openvm_ecc_guest:: AffinePoint ;
13
14
#[ allow( unused_imports) ]
14
15
use openvm_ecc_guest:: {
15
16
algebra:: IntMod , ecdsa:: VerifyingKey , k256:: Secp256k1Point , weierstrass:: WeierstrassPoint ,
16
17
} ;
17
- use openvm_ecc_guest:: AffinePoint ;
18
18
#[ allow( unused_imports, clippy:: single_component_path_imports) ]
19
19
use openvm_keccak256_guest;
20
20
// export native keccak
21
21
use revm_precompile:: {
22
- Error as PrecompileError , PrecompileOutput , PrecompileResult , utilities :: right_pad ,
22
+ utilities :: right_pad , Error as PrecompileError , PrecompileOutput , PrecompileResult ,
23
23
} ;
24
24
25
- openvm:: entry!( main) ;
26
-
27
25
openvm_algebra_guest:: moduli_macros:: moduli_init! {
28
26
"0xFFFFFFFF FFFFFFFF FFFFFFFF FFFFFFFF FFFFFFFF FFFFFFFF FFFFFFFE FFFFFC2F" ,
29
27
"0xFFFFFFFF FFFFFFFF FFFFFFFF FFFFFFFE BAAEDCE6 AF48A03B BFD25E8C D0364141"
@@ -32,6 +30,7 @@ openvm_ecc_guest::sw_macros::sw_init! {
32
30
Secp256k1Point ,
33
31
}
34
32
33
+ #[ openvm:: main]
35
34
pub fn main ( ) {
36
35
setup_all_moduli ( ) ;
37
36
setup_all_curves ( ) ;
@@ -42,7 +41,6 @@ pub fn main() {
42
41
let recovered = ec_recover_run ( & Bytes :: from ( input) , 3000 ) . unwrap ( ) ;
43
42
assert_eq ! ( recovered. bytes. as_ref( ) , expected_address) ;
44
43
}
45
-
46
44
}
47
45
48
46
// OpenVM version of ecrecover precompile.
0 commit comments