a leading developer of algorithmic currency systems