K specification of the dai stablecoin system - View it on GitHub