Algorand trilemma solver 2-3