“What we have done - and this is what blockchain

Question

“What we have done - and this is what blockchain

codemology does - we have created a framework for formal verification in such a way that we are able to verify the state of a distributed system using only types… We have rewritten how formal verification works or decentralized applications using type theory.”

I am constantly listening to these for nth times already and also read so many threads and articles but I still don’t get this. Do you have something that you can recommend reading first so that I can understand this? Wyatt put so much emphasis on saying this and I think it’s really great to at least understand its concept because I think it’s really important. Thank you in advance fam! You all are amazing!

#blockchain #constellation #cryptocurrency #english

0

09.06.2022