sky-ecosystem / governance-manualLinks
Welcome to the Maker Operational Manual. This set of documents intends to acquaint MKR Holders with the voting process and to serve as reference material for them to consult during the day-to-day operation of the protocol.
☆19Updated 2 years ago
Alternatives and similar repositories for governance-manual
Users that are interested in governance-manual are comparing it to the libraries listed below
Sorting:
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- ☆21Updated 3 years ago
- rollup node experiments☆15Updated 3 years ago
- ☆29Updated 3 years ago
- Schedule function calls that can only be executed once some delay has elapsed☆26Updated 3 years ago
- Abstract developer interfaces to the Dai Stablecoin System core contracts.☆33Updated 2 years ago
- Repository for Huff - an EVM programming language☆28Updated 5 years ago
- Token for accruing protocol revenues☆16Updated 3 years ago
- ☆36Updated 8 months ago
- Emergency Shutdown Module☆17Updated 2 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- Ethereum end-to-end test harness☆35Updated last year
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- A library for working with mutable byte buffers in Solidity.☆30Updated last year
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- Aesthetically Pleasing Ethereum Statements☆51Updated 3 years ago
- Interface files for the vault contracts☆10Updated 3 years ago
- Log function calls as events☆17Updated 3 years ago
- ☆23Updated 4 years ago
- ☆13Updated 4 years ago
- ☆20Updated 2 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 5 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Updated 2 years ago
- Smart contract implementing fixed point math operations using structs for type checking.☆30Updated 4 years ago
- A dapptools/foundry-ready library for charging Harberger taxes on partial common non-fungible property.☆24Updated 2 years ago
- It provides helper functions to test the maple-core contracts.☆25Updated 2 years ago
- A flashloan module for Gnosis Safe.☆45Updated 3 years ago
- Slow burner for protocol assets.☆33Updated 2 years ago
- Pay on Ethereum, mint on Starknet.☆27Updated 3 years ago