├── .gitattributes ├── .github └── workflows │ ├── certora.yml │ └── tests.yaml ├── .gitignore ├── .gitmodules ├── LICENSE ├── Makefile ├── README.md ├── audit ├── 20231124-cantina-report-review-makerdao-nst.pdf ├── 20240703-cantina-report-review-makerdao-nst.pdf ├── 20240917-Sherlock_MakerDAO_Endgame_Audit_Report.pdf ├── 20240926-cantina-report-review-makerdao-usds.pdf └── 20240930-ChainSecurity_MakerDAO_USDS_audit.pdf ├── certora ├── Auxiliar.sol ├── DaiJoinMock.sol ├── DaiMock.sol ├── DaiUsds.conf ├── DaiUsds.spec ├── SignerMock.sol ├── Usds.conf ├── Usds.spec ├── UsdsJoin.conf ├── UsdsJoin.spec └── VatMock.sol ├── deploy ├── UsdsDeploy.sol ├── UsdsInit.sol └── UsdsInstance.sol ├── foundry.toml ├── remappings.txt ├── src ├── DaiUsds.sol ├── Usds.sol └── UsdsJoin.sol └── test ├── DaiUsds.t.sol ├── Deployment.t.sol ├── L2Deployment.t.sol ├── Usds.t.sol └── UsdsJoin.t.sol /.gitattributes: -------------------------------------------------------------------------------- 1 | *.sol linguist-language=Solidity 2 | -------------------------------------------------------------------------------- /.github/workflows/certora.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/.github/workflows/certora.yml -------------------------------------------------------------------------------- /.github/workflows/tests.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/.github/workflows/tests.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/README.md -------------------------------------------------------------------------------- /audit/20231124-cantina-report-review-makerdao-nst.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/audit/20231124-cantina-report-review-makerdao-nst.pdf -------------------------------------------------------------------------------- /audit/20240703-cantina-report-review-makerdao-nst.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/audit/20240703-cantina-report-review-makerdao-nst.pdf -------------------------------------------------------------------------------- /audit/20240917-Sherlock_MakerDAO_Endgame_Audit_Report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/audit/20240917-Sherlock_MakerDAO_Endgame_Audit_Report.pdf -------------------------------------------------------------------------------- /audit/20240926-cantina-report-review-makerdao-usds.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/audit/20240926-cantina-report-review-makerdao-usds.pdf -------------------------------------------------------------------------------- /audit/20240930-ChainSecurity_MakerDAO_USDS_audit.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/audit/20240930-ChainSecurity_MakerDAO_USDS_audit.pdf -------------------------------------------------------------------------------- /certora/Auxiliar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/Auxiliar.sol -------------------------------------------------------------------------------- /certora/DaiJoinMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/DaiJoinMock.sol -------------------------------------------------------------------------------- /certora/DaiMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/DaiMock.sol -------------------------------------------------------------------------------- /certora/DaiUsds.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/DaiUsds.conf -------------------------------------------------------------------------------- /certora/DaiUsds.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/DaiUsds.spec -------------------------------------------------------------------------------- /certora/SignerMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/SignerMock.sol -------------------------------------------------------------------------------- /certora/Usds.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/Usds.conf -------------------------------------------------------------------------------- /certora/Usds.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/Usds.spec -------------------------------------------------------------------------------- /certora/UsdsJoin.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/UsdsJoin.conf -------------------------------------------------------------------------------- /certora/UsdsJoin.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/UsdsJoin.spec -------------------------------------------------------------------------------- /certora/VatMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/certora/VatMock.sol -------------------------------------------------------------------------------- /deploy/UsdsDeploy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/deploy/UsdsDeploy.sol -------------------------------------------------------------------------------- /deploy/UsdsInit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/deploy/UsdsInit.sol -------------------------------------------------------------------------------- /deploy/UsdsInstance.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/deploy/UsdsInstance.sol -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/foundry.toml -------------------------------------------------------------------------------- /remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/remappings.txt -------------------------------------------------------------------------------- /src/DaiUsds.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/src/DaiUsds.sol -------------------------------------------------------------------------------- /src/Usds.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/src/Usds.sol -------------------------------------------------------------------------------- /src/UsdsJoin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/src/UsdsJoin.sol -------------------------------------------------------------------------------- /test/DaiUsds.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/test/DaiUsds.t.sol -------------------------------------------------------------------------------- /test/Deployment.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/test/Deployment.t.sol -------------------------------------------------------------------------------- /test/L2Deployment.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/test/L2Deployment.t.sol -------------------------------------------------------------------------------- /test/Usds.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/test/Usds.t.sol -------------------------------------------------------------------------------- /test/UsdsJoin.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/usds/HEAD/test/UsdsJoin.t.sol --------------------------------------------------------------------------------