OK so without trying to push cardano too hard, one of the major design points of cardano was to design a cryptocurrency from the ground up by building a securit

OK so without trying to push cardano too hard, one of the major design points of cardano was to design a cryptocurrency from the ground up by building a security model, writing formal proofs for the system, and implementing said proofs in isabelle as formal verification of the underlying software for the network. I would recommend looking into it if you are curious or would like to try to verify anything I said. They are doing a lot of cool stuff and I think the project is really interesting but I've been trying to keep my posts from getting too wordy so I'll cut myself off here.