matter-labs / era-contracts

Smart Contract Submodule For zkSync Era

MIT License

466 stars 323 forks source link

Mailbox unit testing #559

Closed tommysr closed 2 days ago

tommysr commented 1 week ago

What ❔

Increased coverage in Mailbox unit tests.

Why ❔

Previously proving mechanism was mocked in the tests, now actual merkle tree is constructed, so is the merkle tree proof.

Checklist

test:

[x] prove message inclusion success/failure
[x] prove log inclusion success/failure
[x] get base cost of transaction
[x] finalize withdrawal success/failure
[x] transaction request (check if all cases are included)