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

feat(blockifier): add deploy syscall implementation #1554

Merged
merged 1 commit into from
Nov 14, 2024

Conversation

varex83
Copy link
Contributor

@varex83 varex83 commented Oct 24, 2024

No description provided.

@reviewable-StarkWare
Copy link

This change is Reviewable

Copy link

Artifacts upload triggered. View details here

@rodrigo-pino rodrigo-pino force-pushed the rdr/native-storage-read branch from ceff54f to f9d4b21 Compare October 25, 2024 11:55
@rodrigo-pino rodrigo-pino added the native integration Related with the integration of Cairo Native into the Blockifier label Oct 26, 2024
@rodrigo-pino rodrigo-pino force-pushed the bohdan/deploy-syscall-impl branch from 73bf8f3 to b38c400 Compare October 26, 2024 13:00
Copy link

Artifacts upload triggered. View details here

Copy link

codecov bot commented Oct 26, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 69.07%. Comparing base (e3165c4) to head (9de0e66).
Report is 402 commits behind head on main.

Additional details and impacted files
@@             Coverage Diff             @@
##             main    #1554       +/-   ##
===========================================
+ Coverage   40.10%   69.07%   +28.96%     
===========================================
  Files          26      105       +79     
  Lines        1895    13658    +11763     
  Branches     1895    13658    +11763     
===========================================
+ Hits          760     9434     +8674     
- Misses       1100     3821     +2721     
- Partials       35      403      +368     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@varex83 varex83 changed the title feat: add deploy syscall implementation feat(blockifier): add deploy syscall implementation Oct 28, 2024
Copy link

Artifacts upload triggered. View details here

@varex83 varex83 changed the base branch from rdr/native-storage-read to rdr/add-syscall-counting October 29, 2024 14:19
@rodrigo-pino rodrigo-pino force-pushed the rdr/add-syscall-counting branch from 147c1d3 to ded98cf Compare October 29, 2024 14:23
@varex83 varex83 force-pushed the bohdan/deploy-syscall-impl branch 2 times, most recently from 9447432 to 55e0f85 Compare October 29, 2024 15:46
@varex83 varex83 changed the base branch from rdr/add-syscall-counting to rdr/native-storage-read October 29, 2024 15:47
Copy link

Artifacts upload triggered. View details here

Copy link

Artifacts upload triggered. View details here

Copy link

Artifacts upload triggered. View details here

Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 2 files at r2, 1 of 1 files at r3, 3 of 8 files at r6, 1 of 3 files at r7, 2 of 4 files at r8, all commit messages.
Reviewable status: 8 of 11 files reviewed, 1 unresolved discussion (waiting on @noaov1 and @varex83)


crates/blockifier/feature_contracts/cairo_native/test_contract.cairo line 79 at r8 (raw file):

        contract_address_0: ContractAddress,
        entry_point_selector_0: felt252,
        calldata_0: Array::<felt252>,

This shouldn't be part of this PR

Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 8 files at r6, 1 of 4 files at r8.
Reviewable status: 10 of 11 files reviewed, 2 unresolved discussions (waiting on @noaov1 and @varex83)


crates/blockifier/src/execution/native/utils.rs line 31 at r8 (raw file):

    match String::from_utf8(bytes_err) {
        Ok(s) => s.trim_matches('\0').to_owned(),
        Err(_) => {

Shouldn't be part of this PR

@PearsonWhite PearsonWhite force-pushed the rdr/native-storage-read branch from 8ad184c to 93ac2d0 Compare October 30, 2024 19:39
@rodrigo-pino rodrigo-pino force-pushed the rdr/native-storage-read branch 3 times, most recently from 9327187 to 56d98f9 Compare October 30, 2024 22:19
@varex83 varex83 force-pushed the bohdan/deploy-syscall-impl branch from 55e0f85 to 15ecfd9 Compare October 31, 2024 12:51
Copy link

Artifacts upload triggered. View details here

@rodrigo-pino rodrigo-pino force-pushed the rdr/native-storage-read branch from 56d98f9 to 0d43daa Compare October 31, 2024 13:16
@varex83 varex83 force-pushed the bohdan/deploy-syscall-impl branch from 35a2507 to 55e0f85 Compare October 31, 2024 14:03
Copy link

Artifacts upload triggered. View details here

Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 1 files at r18, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @noaov1 and @Yoni-Starkware)

@varex83 varex83 changed the base branch from main to rdr/handle-syscall-error November 13, 2024 10:55
@varex83 varex83 force-pushed the bohdan/deploy-syscall-impl branch from 998d024 to 6992f6f Compare November 13, 2024 10:58
Copy link

Artifacts upload triggered. View details here

Copy link
Contributor Author

@varex83 varex83 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: 32 of 35 files reviewed, 1 unresolved discussion (waiting on @meship-starkware, @noaov1, and @Yoni-Starkware)


crates/blockifier/src/execution/native/entry_point_execution.rs line 45 at r12 (raw file):

Previously, varex83 (Bohdan Ohorodnii) wrote…

We've added it since some of the errors from the native go into the "Ok", but tests were expecting it to be an error, so we've returned to this approach. I believe this will be refactored in the way that the error native syscall returns triple: Ok(..), RuntimeError(...), UnexpectedError(...) (for example some conversion problem).

If we remove this part of the code, we must rewrite tests, and native code won't be compatible with VM returns. We've also put it here since not all syscall tests are dependent on it.

Should be removed now

Copy link
Contributor

@avi-starkware avi-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 2 files at r16, 3 of 3 files at r19, all commit messages.
Dismissed @noaov1 from a discussion.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @Yoni-Starkware)

Copy link
Contributor

@avi-starkware avi-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @Yoni-Starkware)

Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 3 of 3 files at r19, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @Yoni-Starkware)

Copy link
Collaborator

@Yoni-Starkware Yoni-Starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewed 1 of 3 files at r7, 26 of 30 files at r10, 3 of 3 files at r11, 1 of 2 files at r12, 1 of 2 files at r16, 3 of 3 files at r19, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @varex83)

@rodrigo-pino rodrigo-pino force-pushed the rdr/handle-syscall-error branch from d90688f to 816c81b Compare November 14, 2024 12:08
Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @varex83)

Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @varex83)


a discussion (no related file):
Please rebase to resolve conflicts

@rodrigo-pino rodrigo-pino force-pushed the rdr/handle-syscall-error branch from 816c81b to b0fa3a9 Compare November 14, 2024 12:36
@varex83 varex83 changed the base branch from rdr/handle-syscall-error to main November 14, 2024 13:52
@varex83 varex83 force-pushed the bohdan/deploy-syscall-impl branch 2 times, most recently from 21efb72 to 64de5df Compare November 14, 2024 14:11
Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 4 of 4 files at r20, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @varex83)

Copy link

Artifacts upload triggered. View details here

Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 1 files at r21, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @varex83)

@varex83 varex83 force-pushed the bohdan/deploy-syscall-impl branch from 64de5df to 9de0e66 Compare November 14, 2024 14:19
Copy link

Artifacts upload triggered. View details here

Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 1 files at r22, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @varex83)

Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @varex83)

Copy link
Contributor

@meship-starkware meship-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @varex83)

@meship-starkware meship-starkware merged commit d3ffdd6 into main Nov 14, 2024
12 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Nov 16, 2024
@meship-starkware meship-starkware deleted the bohdan/deploy-syscall-impl branch November 19, 2024 08:51
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
native integration Related with the integration of Cairo Native into the Blockifier
Projects
None yet
Development

Successfully merging this pull request may close these issues.

8 participants