Sanity checks are usually pretty easy to do, but if you can’t do them, then this strategy just won’t work.
I concede that Bitcoin is pretty easy to understand and sanity check (merkle trees aren’t that hard to wrap your head around ― I would have invested in Bitcoin in 2012 when I heard about it, but I was in high school and had no disposable income). But sanity checking Tezos is much harder:
It turns out that a silver bullet for chain validation is right on the horizon and under active research: recursive SNARKs. SNARKs, which stands for succinct non-interactive zero-knowledge proofs of knowledge are the technology used in Zcash for protecting the privacy of transactions (if you’re already objecting that SNARKs require a trusted setup, please bear with us, we have good news for you).
… This very counter intuitive possibility is a consequence of the PCP theorem. Rather than try to engage in economic “bets” that the transaction has been properly validated we can obtain true cryptographic assurance.
I don’t know enough to sanity check their scaling strategy or what makes Tezos unique in this respect. Even Ethereum itself is experimenting with zk-SNARKS and Vitalik Buterin wrote a series of articles explaning SNARKS on his medium blog which starts off with an article that says:
You’re not expected to understand everything here the first time you read it, or even the tenth time; this stuff is genuinely hard. But hopefully this article will give you at least a bit of an idea as to what is going on under the hood.
So far Tezos’ Unique Selling Point seems to be that they’ve used OCaml to implement some way of doing formal verification on smart contracts. But this alone seems like insufficient evidence to conclude that Tezos is shiny. To make matters worse, there seems to be some internal conflict between the co-founders of Tezos.
I don’t know how I could possibly successfully sanity check Tezos without understanding SNARKS and reading their whitepaper (both of which require non-trivial prerequisites).
Perhaps you have the background or access to people who have the background to evaluate Tezos properly. But I certainly do not and I would argue the cost is high enough.
To clarify, I’m not arguing that Tezos is shiny right now. It was shiny during ICO, and now it’s possible I wouldn’t buy it.
But OCaml was certainly one of the big factors that lept at me. It signalled that they were serious about writing code that could be proven to be correct. (This is in contrast to Ethereum’s Solidity.) Basically: 1) I looked at what they were promising to do, and it seemed to have enough additional good things beyond Ethereum, 2) nobody I saw was disputing their tech, so I didn’t have to understand it in detail, just enough to verify that it seemed innovative, and 3) they had a credible team (this was before the conflict). To me that was sufficient at the time, given that much much shittier ICOs were making money hand over first.
I concede that Bitcoin is pretty easy to understand and sanity check (merkle trees aren’t that hard to wrap your head around ― I would have invested in Bitcoin in 2012 when I heard about it, but I was in high school and had no disposable income). But sanity checking Tezos is much harder:
― Scaling Tezos
I don’t know enough to sanity check their scaling strategy or what makes Tezos unique in this respect. Even Ethereum itself is experimenting with zk-SNARKS and Vitalik Buterin wrote a series of articles explaning SNARKS on his medium blog which starts off with an article that says:
― Exploring Elliptic Curve Pairings
So far Tezos’ Unique Selling Point seems to be that they’ve used OCaml to implement some way of doing formal verification on smart contracts. But this alone seems like insufficient evidence to conclude that Tezos is shiny. To make matters worse, there seems to be some internal conflict between the co-founders of Tezos.
I don’t know how I could possibly successfully sanity check Tezos without understanding SNARKS and reading their whitepaper (both of which require non-trivial prerequisites).
Perhaps you have the background or access to people who have the background to evaluate Tezos properly. But I certainly do not and I would argue the cost is high enough.
To clarify, I’m not arguing that Tezos is shiny right now. It was shiny during ICO, and now it’s possible I wouldn’t buy it.
But OCaml was certainly one of the big factors that lept at me. It signalled that they were serious about writing code that could be proven to be correct. (This is in contrast to Ethereum’s Solidity.) Basically: 1) I looked at what they were promising to do, and it seemed to have enough additional good things beyond Ethereum, 2) nobody I saw was disputing their tech, so I didn’t have to understand it in detail, just enough to verify that it seemed innovative, and 3) they had a credible team (this was before the conflict). To me that was sufficient at the time, given that much much shittier ICOs were making money hand over first.