generated from keep-starknet-strange/alexandria
-
Notifications
You must be signed in to change notification settings - Fork 82
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Feat: add RIP-7212 to the list of precompiles Cairo1Helpers module (#779
) * first commit * scarb fmt + corrected tests source * removed unnecessary imports * review corrections * corrected address range * modified tests deploy address * changed contract address to random one
- Loading branch information
Showing
6 changed files
with
273 additions
and
62 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,67 @@ | ||
| use core::starknet::SyscallResultTrait; | ||
| use evm::errors::{EVMError}; | ||
| use evm::precompiles::Precompile; | ||
| use starknet::{ | ||
| EthAddress, eth_signature::{recover_public_key, public_key_point_to_eth_address, Signature}, | ||
| secp256r1::{Secp256r1Point, secp256r1_new_syscall}, secp256_trait::is_valid_signature | ||
| }; | ||
| use utils::helpers::{U256Trait, ToBytes, FromBytes}; | ||
|
|
||
| const P256VERIFY_PRECOMPILE_GAS_COST: u128 = 3450; | ||
|
|
||
| impl P256Verify of Precompile { | ||
| #[inline(always)] | ||
| fn address() -> EthAddress { | ||
| EthAddress { address: 0x100 } | ||
| } | ||
|
|
||
| fn exec(input: Span<u8>) -> Result<(u128, Span<u8>), EVMError> { | ||
| let gas: u128 = P256VERIFY_PRECOMPILE_GAS_COST; | ||
|
|
||
| if input.len() != 160 { | ||
| return Result::Ok((gas, array![0].span())); | ||
| } | ||
|
|
||
| let message_hash = input.slice(0, 32); | ||
| let message_hash = match message_hash.from_be_bytes() { | ||
| Option::Some(message_hash) => message_hash, | ||
| Option::None => { return Result::Ok((gas, array![].span())); } | ||
| }; | ||
|
|
||
| let r: Option<u256> = input.slice(32, 32).from_be_bytes(); | ||
| let r = match r { | ||
| Option::Some(r) => r, | ||
| Option::None => { return Result::Ok((gas, array![].span())); } | ||
| }; | ||
|
|
||
| let s: Option<u256> = input.slice(64, 32).from_be_bytes(); | ||
| let s = match s { | ||
| Option::Some(s) => s, | ||
| Option::None => { return Result::Ok((gas, array![].span())); } | ||
| }; | ||
|
|
||
| let x: Option<u256> = input.slice(96, 32).from_be_bytes(); | ||
| let x = match x { | ||
| Option::Some(x) => x, | ||
| Option::None => { return Result::Ok((gas, array![].span())); } | ||
| }; | ||
|
|
||
| let y: Option<u256> = input.slice(128, 32).from_be_bytes(); | ||
| let y = match y { | ||
| Option::Some(y) => y, | ||
| Option::None => { return Result::Ok((gas, array![].span())); } | ||
| }; | ||
|
|
||
| let public_key: Option<Secp256r1Point> = secp256r1_new_syscall(x, y).unwrap_syscall(); | ||
| let public_key = match public_key { | ||
| Option::Some(public_key) => public_key, | ||
| Option::None => { return Result::Ok((gas, array![].span())); } | ||
| }; | ||
|
|
||
| if !is_valid_signature(message_hash, r, s, public_key) { | ||
| return Result::Ok((gas, array![0].span())); | ||
| } | ||
|
|
||
| return Result::Ok((gas, array![1].span())); | ||
| } | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -3,4 +3,5 @@ mod test_data; | |
| mod test_ec_recover; | ||
| mod test_identity; | ||
| mod test_modexp; | ||
| mod test_p256verify; | ||
| mod test_sha256; | ||
Oops, something went wrong.