backstop-syndicate / dai-backstop-syndicateLinks
A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.
☆29Updated 5 years ago
Alternatives and similar repositories for dai-backstop-syndicate
Users that are interested in dai-backstop-syndicate are comparing it to the libraries listed below
Sorting:
- Yield Protocol v1☆44Updated last year
- Gas Saver is a collection of smart contracts to save gas on Ethereum☆65Updated 3 years ago
- [Optimism] Solidity mock contracts in JavaScript☆76Updated 3 years ago
- Documentation for the any.sender transaction relaying service☆57Updated 4 years ago
- ☆34Updated 4 years ago
- Implementation and testing for core Dharma Token (dToken) contracts, including Dharma Dai and Dharma USD Coin.☆35Updated 2 years ago
- Pools DAI, converts it into Compound DAI, and sends interests to a beneficiary. Users putting DAI into the pool receives Pooled cDAI (pcD…☆50Updated 2 years ago
- 📑 Documentation generator for Solidity☆26Updated 3 years ago
- Primitive protocol solidity contracts.☆43Updated 2 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Aragon app integrated with the Compound Finance protocol.☆13Updated 2 years ago
- a web3 app☆31Updated 2 years ago
- ☆39Updated 4 years ago
- Tiramisu is a "Layer Two" system for scalable token transfers that prioritizes simplicity.☆74Updated 2 years ago
- Medianizer 2☆16Updated 2 years ago
- Yearn v2 Strategies for Idle.finance☆20Updated last year
- Online ERC20 verifier based on tinchoabbate's slither-scripts☆13Updated 5 years ago
- ☆22Updated 2 years ago
- Get the best out of your lend, with just one token.☆16Updated 2 years ago
- 📚 The Token Lists specification for Collectibles (ERC721 and ERC1155)☆37Updated 3 years ago
- Contracts for idle.finance☆25Updated 4 years ago
- 🦄🐷☆39Updated 4 years ago
- A gas free offering of common Dai and Chai operations☆33Updated 2 years ago
- Start a local test chain with the MakerDAO contracts deployed on it, quickly and easily.☆33Updated 3 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆145Updated 2 years ago
- A simple demonstration of a proposed L2 gateway specification☆53Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- A protocol for splitting ERC20 tokens into their yield, governance and capital components☆21Updated 2 years ago
- The place to see all MakerDao Auctions.☆26Updated last year
- Fully collateralised vanilla and bounded (capped call and floored put) crypto options☆16Updated 4 years ago