Cardano founder and Ripple CTO at odds over Trump’s removal from Colorado ballot