You are viewing a single comment's thread from:
RE: Tezos, the generic self amending crypto-ledger
Dana thanks! Keep going! I would like to understand differences with Tendermint :-)
Also I would like to understand all fundamental differences in opensource permissioned blockchain solutions.
I collected everything from the internet, but to be honest I still don't understand how this things should be evaluated:
- Eris - by Eris Industries. Derived from Ethereum; Go
- Graphene - built for BitShares and Steem by Cryptonomex. C++
- BigChain DB - built by awesome community. Ascribe behind. Lightweight. C++
- Scorex - by Alex Chepurnoy. Scala
- Open Blockchain - by IBM. Go
- Juno - by JP Morgan. Haskell
- Multichain - by CoinScience. Bitcoin compatible; Java
- Openchain - by Coinprism team. Bitcoin compatible; C#
- Sidechains - by Blockstream; Bitcoin compatible; C++
- Ripple - by Ripple Labs. C++
- Stellar - by Stellar Foundation. C++
- Hyperledger - acquired by Digital Assets Holdings; now Linux foundations. Go
- Mijin - NEM based; Java
- Lisk Dapps - Sidechains using Lisk. NodeJS
- Tezos - Self-amending cryptographic ledger. OCaml
I really would like some ideas! Do you have?
It seems like you cover a lot of the known technologies being developed but perhaps you could add Iota, Jinn, Storj,SAFE Network, Siacoin, Filecoin IPFS, Ceptr, Solid.
I could do a compare and contrast briefly between Tau and Tezos. Tau is a general purpose programming language with features which are far more ambitious and go far beyond anything Tezos is trying to do. Tezos is a specific fit for purpose generic self amending crypto ledger which utilizes Ocaml for smart contracts while Tau itself is a programming language competing with Ocaml.
So Tau is a programming language and it's developers seek to make it the best in it's class of functional languages. They seek to make it both faster and easier to use than any other known language with similar capabilities like Idris. In addition, it will be very powerful because it will have a semantic layer which Tezos will not have at least at the start and while Tezos could probably build up with smart contracts it still currently isn't being designed for that.
Tezos is in competition with Ethereum, SAFE Network, Bitcoin, or they could decide to implement these various blockchains within it which might be smarter than direct competition. How you should evaluate really depends on what you value but if you value security then you should look toward smart contract platforms where smart contracts are written in strongly typed functional languages, where formal verification is mandatory. Ocaml is actually a great choice between ease of development and security but Tau has the potential to be much easier and even more secure.
Thanks Dana for explanations. That will help me.
Let me comment on your suggestions:
SAFE Network has a blockchain data structure called SAFE Consensus.
https://blog.maidsafe.net/2016/06/23/introduction-technical-overview-of-safe-consensus/
Solid on Github: https://github.com/solid/solid-apps