Не помню сколько разница между транзакциями во времени в BitShares, но в потенциале точно может ( с некоторыми оговорками на надёжность Proof-of-Stake)
Cardano реализовали свою вариацию Proof-of-Stake, заверили что она надёжней существующих и можно использовать и не бояться, они хотят решить вопрос хранения блокчейна с ростом его объема (на жёстком диске), добавлять возможность обмена на другую валюту, использовать в банковских опреациях, они достаточно грамонтно организовали первичное распределение и на бумаге "предложения по улучшению сети" выглядят интересно. Ну, надо смотреть ещё что нового есть, если в целом.
Haskell скорее необычен, чем хорош. не самый мейнстримный для продуктовой разработки язык, особенно среди новичков.