3 ms·Tezos, a crypto currency with formal verification, starts its fundraising2 points by testcross 9y ago