dgf-prototype/specification/docs/implementation-casper.md