Deakstadieđáhus: Decentralised finance and automated market making