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.

Sign up for GitHub

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

Jump to bottom

Support (Non-Legacy) Transaction Types Natively #528

Open
DavePearce opened this issue Feb 22, 2023 · 0 comments
Open

Support (Non-Legacy) Transaction Types Natively #528

DavePearce opened this issue Feb 22, 2023 · 0 comments

Comments

@DavePearce
Copy link
Collaborator

DavePearce commented Feb 22, 2023 •
edited
Loading

(see also #497 and #328)

At the moment, there is no notion on the Dafny side of a transaction being executed. However, there is some logic here which needs to be applied, and is currently implemented in the backends (e.g. Java). For example, the intrinsic gas calculation. Likewise, decode the transaction types, etc.

I should note that the Java interface currently only supports legacy transactions anyway, so its already broken.
@DavePearce DavePearce mentioned this issue Feb 22, 2023
Closed
@DavePearce DavePearce changed the title Dafny Transaction Execution Support Non-Legacy Transaction Types Mar 6, 2023
@DavePearce DavePearce changed the title Support Non-Legacy Transaction Types Support (Non-Legacy) Transaction Types Natively Mar 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@DavePearce