[splintercell]

Oh well I was pointing out to the part where their whole codebase is formally prove, plus their Smart Contract language Michelson is functional and can be used very easily to be formally proven (there by leading to writing more secure smart contracts), since you're earlier concern was security.

[pavel_lishin]

I don't see that anywhere, although I only googled very briefly. The closest I saw was this:

> Updates to the protocol can be required to carry formal proofs indicating that they respect agreed core principles agreed upon by the stakeholders.

Which doesn't really make sense; how do you write a formal proof that something align with someone's core principles?