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:
- rollup node experiments☆15Updated 3 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- ☆29Updated 3 years ago
- Collection of presentations given by Sigma Prime☆19Updated 3 years ago
- ☆37Updated 11 months ago
- Abstract developer interfaces to the Dai Stablecoin System core contracts.☆33Updated 2 years ago
- Token for accruing protocol revenues☆16Updated 3 years ago
- Interface files for the vault contracts☆10Updated 3 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- ☆13Updated 4 years ago
- Ethereum end-to-end test harness☆35Updated last year
- Emergency Shutdown Module☆17Updated 2 years ago
- A library for working with mutable byte buffers in Solidity.☆30Updated last year
- Schedule function calls that can only be executed once some delay has elapsed☆27Updated 3 years ago
- testing https://github.com/radicle-dev/radicle-contracts☆14Updated 4 years ago
- It provides helper functions to test the maple-core contracts.☆25Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- ☆20Updated 2 years ago
- Pay on Ethereum, mint on Starknet.☆27Updated 3 years ago
- ☆21Updated 4 years ago
- Simulation code for a GEB system☆16Updated 3 years ago
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆15Updated last year
- Ray tracing on the Ethereum Virtual Machine☆12Updated 4 years ago
- ☆19Updated 3 years ago
- ETH->ERC20 with extra opinions☆27Updated 4 years ago
- Repository for Huff - an EVM programming language☆28Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 4 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 5 years ago
- EVM interpreter compatible with the evm2wasm interface☆46Updated 3 years ago
- Modeled after https://github.com/ethereum/eth2.0-pm☆18Updated 3 weeks ago