You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is a fairly straightforward serialisation algorithm which we can add. Potentially, it should ultimately move into some kind of library. Currently, rlp operations are used on the Java side in DafnyEvm.addr() for calculating CREATE2 programmatic addresses.
The text was updated successfully, but these errors were encountered:
This is a fairly straightforward serialisation algorithm which we can add. Potentially, it should ultimately move into some kind of library. Currently, rlp operations are used on the Java side in
DafnyEvm.addr()
for calculatingCREATE2
programmatic addresses.The text was updated successfully, but these errors were encountered: