-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #3 from ermvrs/main
Signing impl change and utils
- Loading branch information
Showing
19 changed files
with
7,094 additions
and
42 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -2,4 +2,5 @@ target | |
| dev_signer | ||
| dev_account | ||
| sepolia | ||
| sepolia_account | ||
| sepolia_account | ||
| deployment | ||
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,182 @@ | ||
| use core::fmt::{Debug, Formatter, Error, Display}; | ||
| use crate::utils::bytes::ToBytes; | ||
|
|
||
| // STACK | ||
|
|
||
| // INSTRUCTIONS | ||
| pub const PC_OUT_OF_BOUNDS: felt252 = 'KKT: pc >= bytecode length'; | ||
|
|
||
| // TYPE CONVERSION | ||
| pub const TYPE_CONVERSION_ERROR: felt252 = 'KKT: type conversion error'; | ||
|
|
||
| // NUMERIC OPERATIONS | ||
| pub const BALANCE_OVERFLOW: felt252 = 'KKT: balance overflow'; | ||
|
|
||
| // JUMP | ||
| pub const INVALID_DESTINATION: felt252 = 'KKT: invalid JUMP destination'; | ||
|
|
||
| // CALL | ||
| pub const VALUE_TRANSFER_IN_STATIC_CALL: felt252 = 'KKT: transfer value in static'; | ||
| pub const ACTIVE_MACHINE_STATE_IN_CALL_FINALIZATION: felt252 = 'KKT: active state in end call'; | ||
| pub const MISSING_PARENT_CONTEXT: felt252 = 'KKT: missing parent context'; | ||
| pub const CALL_GAS_GT_GAS_LIMIT: felt252 = 'KKT: call gas gt gas limit'; | ||
|
|
||
| // EVM STATE | ||
|
|
||
| // STARKNET_SYSCALLS | ||
| pub const READ_SYSCALL_FAILED: felt252 = 'KKT: read syscall failed'; | ||
| pub const BLOCK_HASH_SYSCALL_FAILED: felt252 = 'KKT: block_hash syscall failed'; | ||
| pub const WRITE_SYSCALL_FAILED: felt252 = 'KKT: write syscall failed'; | ||
| pub const CONTRACT_SYSCALL_FAILED: felt252 = 'KKT: contract syscall failed'; | ||
| pub const EXECUTION_INFO_SYSCALL_FAILED: felt252 = 'KKT: exec info syscall failed'; | ||
|
|
||
| // CREATE | ||
| pub const CONTRACT_ACCOUNT_EXISTS: felt252 = 'KKT: Contract Account exists'; | ||
| pub const EOA_EXISTS: felt252 = 'KKT: EOA already exists'; | ||
| pub const ACCOUNT_EXISTS: felt252 = 'KKT: Account already exists'; | ||
| pub const DEPLOYMENT_FAILED: felt252 = 'KKT: deployment failed'; | ||
|
|
||
| // TRANSACTION ORIGIN | ||
| pub const CALLING_FROM_UNDEPLOYED_ACCOUNT: felt252 = 'EOA: from is undeployed EOA'; | ||
| pub const CALLING_FROM_CA: felt252 = 'EOA: from is a contract account'; | ||
|
|
||
| #[derive(Drop, Copy, PartialEq)] | ||
| pub enum EVMError { | ||
| StackOverflow, | ||
| StackUnderflow, | ||
| TypeConversionError: felt252, | ||
| NumericOperations: felt252, | ||
| InsufficientBalance, | ||
| ReturnDataOutOfBounds, | ||
| InvalidJump, | ||
| InvalidCode, | ||
| NotImplemented, | ||
| InvalidParameter: felt252, | ||
| InvalidOpcode: u8, | ||
| WriteInStaticContext, | ||
| Collision, | ||
| OutOfGas, | ||
| Assertion, | ||
| DepthLimit, | ||
| MemoryLimitOOG, | ||
| NonceOverflow | ||
| } | ||
|
|
||
| #[generate_trait] | ||
| pub impl EVMErrorImpl of EVMErrorTrait { | ||
| fn to_string(self: EVMError) -> felt252 { | ||
| match self { | ||
| EVMError::StackOverflow => 'stack overflow', | ||
| EVMError::StackUnderflow => 'stack underflow', | ||
| EVMError::TypeConversionError(error_message) => error_message, | ||
| EVMError::NumericOperations(error_message) => error_message, | ||
| EVMError::InsufficientBalance => 'insufficient balance', | ||
| EVMError::ReturnDataOutOfBounds => 'return data out of bounds', | ||
| EVMError::InvalidJump => 'invalid jump destination', | ||
| EVMError::InvalidCode => 'invalid code', | ||
| EVMError::NotImplemented => 'not implemented', | ||
| EVMError::InvalidParameter(error_message) => error_message, | ||
| // TODO: refactor with dynamic strings once supported | ||
| EVMError::InvalidOpcode => 'invalid opcode'.into(), | ||
| EVMError::WriteInStaticContext => 'write protection', | ||
| EVMError::Collision => 'create collision'.into(), | ||
| EVMError::OutOfGas => 'out of gas'.into(), | ||
| EVMError::Assertion => 'assertion failed'.into(), | ||
| EVMError::DepthLimit => 'max call depth exceeded'.into(), | ||
| EVMError::MemoryLimitOOG => 'memory limit out of gas'.into(), | ||
| EVMError::NonceOverflow => 'nonce overflow'.into(), | ||
| } | ||
| } | ||
|
|
||
| fn to_bytes(self: EVMError) -> Span<u8> { | ||
| let error_message: felt252 = self.to_string(); | ||
| let error_message: u256 = error_message.into(); | ||
| error_message.to_be_bytes() | ||
| } | ||
| } | ||
|
|
||
| pub impl DebugEVMError of Debug<EVMError> { | ||
| fn fmt(self: @EVMError, ref f: Formatter) -> Result<(), Error> { | ||
| let error_message = (*self).to_string(); | ||
| Display::fmt(@error_message, ref f) | ||
| } | ||
| } | ||
|
|
||
| #[inline(always)] | ||
| pub fn ensure(cond: bool, err: EVMError) -> Result<(), EVMError> { | ||
| if cond { | ||
| Result::Ok(()) | ||
| } else { | ||
| Result::Err(err) | ||
| } | ||
| } | ||
|
|
||
| // LENGTH | ||
| pub const RLP_EMPTY_INPUT: felt252 = 'KKT: EmptyInput'; | ||
| pub const RLP_INPUT_TOO_SHORT: felt252 = 'KKT: InputTooShort'; | ||
|
|
||
| #[derive(Drop, Copy, PartialEq, Debug)] | ||
| pub enum RLPError { | ||
| EmptyInput, | ||
| InputTooShort, | ||
| InvalidInput, | ||
| Custom: felt252, | ||
| NotAString, | ||
| FailedParsingU128, | ||
| FailedParsingU256, | ||
| FailedParsingAddress, | ||
| FailedParsingAccessList, | ||
| NotAList | ||
| } | ||
|
|
||
|
|
||
| pub impl RLPErrorIntoU256 of Into<RLPError, u256> { | ||
| fn into(self: RLPError) -> u256 { | ||
| match self { | ||
| RLPError::EmptyInput => 'input is null'.into(), | ||
| RLPError::InputTooShort => 'input too short'.into(), | ||
| RLPError::InvalidInput => 'rlp input not conform'.into(), | ||
| RLPError::Custom(msg) => msg.into(), | ||
| RLPError::NotAString => 'rlp input is not a string'.into(), | ||
| RLPError::FailedParsingU128 => 'rlp failed parsing u128'.into(), | ||
| RLPError::FailedParsingU256 => 'rlp failed parsing u256'.into(), | ||
| RLPError::FailedParsingAddress => 'rlp failed parsing address'.into(), | ||
| RLPError::FailedParsingAccessList => 'rlp failed parsing access_list'.into(), | ||
| RLPError::NotAList => 'rlp input is not a list'.into() | ||
| } | ||
| } | ||
| } | ||
|
|
||
| #[generate_trait] | ||
| pub impl RLPErrorImpl<T> of RLPErrorTrait<T> { | ||
| fn map_err(self: Result<T, RLPError>) -> Result<T, EthTransactionError> { | ||
| match self { | ||
| Result::Ok(val) => Result::Ok(val), | ||
| Result::Err(error) => { Result::Err(EthTransactionError::RLPError(error)) } | ||
| } | ||
| } | ||
| } | ||
|
|
||
| #[derive(Drop, Copy, PartialEq, Debug)] | ||
| pub enum EthTransactionError { | ||
| RLPError: RLPError, | ||
| ExpectedRLPItemToBeList, | ||
| ExpectedRLPItemToBeString, | ||
| TransactionTypeError, | ||
| // the usize represents the encountered length of payload | ||
| TopLevelRlpListWrongLength: usize, | ||
| // the usize represents the encountered length of payload | ||
| LegacyTxWrongPayloadLength: usize, | ||
| // the usize represents the encountered length of payload | ||
| TypedTxWrongPayloadLength: usize, | ||
| IncorrectChainId, | ||
| IncorrectAccountNonce, | ||
| /// If the transaction's fee is less than the base fee of the block | ||
| FeeCapTooLow, | ||
| /// Thrown to ensure no one is able to specify a transaction with a tip higher than the total | ||
| /// fee cap. | ||
| TipAboveFeeCap, | ||
| /// Thrown to ensure no one is able to specify a transaction with a tip that is too high. | ||
| TipVeryHigh, | ||
| Other: felt252 | ||
| } |
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 |
|---|---|---|
|
|
@@ -5,3 +5,6 @@ pub mod accounts { | |
| pub mod base; | ||
| pub mod utils; | ||
| } | ||
|
|
||
| pub mod utils; | ||
| pub mod errors; | ||
Oops, something went wrong.