├── .gitattributes ├── .github └── workflows │ ├── certora.yml │ └── config.yaml ├── .gitignore ├── .gitmodules ├── .solhint.json ├── LICENSE ├── Makefile ├── README.md ├── certora ├── Auxiliar.sol ├── FeesMock.sol ├── TeleportConstantFee.spec ├── TeleportJoin.spec ├── TeleportJoinMock.sol ├── TeleportLinearFee.spec ├── TeleportOracleAuth.spec └── TeleportRouter.spec ├── docs ├── domains.png ├── fw.png ├── l2.png └── worm.excalidraw ├── src ├── TeleportConstantFee.sol ├── TeleportFees.sol ├── TeleportGUID.sol ├── TeleportJoin.sol ├── TeleportLinearFee.sol ├── TeleportOracleAuth.sol ├── TeleportRouter.sol ├── relays │ ├── BasicRelay.sol │ └── TrustedRelay.sol ├── test │ ├── TeleportConstantFee.t.sol │ ├── TeleportJoin.t.sol │ ├── TeleportLinearFee.t.sol │ ├── TeleportOracleAuth.t.sol │ ├── TeleportRouter.t.sol │ ├── integration │ │ └── TeleportJoin.t.sol │ ├── mocks │ │ ├── DaiJoinMock.sol │ │ ├── DaiMock.sol │ │ ├── GatewayMock.sol │ │ └── VatMock.sol │ └── relays │ │ ├── BasicRelay.t.sol │ │ └── TrustedRelay.t.sol └── utils │ └── EnumerableSet.sol └── test.sh /.gitattributes: -------------------------------------------------------------------------------- 1 | *.sol linguist-language=Solidity 2 | -------------------------------------------------------------------------------- /.github/workflows/certora.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/.github/workflows/certora.yml -------------------------------------------------------------------------------- /.github/workflows/config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/.github/workflows/config.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/.gitmodules -------------------------------------------------------------------------------- /.solhint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/.solhint.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/README.md -------------------------------------------------------------------------------- /certora/Auxiliar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/certora/Auxiliar.sol -------------------------------------------------------------------------------- /certora/FeesMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/certora/FeesMock.sol -------------------------------------------------------------------------------- /certora/TeleportConstantFee.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/certora/TeleportConstantFee.spec -------------------------------------------------------------------------------- /certora/TeleportJoin.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/certora/TeleportJoin.spec -------------------------------------------------------------------------------- /certora/TeleportJoinMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/certora/TeleportJoinMock.sol -------------------------------------------------------------------------------- /certora/TeleportLinearFee.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/certora/TeleportLinearFee.spec -------------------------------------------------------------------------------- /certora/TeleportOracleAuth.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/certora/TeleportOracleAuth.spec -------------------------------------------------------------------------------- /certora/TeleportRouter.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/certora/TeleportRouter.spec -------------------------------------------------------------------------------- /docs/domains.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/docs/domains.png -------------------------------------------------------------------------------- /docs/fw.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/docs/fw.png -------------------------------------------------------------------------------- /docs/l2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/docs/l2.png -------------------------------------------------------------------------------- /docs/worm.excalidraw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/docs/worm.excalidraw -------------------------------------------------------------------------------- /src/TeleportConstantFee.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/TeleportConstantFee.sol -------------------------------------------------------------------------------- /src/TeleportFees.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/TeleportFees.sol -------------------------------------------------------------------------------- /src/TeleportGUID.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/TeleportGUID.sol -------------------------------------------------------------------------------- /src/TeleportJoin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/TeleportJoin.sol -------------------------------------------------------------------------------- /src/TeleportLinearFee.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/TeleportLinearFee.sol -------------------------------------------------------------------------------- /src/TeleportOracleAuth.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/TeleportOracleAuth.sol -------------------------------------------------------------------------------- /src/TeleportRouter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/TeleportRouter.sol -------------------------------------------------------------------------------- /src/relays/BasicRelay.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/relays/BasicRelay.sol -------------------------------------------------------------------------------- /src/relays/TrustedRelay.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/relays/TrustedRelay.sol -------------------------------------------------------------------------------- /src/test/TeleportConstantFee.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/TeleportConstantFee.t.sol -------------------------------------------------------------------------------- /src/test/TeleportJoin.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/TeleportJoin.t.sol -------------------------------------------------------------------------------- /src/test/TeleportLinearFee.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/TeleportLinearFee.t.sol -------------------------------------------------------------------------------- /src/test/TeleportOracleAuth.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/TeleportOracleAuth.t.sol -------------------------------------------------------------------------------- /src/test/TeleportRouter.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/TeleportRouter.t.sol -------------------------------------------------------------------------------- /src/test/integration/TeleportJoin.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/integration/TeleportJoin.t.sol -------------------------------------------------------------------------------- /src/test/mocks/DaiJoinMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/mocks/DaiJoinMock.sol -------------------------------------------------------------------------------- /src/test/mocks/DaiMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/mocks/DaiMock.sol -------------------------------------------------------------------------------- /src/test/mocks/GatewayMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/mocks/GatewayMock.sol -------------------------------------------------------------------------------- /src/test/mocks/VatMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/mocks/VatMock.sol -------------------------------------------------------------------------------- /src/test/relays/BasicRelay.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/relays/BasicRelay.t.sol -------------------------------------------------------------------------------- /src/test/relays/TrustedRelay.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/test/relays/TrustedRelay.t.sol -------------------------------------------------------------------------------- /src/utils/EnumerableSet.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/src/utils/EnumerableSet.sol -------------------------------------------------------------------------------- /test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-teleport/HEAD/test.sh --------------------------------------------------------------------------------