3 ms·
This seems like an amazing development. If I read it correctly, Tezos aims to decentralize the core protocol development by allowing forks to coexist and peace
by jlrubin 12y ago
This seems like an amazing development.
If I read it correctly, Tezos aims to decentralize the core protocol development by allowing forks to coexist and peacefully merge in any innovations.
It is also in OCaml, which is great for the robustness of the code developed. Much less scary than C/C++. Tezos even goes to the point of suggesting formal proofs of correctness, using COQ proof assistant.
- l_m_g 12y agoTezos does aim to decentralize core development, but the emphasis is on allowing stakeholders to coordinate on forks rather than having forks coexist. The latter possibility is very interesting and can be implemented within Tezos, but it will require a lot of forethought.