security, I guess I should have been explicit in what I meant. In regards to security both cardano and tezos use formal verification. Is one better than the other in terms of just security ?
really boils down cardano using haskell vs tezos using michelson for writing smart contracts
Обсуждают сегодня