@@ -15,7 +15,7 @@ mod bn254 {
15
15
arch:: SystemConfig ,
16
16
utils:: { air_test, air_test_impl, air_test_with_min_segments} ,
17
17
} ;
18
- use openvm_ecc_circuit:: { EccExtension , Rv32WeierstrassConfig } ;
18
+ use openvm_ecc_circuit:: { EccExtension , Rv32EccConfig } ;
19
19
use openvm_ecc_guest:: {
20
20
algebra:: { field:: FieldExtension , IntMod } ,
21
21
AffinePoint ,
@@ -54,15 +54,15 @@ mod bn254 {
54
54
io : Default :: default ( ) ,
55
55
modular : ModularExtension :: new ( primes. to_vec ( ) ) ,
56
56
fp2 : Fp2Extension :: new ( primes_with_names) ,
57
- weierstrass : EccExtension :: new ( vec ! [ ] , vec ! [ ] ) ,
57
+ ecc : EccExtension :: new ( vec ! [ ] , vec ! [ ] ) ,
58
58
pairing : PairingExtension :: new ( vec ! [ PairingCurve :: Bn254 ] ) ,
59
59
}
60
60
}
61
61
62
62
#[ test]
63
63
fn test_bn_ec ( ) -> Result < ( ) > {
64
64
let curve = PairingCurve :: Bn254 . curve_config ( ) ;
65
- let config = Rv32WeierstrassConfig :: new ( vec ! [ curve] ) ;
65
+ let config = Rv32EccConfig :: new ( vec ! [ curve] , vec ! [ ] ) ;
66
66
let elf = build_example_program_at_path_with_features (
67
67
get_programs_dir ! ( "tests/programs" ) ,
68
68
"bn_ec" ,
@@ -503,7 +503,7 @@ mod bls12_381 {
503
503
io : Default :: default ( ) ,
504
504
modular : ModularExtension :: new ( primes. to_vec ( ) ) ,
505
505
fp2 : Fp2Extension :: new ( primes_with_names) ,
506
- weierstrass : EccExtension :: new ( vec ! [ ] , vec ! [ ] ) ,
506
+ ecc : EccExtension :: new ( vec ! [ ] , vec ! [ ] ) ,
507
507
pairing : PairingExtension :: new ( vec ! [ PairingCurve :: Bls12_381 ] ) ,
508
508
}
509
509
}
0 commit comments