Algorand trilemma solver 1-3