Not snarks for once: Does someone know how the mechanism described in Section 2 here relates to known algorithmic stable coins? The basic idea is there are dollars and bonds. Bonds generate dollars and expire. And whenever there are more dollars than bonds, we do an auction to create more bonds.