Formal Governance
Thank you all for joining the formal governance meeting. We have 14 participants on the call today.
This part of the meeting will be recorded and will serve as the formal record of the community consensus. Proposals need to be clearly stated, debated, and generally agreed to prior to the meeting. Once a proposal has gone through these three checks it can be brought up in the formal governance meeting for finalization. Proposals should be posted to forum.makerdao.com and can also be discussed in #proposal-discuss on Rocket Chat
Upon conclusion of the formal portion of the meeting, further topics will be discussed and debated.
Proposals:
(None)
Dev Update:
Maker Core (DRI: nikolai):
- New token architecture makes admin token balance manipulation not possible while still providing an upgrade/recovery path in a worst case
- Only related admin action is “freeze everything”
- Math confirmed to work with more precision than we need on all timeframes
- No further changes anticipated, most likely at final version
- More toolchain dev - again fixed maker and all dependencies to use latest version
Maker Market (Oasis) (DRI: Rune):
- We are currently hiring new front end developers and have some positive leads
- Re-brand moving slow, but in process
- Initial matching logic
- Will enable buy/sell market orders
- Leveraging ordered list to do matching
- Increases gas cost some, but not dramatically
- Gas limits does limit feature though
- More testing and auditing needed
Maker Model (DRI: Jake - mbrock - haskell work):
- mbrock:
- Modelled the deflation mechanism (“global poke”)
- Framework for asserting properties such as “in one step of the system, the deflation rate changes in proportion to the sensitivity parameter and the time delta”
- (Use of QuickCheck randomized testing as a poor man’s formal verification)
- Started using the model to answer the question “how much does the poke frequency affect the actual deflation over time?” (preliminary answer: not that much)
- Temporarily abandoning the beautiful literate programming PDF to code faster
Simple Stable Coin (DRI: zandy + OneUp):
- Working on feeds
- CLI tools ds-feeds
- Will hand off to James
- Some test simple coin on Robsten
MKR Sale update (DRI: rune + zandy):
- 1808.7 ETH for 1050 MKR
- No orders from zandy
Video (DRI: kenny):
- Over the following weeks POW will build the animation act by act then finally then add music and sound effects. This process should take around 3/4 weeks to complete both videos.
Foundation:
- Ready to post official announcement
General Topics:
Topics discussed here are not binding and should not be taken out of context of an open discussion. More is said during the general topics than what can be faithfully transcribed into written text
Whiteboards
Developer intro
Dai Foundation
| Name | USD Equivalent |
|---|---|
| DappHub* | 45,000 |
| OneUp | 15,000 |
| OnChain | 5,000 |
| Total | 65,000 |
- Formerly Nexus development
