RE: Tezos, the generic self amending crypto-ledger

You are viewing a single comment's thread from:

RE: Tezos, the generic self amending crypto-ledger

View the full context

hipster (66)in #crypto-news • 8 years ago (edited)

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?

8 years ago in #crypto-news by hipster (66)

Sort:

dana-edwards (74) 8 years ago (edited)

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.

$0.14

4 votes

[-]

hipster (66) 8 years ago

Thanks Dana for explanations. That will help me.
Let me comment on your suggestions:

SAFE Network is not blockchain technology at all. AFAIK you will never be able to observe the whole state of a network.
Storj is just a protocol on top of Bitcoin and Counterparty for storage of immutable chunks of unstructured data. Its not about transactions at all.
Sia is designed to have very simple set of smart contracts which allow to do the same thing as Storj is intended for. It allow to transact only using core token.
Filecoin based on IPFS exist only on Juan's paper. I didnt hear about any implementation.
Iota is a quite new beast and I don't understand nor how it works neither what it is best for yet. AFAIK Jinn is a hardware chip with ternary logic with the same people behind.
I was not able to find Solid on Github. I am interested in open source only.
Thanks for Ceptr. Will look into it.