impl TransactionsProcessor with simple specs
impl TransactionsAggregator actor specs and code