|
1 | | -<img src="https://raw.githubusercontent.com/defi-wonderland/brand/v1.0.0/external/solidity-foundry-boilerplate-banner.png" alt="wonderland banner" align="center" /> |
2 | | -<br /> |
| 1 | +# L2Resolver |
3 | 2 |
|
4 | | -<div align="center"><strong>Start your next Solidity project with Foundry in seconds</strong></div> |
5 | | -<div align="center">A highly scalable foundation focused on DX and best practices</div> |
| 3 | +Minimal L2 Resolver system for ENS. It resolves ENS names to their corresponding [EIP-7930](https://eips.ethereum.org/EIPS/eip-7930)-formatted chain identifiers (as bytes) and maps these EIP-7930 chain identifiers back to their primary ENS names. The system is implemented as a single contract that manages storage, authorization, and resolution logic. |
6 | 4 |
|
7 | | -<br /> |
8 | | - |
9 | | -## Features |
10 | | - |
11 | | -<dl> |
12 | | - <dt>Sample contracts</dt> |
13 | | - <dd>Basic Greeter contract with an external interface.</dd> |
14 | | - |
15 | | - <dt>Foundry setup</dt> |
16 | | - <dd>Foundry configuration with multiple custom profiles and remappings.</dd> |
17 | | - |
18 | | - <dt>Deployment scripts</dt> |
19 | | - <dd>Sample scripts to deploy contracts on both mainnet and testnet.</dd> |
20 | | - |
21 | | - <dt>Sample Integration, Unit, Property-based fuzzed and symbolic tests</dt> |
22 | | - <dd>Example tests showcasing mocking, assertions and configuration for mainnet forking. As well it includes everything needed in order to check code coverage.</dd> |
23 | | - <dd>Unit tests are built based on the <a href="https://twitter.com/PaulRBerg/status/1682346315806539776">Branched-Tree Technique</a>, using <a href="https://github.com/alexfertel/bulloak">Bulloak</a>. |
24 | | - <dd>Formal verification and property-based fuzzing are achieved with <a href="https://github.com/a16z/halmos">Halmos</a> and <a href="https://github.com/crytic/medusa">Medusa</a> (resp.). |
25 | | - |
26 | | - <dt>Linter</dt> |
27 | | - <dd>Simple and fast solidity linting thanks to forge fmt.</dd> |
28 | | - <dd>Find missing natspec automatically.</dd> |
29 | | - |
30 | | - <dt>Github workflows CI</dt> |
31 | | - <dd>Run all tests and see the coverage as you push your changes.</dd> |
32 | | - <dd>Export your Solidity interfaces and contracts as packages, and publish them to NPM.</dd> |
33 | | -</dl> |
| 5 | +The complete technical specification can be found [here](https://github.com/ethereum/L2-interop/blob/main/specs/addresses/L2Resolver.md). |
34 | 6 |
|
35 | 7 | ## Setup |
36 | 8 |
|
|
0 commit comments