TEZOS THE NEXT ETHEREUM CONTENDER

in bitcoin •  7 years ago 

During my vacation in NY, the Tezos ICO took place. Initially I had my doubts about Tezos and the uncapped ICO. However, with less access to crypto on my vacation I had more time to research Tezos and did some last minute checks into what Tezos really is. I quickly changed my mind from not investing in Tezos, into making a hefty investment in the platform.

A recent communication with some large investors I know personally, reinforced that decision. Tezos as an investment is as close to ETH startup. The lessons learned from ETH failures will make Tezos a great success. I am making these statements when there is no Tezos on the market, so it's not considered an investment advice.

Tezos information directly from official website:

https://www.tezos.com/team

https://www.tezos.com/static/papers/Tezos_Overview.pdf
https://www.tezos.com/static/papers/position_paper.pdf
https://www.tezos.com/static/papers/white_paper.pdf

The explainer video from Tezos YouTube channel:

Tezos ICO has ended with a significant amounts of Bitcoin and ETH contributed to the project.

ICO prices ranged from 6000 coins per bitcoin to 5000 coins per bitcoin depending on investment time.

Tezos mainnet release will take place within 4 months of ICO ending, so a little over 3 months left. This date is not etched in stone, could be delayed. If you have not secured your Tezos tokens, I would suggest you get some on release and hold for as long as you can. Tezos is DPOS which follows a close resemblance to Bitshares, Steem, and EOS.

Side by side Tezos is another ETH contender that will face up to the blockchain that started smart contracts. Other projects that promise to do the same are Qtum and EOS

Authors get paid when people like you upvote their post.
If you enjoyed what you read here, create your account today and start earning FREE STEEM!
Sort Order:  

I've learned that investing is about the people, not the product or the tech. Having done due diligence on Tezos, Qtum and EOS I have chosen to invest in EOS because of the people behind the project. Of the three options EOS has the A-team. Any one of them could develop the tech to replace ETH, but only one will replace ETH. The difference is the people. Dan FTW!

How many full time developers will Tezos and EOS have? I would think they both have a fraction when compared to Ethereum.

Dan said EOS had about 30 full time devs a month or so ago, and they are hiring like crazy. No idea about Tezos or Qtum.

good to know, thanks!

What do you think will happen when it all developer talent is scooped up? Where will new blockchain companies get talent?

Dan, do you have any idea about how many developers contribute to Ethereum? Keep in mind, the ERC-20 standard must have some part time contributions from all token entities. Any thoughts would be highly appreciated.

Tezos just announced 50 million in funding for dev's building on its platform. https://steemit.com/tezos/@coolhandcanuck/tezos-continues-to-blaze-its-own-path

Great point, talented engineers are the most important and expensive asset of these companies. They are all relying on networking effect, the faster they move faster/better they can reach their (and investors) desired outcome.

I'd choose the Tezos people if I had to bet on this even though they're less well known. I could be wrong, but hope not.

And yet... here you are on Steemit courtesy of Dan. ;)

Of course!

Well said! Always invest in the people and also the vision. Personally I think both DASH and Etherum to be better than EOS but I am bullish on EOS. It's a zillion times better than the Buttcoin garbage. Hell I'd even pick CHC over BTC (I'm not kidding; maybe just a weirdo)

Wish you luck EOS! It's better to have alternatives and competitors.
Still ETH>EOS>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>BTC

I'm investing in DAN = EOS.

@paco thanks for the laugh :D love your comment.

:)

Tezos = terrible.

great comment @paco! i actually laugh about that!! you inspire ! thanks and i will follow you for more :)

That's true

  ·  7 years ago (edited)

Good one. Rhyme perfectly lol

Lol! Now that's funny @paco! :-D

There are too many "smart contracts enabled" coins out there so pick your poison. I believe in EOS and Dan.

Why not just build smart contract on top of a Crypto currency instead of the other way around. And keep the big banks and corporations wall st etc away from Crypto.

Haha u can't keep anyone away from crytocurrency. In fact it is even better if the banks n Wall Street join into crytocurrency space and that will mean we have reach mass adoption. By then all of us will be millionaires if we hold enough coins

If Wall Street gets involved then the game is up. The SEC will regulate crypto and it's instruments to death. You don't want Banks and Wall Street involved believe me.

maybe you are right? maybe not? we shall see how it goes.....

That's true

I totally agree with you @lawrenceho84 there are so many similar coins coming out on the market that it will water down the demand. I am not saying they wont succeed but there are no indications that one over any other will be the leader in the future. Will be interesting to watch none the less

That's y we need to choose the better ones like eos steem and eth. They have better chances of success rather than blindly follow the hype into new ico.

Thanks for info!

There doesn't have to be only one to rule them all. The three blockchains can live side by side, supporting different ecosystems. Like three different flavors of ice cream, one for each day of the week. It's smart though to buy a few tokens of each blockchain, just in case one comes of top of another! :D

exactly, like ebay amazon and alibaba can live together.

eBay exists for the same reason bitcoin will, it was there first. Ethereum is very similar to amazon because it is a better more polished implementation of the same thing and I would say antshares is like alibaba since its very chinese oriented. Unfortunately I think the cryptos will mostly fail like the internet crash with 10-20 currencies being widespread like the googles and amazons and the rest falling by the wayside.

I have just upvoted your all post. Please follow me https://steemit.com/@pirbhu

I thought Ethereum was more of a smart contract platform than a cryptocurrency. Why specifically do you think cryptos will crash?

It is both with the added benefit of ether serving as the gas for powering the smart contracts which makes it even more valuable than bitcoin think commodity like oil rather than gold. Most of them will crash because the market cannot support this many businesses that are this large, it is simple math haha... and as history has shown us just because people put money in a company doesn't mean that it will succeed or even make a viable product. There are companies that are complete vaporware worth hundreds of millions.

Albeit true, Jeff B said something interesting, "this idea is not going away". That fundamental concept just may be the tide that changes the time. What do you say?

That's exactly true, but few projects are real and can compete head to head with ETH. I just point them out, September will witness the mainnet of QTUM and Tezos should follow soon after, how well these two do in the market will give us a little insight into how EOS will fare. I am a big fan of EOS tech, but not a big fan of the ICO style, I would rather seen a one month ico than one year. That does not change the fact it's a serious contender.

I like the EOS ICO approach, it allows developments with EOS to be priced into the ICO and token on the exchanges throughout the year.

Did u know that EOS is recycling its Ethereum contributions to stabilize the price at around 2 usd? There's no actual evidence for this but, the price for eos is obviously being manipulated. There's no way to everyday, get the same amount of contributions and for the price to be around the same. Think about it.

could be the exchanges are stocking up

Yes it does seem that our Steemit guys want to create their own playground. I just had my thoughts about it and the conclusion is that Steem as a currency needs more use cases, like a market. If you look at what Silk Road has done for bitcoin... you can be sure is a good test bed!

Do people shop like that as seen in that GIF above?

lol! That is what I was wondering about.

I've seen it! It does happen. 😂

fascinating

scotty_ETH_donation_pub_addy

I agree. Look at traditional investments, gold doesn't disappear because platinium exists.

Bonds, shares, art, currencies all co-exist.

I have just upvoted your all post. Please follow me https://steemit.com/@pirbhu

Stop doing this or you will be flagged.

cant believe the audacity of these 2 in here with the follow bots.

I won't flag you cause I prefer not to. However to get any respect or success on Steemit you will need to contribute to the community and especially to peoples posts of which authors spent potentially hours working on or are a culmination of a lifes work.
There are then people making comments to add more depth and possibility to the piece as a whole.

There are also some who just copy paste, spam and ask for easy money.
Some of those people make a little but will not likely have much success or enjoyment.
I only hope to help inspire people to bring real value and also value the time, experience and ideas of others.
Best Regards~*~

WOAH, WOAH, WOAH.

Wait a second. Tezos has some serious issues you might want to consider:

  • No Hardforks is just a sham - you can't do it.

  • Not formally verified.

  • Potential intellectual property issues.


This does not mean that Tezos will not be a good investment. Speculators can remain irrational much longer than people shorting can remain solvent.


See my old post We don't need to Hardfork: a questionable story about Tezos. - ICO July 1st for more information and support for my claims.

Both Qtum and Tezos will introduce a new governance system designed to prevent chain split like what happened after the DAO disaster, having such measures in place is a lesson learned by these next generation smart contract platforms. I am sure Dan mentioned how EOS will deal with issues like the DAO, although I am not sure yet what measures will be taken on the EOS chain. Regardless, all these new Chains will have a chance to dethrone Ether, something easy to do with the continuous recurring disasters on ETH. I know by now you must have reached a point in time where you do know these issues will not disappear. I am not saying the other chain's won't have issues, most likely they will, but I have serious doubts they will be as incompetent as the people behind Ethereum. Ether to take over Bitcoin's marketcap illusion is gone.

"Dethrone ETH",
Well Ethereum can simply use their governance model if it works. No need to move to a new, less verified project. Besides Tezos is not even formally verified.

"Continuous recurring disasters on ETH."
What disasters do you mention?

Okay so the people behind Ethereum are incompetent. Got it.

I also invested in Tezo's. I posted before and after the ico. I realized i needed to separate the artist from their art. The amout of tokens is the main thing going against it. If you look a future trading and comparables as far as token supply and marketcap there will most likey be a sharp rise and dramatic fall.

Ethereum doesn't have a set amount of tokens. Did u know that? They could issue unlimited eth if they really wanted. The highest amount it reached was 400 usd per ethereum. Hence, market cap and circulating suplply is all irrelevant. Value is put on things depending on how much people actually value it and want it. Tezos does have a high amount of issued tokens but like I said. People will put a value on it depending on a number inside their heads, and if they consider it valuable. If tezos delivers all the functionality and features as written in the white paper. Then it might go as high as 500 or more. Well just have to see what happens. 😋

Yea I know that ETH doesn't have a cap but they do have an inflation algo. $500 per token would make Tezo's have a marketcap higher than all cryptocurrencies combined including BTC . I don't see $300 billion marketcap happening.

I wanna believe @christina.red but @alao has the math thing is his flavor. Oh math crushing a girls hopes and dreams once again.

Effectively the traded float of the total supply coupled with the demand will determine the price. All the numbers do matter - but agree if you are just speculating on price then the total market cap of a coin doesn't matter just the price per coin - pretty obvious really.

exactly!

So why did you invest? I invested a small amount in spite of the unlimited cap / limited inflation.

Go Tezos!!!

Can you trade your Tezos now ?

The Tezos network is being built currently. Expect it on the markets in November or December

Welcome to another ICO rabbit hole for lucky 'investors' who are playing the blockchain lottery.

  ·  7 years ago (edited)

Because I am no racist, I decided to invest in tezos, Ethereum, and Antshares.

Good to not put all eggs in one basket. Invest in different crypto.
Good idea. I guess that makes one not racist if crypto were of races.
But crypto doesn't even have gender, let alone race.
But better safe than sorry.

  ·  7 years ago (edited)

Hello @joseph... Thank you for the article. I must say that you have brought out a bunny rabbit from the hat. I personally had no idea of what this TAZ thing was all about. In fact didn't even know there was an ico for it. I forgot eos is the only wannabe competition to Ethereum, but now thanks to you I know there are other contender for the spot. ✌️✌️Peace..!!

I have just upvoted your all post. Please follow me https://steemit.com/@pirbhu

what if all I did or anybody else did was copy and paste vote for me spam?
Then there would be no content whatsoever and would be no point in reading anything on steemit or making any friends.
If we don't give votes based on contribution then there is no incentive for quality content.

I have been extensively researching different crypto's for 6 months. I can't sleep this stuff is so exciting. Anyone else in the same boat? Haha my wife thinks im losing it! I do however think the EOS team is strong and has huge potential but its way to early to pick one clear winner of this tech. There will be several that succeed and several that fail because of better competition. You have to love free markets.

trade.jpg

What I feel like when the ICO I invested in starts crashing.

ICOs should be looked at like buying shares on the stock market. Do your research and have a long term view. You would just buy an IPO without any research and you also shouldn't buy an ICO without research.

Love Spider Man. Next up, the Spidey Coin.

Tezos in not even close to take Ethereum

There seems to be a lot of movement in this area. I have considered the options and have decided to go with EOS. I think this has the best chance of success although I do not like the valuation at present. It will need to deliver a lot to justify current valuations and at present none of these Ethereum 'killers' has demonstrated more than good ideas!!

will take a while to build up and to fight all the other ether copies.

Great post as always @joeseph! 100% UPVOTE!

Tezos looks very interesting, thanks @joseph for sharing!

  ·  7 years ago Reveal Comment
  ·  7 years ago Reveal Comment
  ·  7 years ago (edited)Reveal Comment

Do we know when this are going to be on the open market?

great share Tezos will be huge start.

I'm more inclined to believe that NEO (formally 'Antshares' ) will be the next Ethereum contender.

I've read the whitepaper. It is clearly structured and programmers can directly start coding in C#. The sample code contains a "hello world" example as well as a domain registration/unregistration service. Programmers who can use key-value-storages will also be able to work with this mechanism. All in all a great and simple solution.

And its not just C that you can programme in, you can programme in almost any popular language, C, Java, Python, VB etc, etc... SO this really does open-up blockchain technology to all programmers, which is brilliant.

Plus from an investors point of view, it's Chinese and they like to stick to their own homegrown products. 1.3 Billion people are a lot of people, add that to the ever increasing traction being gained from the west. Not to mention the excellent team behind the coin and the current partnerships plus the potential partnerships. It's building the regulation bridge with the Chinese Government which can only help with the price. Very positive stuff from NEO.

I wonder what the government will be doing if crypto currencies take over

They will build a wall and make cryptos pay for it.

Here true

They will create or adopt a crypto as well.

So then what will the government become? Some HUGE MEGA company that instead of owning brands and various accessories, they own all the land and we have to pay them to live in it.

I think they're too greedy to let it get to that level

Yeah, but who knows? governments had history of doing what ever they want.

Yesterday I was talking to a banker from one of the major banks in Switzerland. He wanted to know more about cryptocurrencies and start investing in them. ;)

I think, problem is not for the Govt., but for the banks, because people no more would need those banks. Everything would be in blockchains.

They are already trying to shut it all down. The congress just passed a law that says they can cease your crypto currency wallets (however that's done) at the border. More and more regulations are being proposed, many to 'fight terrorism' but we all know the real reason why.

They are already trying to shut it all down. The congress just passed a law that says they can cease your crypto currency wallets (however that's done) at the border. More and more regulations are being proposed, many to 'fight terrorism' but we all know the real reason why.

I had my doubts too, because of the EOS ICO being so big, I figured it was just a fluke and no other big contenders will come. Especially with EOS booming, then dropping. So when Tezos had their big ICO, I thought it would boom and flop but it is looking good, very solid.

Great post and share Joseph!

@joseph, i really believe in tezos! As i am from Switzerland near Zug i had the opportunity to speak with their Partners on the ICO, The MME Legal i they assured me that their product is very solid as we are speaking now!

What are your forecast about the future strategy? very interested to know from an expert like you! Normally i don't resteem to much but i think you post had great content and i am willing to share it with my followers. I hope you will appreciated!

Happy steeming,
Francesco

I only recently got into cryptos, still learning about them but your post made be want to invest in Tezos! :) will be investing soon. Thanks for the post! :D

I've invested as follow:

  • 30% bitcoins (because it's a robust and sure value)
  • 30% ethereum (waiting for the point where the volume of ethereum will get over bitcoins)
  • 15% neo (with the recent rebranding, it will take some value + it generates gas)
  • 15% iota (they recently conclude a partnership with satoshipay to use iota over bitcoins because there are no transactions fees)
  • 10% ion (because they build mobile games and reinvest 100% of the revenues)

Great things start from small beginnings. First smart contracts...next will be A.I. .

hopefully AI @bitcoinsky! I am looking forward to security and supply chain! I think disruption there could be massive! great comment!
Best
Francesco

Cheers for the dope info!

To add to this post I heard Kathleen Breitman is hopeful that Tezos will fill a niche that solves the problems with extant blockchains. Particularly by pushing software updates out to the network, therefore in theory avoiding the divisive feuding over upgrades that has wracked systems like Bitcoin

Anyway to invest in Tezos now that the ICO is over?

yes it's over, might be some OTC trading, but I do not recommend that at all, unless you know and trust the person.

I own over 600 altcoins and TEZOS are the only ICO I have ever followed. The project looks really promising

you know what i also go with the Tezos and you cant beleive its such a good step by me and i really happy that you also go with tezos now keep maintain your belief the next time is for the tezos and its outstanding , and i hope you will also share your experience with me and all of us about investing with tezos, keep going on with it , steemon

Another coin will probably take over ETH as ETH in the future will probably not be able to keep up with the thousands of transactions per second.
Let's see if EOS or Tezoz get to the top.
Thanks for sharing @joseph, I'll look more into it

I might Scoop some up when its released

Tezos seems intresting....

thanks thats true .keep it

bitcoin rules , price it up up up

How is Tezos going to compete with EOS?

The tech is somewhat different, Tezos platform will be released way before EOS platform is released. How will they compete is not a big thing, which one will be able to take a bigger bite of the ETH chain is the real question.

EOS is supposed to launch next Fall I believe (2018), so I'm not sure how much sooner Tezos would be planning to launch before? Seems like fundamentals would need to be really good. EOS is promising a lot, so if they can deliver it sounds like a huge dominating block chain.

Dang it, you told me to invest in EOS before it came out, we do not all sleep on mounds of crypto like you do LOL!

OK, so I am saving this to read when I get home tonite, I did scan it and am putting this back up on a tab for later.

Have a good nite my friend. Be well.

My 3000 follower post went up today if you have time to drop by. That might be my Tezos money LOL

Actually I did my Tezos research while on vacation, I usually do not change my mind about a project So late in the game, but I was pulled in by some chatter on slack and wechat. I actually did some reading into the whitepaper on this one, not the best thing to be doing on vacation, but did not want to miss something big.

wow cant belive thanks for sharing

Great post! Invested a little more than 1 ETH with 15% bonus into the Tezos ICO. Excited for the future of this project.

That logo thou O.o

Thanks for the info Joseph, been wondering for days if I should get some Tezos.

A great post!
Please guide me so I can be great like you @joseph

Sure, spending your life savings on TEZOS might have been the best thing you’ve EVER done…
But you made the bought XTZ, you did it with one thing in mind… SHOOTING FOR THE MOON.
XTZ has that 10X factor, which you will have to when you wear this shirt in public. You will get the attention of others HODLing XTZ, and their girlfriends.
This comfy 100% cotton shirt can be shipped out in a few days.
Check it now - https://shirtspice.com/collections/cryptocurrency-t-shirts/products/tesos-boom-to-the-moon-shirt

What is your opinion for EOS?

Good to see I wasn't the only one to make a last minute decision on Tezos.

Only, being a small fry, my investment isn't so hefty.

Tezos have taken a lot of strength, hopefully see what happens with the new projects that promises, great information, best regards

I following you

I'm newer to cryptocurrency and this is the first post I have read about tezos. I am definitely interested in the coins that look to replace ethereum, although as others before me have stated there is no reason all of these coins can't play their own role within the marketplace.

omg, each day another contender... sometimes I wonder... at least I know why I don't understand /// seeming chaos ... peace

When will they stop creating them and which ones will stick.

bought 100 USD worth of Tezos so i guess i got a little slither of it lol

@joseph, thanks for this information. this is my first time hearing about this and it is interesting knowing that is it a great contender. but my question is, depending on who is selling the idea to you, everybody says a coin is a great contender in over 117 in the market at the moment, beyond this article and video, what confidence do you have in it as a contender?

The owners made out like bandits in the ICO.

I also invested in tezos !! could you please tell me what next !! when it will come in exchanges !! i am not much aware about that !!

Follow me..
And..
please upvote my essay..
😊😊

thanks @joseph for the information

Believe it or not! There are many great products out there that promise to kill ETH. But great product cannot be successful without great marketing strategy! EOS has potential and it also has great team behind it! Ao I believe in EOS. It will have a bright future!

Well that sounds very interesting 👌

Thanks for this valuable sharing

Nice logo ,,i hope the project will take off , my first time hearing about this one thank you for sharing

I thought eos was the ethereum killer? Great article thanks mike

Tezos 의 ICO대하여 예측마켓이라고 들었습니다.
자세한 설명이 있다면 보여주세요.

Thanx for sharing. One of those hundreds competitors, and it's own programming code of course. Looks interesting. All on the blockchain but better build blokchain agnostic.

Agreed, the market cap is soooo tiny compared to what it will be.. it's hard to picture but all of cryptos together is only about bill gates worth... as this number skyrockets there will be room for a number of successful coins... but not hundreds.. cheers!

All blockchain based digital currencies will not work since the block will be piled up sooner or later provided enough people participate in the transaction. To give a perspective in real world transactions, there are over 600 million PCS(Payment, Clearing, Settlement) transactions per day in USA alone.

Tezos has made it into two of my posts due to certain features in their ico offering and the benefits that it adds to crypto's intrinsic value. Everyone loves to hate the top dog and having raised the most money of any ico in history, this one is getting a lot of hate-but IMHO there is a lot to be excited about in this project...but let's let them finish the project before judging : ). Upvoted!

Tezos is a wonderful project...i missed ICo but am buying them at hitbtc.com right now ....

Tezos is not on exchange yet. What you are buying is IOU's, those are not actual tokens and the price on IOU is usually inflated and not accurate. Be careful.

new crypto is on the rise... better check this out...

Thanks for the information.
upvoted

Fantastic article..

I agree that Tezos will be a good contender for Ethereum and it will be an interesting journey for them, having learnt from all the mistakes of Ethereum. I'm going to predict a good place in the market for Tezos somewhere close to where Ripple sits today within their first 6 months of being on the exchanges. I could be wrong, but I have a positive vibe about Tezos.

There are some many contenders looking to be the next etherium that at this point it all comes down to investor confidence.

On that measure I put my faith in EOS. Dan has the track record with Bitshares and Steem and it seems to be getting a lot of attention already.

Congratulations @joseph!
Your post was mentioned in the hit parade in the following categories:

  • Upvotes - Ranked 4 with 508 upvotes
  • Comments - Ranked 7 with 140 comments
  • Pending payout - Ranked 5 with $ 422,93

greaaat feed like always @joseph .. i will be happy to share with steemians the best 6 steps to invest in cryptocurrencies https://steemit.com/cryptocurrencies/@upbuzz/the-most-successful-6-steps-to-invest-in-digital-currencies

On daily basis we are seeing some new currencies in the market, I am wondering about their future, whether they will stay or not ????

It's a big question before the whole crypto currency investors.

So many coins!

Nice post @joseph

hello spanish @maite

Very interesting thanks @joseph.

I'm not so sure about QTum. And what about antshares?

Is Tezos available on exchanges?

What happened with the funds Tezos received ? Nobody can trade anything for their contribution ??? With EOS at least its tradeable.

ETH, EOS and TEZOS have a promising future . Am sure EOS and TEZOS will grow just as ETH grew. The big question is which one will carry the day. If I had extra cash I would hold a few of each long term. Thanks for sharing :)

I have heard good things about Tezos. My first impulse is to say that do we really need yet another smart contract platform? My second impulse says that Coke and Pepsi (and Doctor Pepper) can survive cheek-by-jowl so why not.

great work! that was very informative.

I have just upvoted your all post. Please follow me https://steemit.com/@pirbhu

A new possible crypto investment is on the horizon, wow! I had never heard of Tezos nor Eos up until now. Are these Greek or Spanish start-ups? I'll have to look into these later. Many thanks for the heads up about the new platforms Joseph. Upvoted. ;-)

that's good news :)
I am glad that I invested some as well ;)

very cool comments ...lot of info and thoughts being shared... this is why I like reading and researching on Steemit it now. Real folk s, no trolls ...

Thank for this , will sure go get some for holding

Rather than agree or disagree consider this: Breitman is French. OCaml is more or less an opaque programming language that was invented by the French government via INRIA. The Tezos dev team is also heavily stacked with French developers, most (70%) were or are currently employed at the French IT think tank INRIA.

Check out this post by Breitman here.

Comical when considering the fact that at the time he wrote it, his net worth was at least $10M.

Then what's really going on with Tezos and this heavy connection to INRIA and the French government? More to come....

What makes OCaml an opaque language?

It's a functional language and for that regard it is much more transparent than C++. In addition, it is open source: https://github.com/ocaml/ocaml

I don't know what you're implying by "OCaml is invented by French government".

  ·  7 years ago (edited)

They are a band of dudes who want to repaint the world in OCaml. It makes sense they try to make people working on the Coq proof assistant (there is a very strong relation with the ML and the OCaml world), now that they have some money: it is not easy to find this kind of guys. For instance, with Coq after several years (more or less 10 years I think) Leroy and his team have been able to build/prove a "small" C compiler down to the generated assembly code (http://gallium.inria.fr/~xleroy/bibrefs/Leroy-compcert-06.html), this is a really huge effort to make each algorithm and all the proofs around it .
In my humble opinion, I think the project is too complex, too ambitious, even if it will bring interesting stuff. I prefer the pragmatism around EOS built around production proven code, and its "simplicity": it is even more important that any developer using EOS fully understands the mechanic under the hood.

Correctness is a crucial feature for smart contracts. When there are high stakes, you want to be certain that your application is proved to follow its specification.

I do agree fully on correctness.
But, I think it is a race against the clock with 12/18 months time frame to catch on, even if ICOs are reaching crazy numbers if one or two of your main competitors already took a major part of the market, it will be very tough if you do not have a few magic features.

When thousands of dollars, if not million, worth of tokens/contracts are compromised, people have a better product to go. I agree with the time frame, but for this market being wrong will be costly.

Ethereum has many competitors, but I hope Tezos will be successful project :) There is great potential for sure :)

Another ICO another handful of soon to be millionaires!

Donde encuentro mas información?

If Tezos if attempting to outpace Ethereum, I find it interesting how they have invested some of their ICO funds in Ethereum... I don't claim to be an expert on the subject but according to what I've read, the whole uncapped ICO and advertising situation seems just like a quick profit scheme for the Breitmans...

i wouldn/t be so sure about it, ppl be cautious, do your own research and decide!

Tezos has been massively hyped probably more so than any other Blockchain 2.0 platform since Eth. Two other platforms to take a look at are BOSCoin and Aeternity, both appear to solve the governance problems of eth/btc and more straight forward validation of smart contracts. We'll see what happens when Tezos mines it's genesis block.

Awesome...keep posting like this..!!