Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add opcode_assertions #20

Merged
merged 1 commit into from
May 10, 2022
Merged

Add opcode_assertions #20

merged 1 commit into from
May 10, 2022

Conversation

Juan-M-V
Copy link
Contributor

@Juan-M-V Juan-M-V commented May 9, 2022

Add method to check if an opcode has the correct constraints

@unbalancedparentheses unbalancedparentheses merged commit ed62ece into main May 10, 2022
@unbalancedparentheses unbalancedparentheses deleted the opcode-assertions branch May 10, 2022 17:06
azteca1998 pushed a commit that referenced this pull request Feb 10, 2023
* Add macro to insert data in memory

* Fix macro
azteca1998 added a commit that referenced this pull request Feb 10, 2023
* Add SyscallRequest::Deploy(DeployRequestStruct)

* Start BusinessLogicSyscallHandler::_deploy implementation

* Add naive implementation of fn Os::ContractAddress::calculate_contract_address_from_hash

* add starknet-crypto dependecie

* first implementation of fn compute_hash_on_elements + unit tests

* use get_integer_range

* Add bigint! and bigint_str! macros

* Update fns calculate_contract_address_from_hash && compute_hash_on_elements

* add SyscallHandlerError::FailToComputeHash

* Minor midifications

* mv src/core/os/contact_address.rs -> src/hash_utils.rs

* handle Errors && cargo clippy

* delete syscall_handler.rs

* fix merge main conflicts

* add deploy read_syscall_request

* Add PartialEq to SyscallRequest

* Add read_deploy_syscall_request

* Modify BusinessLogicSyscallHandler::new to return self + BusinessLogicSyscallHandler::Default

* Add test_calculate_contract_address_from_hash

* Modify DeployStruct.deploy_from_zero to be a usize + unit test

* Add `rust-toolchain`. (#11)

* Add `rust-toolchain`.

* Update Rust version to `1.62.0`.

* Update makefile and gitignore (#19)

* Update gitignore

* Update Makefile

* add endline

Co-authored-by: Pedro Fontana <pedro.fontana@lamdaclass.com>

* Add macro to insert data in memory (#20)

* Add macro to insert data in memory

* Fix macro

* Add struct SendMessageToL1SysCall

* Add send_message_to_l1 in read_syscall_request

* Create struct OrderedL2ToL1Message

* Implement method BusinessLogicSyscallHandler.send_message_to_l1

* solve merge conflicts

* Add unit tests

Co-authored-by: Pedro Fontana <pedro.fontana@lamdaclass.com>
Co-authored-by: MrAzteca <azteca1998@users.noreply.github.com>
Co-authored-by: mmsc2 <88055861+mmsc2@users.noreply.github.com>
azteca1998 added a commit that referenced this pull request Feb 10, 2023
* Add SyscallRequest::Deploy(DeployRequestStruct)

* Start BusinessLogicSyscallHandler::_deploy implementation

* Add naive implementation of fn Os::ContractAddress::calculate_contract_address_from_hash

* add starknet-crypto dependecie

* first implementation of fn compute_hash_on_elements + unit tests

* use get_integer_range

* Add bigint! and bigint_str! macros

* Update fns calculate_contract_address_from_hash && compute_hash_on_elements

* add SyscallHandlerError::FailToComputeHash

* Minor midifications

* mv src/core/os/contact_address.rs -> src/hash_utils.rs

* handle Errors && cargo clippy

* delete syscall_handler.rs

* fix merge main conflicts

* add deploy read_syscall_request

* Add PartialEq to SyscallRequest

* Add read_deploy_syscall_request

* Modify BusinessLogicSyscallHandler::new to return self + BusinessLogicSyscallHandler::Default

* Add test_calculate_contract_address_from_hash

* Modify DeployStruct.deploy_from_zero to be a usize + unit test

* Add `rust-toolchain`. (#11)

* Add `rust-toolchain`.

* Update Rust version to `1.62.0`.

* Update makefile and gitignore (#19)

* Update gitignore

* Update Makefile

* add endline

Co-authored-by: Pedro Fontana <pedro.fontana@lamdaclass.com>

* Add macro to insert data in memory (#20)

* Add macro to insert data in memory

* Fix macro

* Add struct SendMessageToL1SysCall

* Add send_message_to_l1 in read_syscall_request

* Create struct OrderedL2ToL1Message

* Implement method BusinessLogicSyscallHandler.send_message_to_l1

* solve merge conflicts

* Add unit tests

* Add GetCallerAddressRequest

* Add unit test

Co-authored-by: Pedro Fontana <pedro.fontana@lamdaclass.com>
Co-authored-by: MrAzteca <azteca1998@users.noreply.github.com>
Co-authored-by: mmsc2 <88055861+mmsc2@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants