GM 👋
This is the Smoothie Newsletter.
Heard Token2049 this year was great!
Last year felt like it was too money focused (how many more market makers do we need?)
I heard that there were more builders/developers this year.
I’m also seeing activity from people who have been quietly building.
Excited to see progress in the upcoming months 👀
ZK-proof systems first appeared in a 1985 whitepaper.
Assumed to be Satoshi Nakamoto, the Bitcoin creator, Hal Finney is discussing the idea of performing zero-knowledge proof on a SHA-1 hash to be inefficient and impractical.
1) Zero Knowledge “Arguments”, where the prover's privacy is protected unconditionally
2) Zero Knowledge “Proofs”, where the prover is unconditionally bound
These are more efficient and practical, according to him.
Since then, more work has been done on these lines.
1) zkVMs (zero-knowledge virtual machines)
2) SNARKs (Succinct Non-Interactive Argument of Knowledge).
They both allow participants to prove that their transactions are legitimate without revealing certain details of the transactions.
They are both scalable and offer privacy benefits.
However, according to a16z research partner, Justin Thaler, existing SNARK technology can be improved significantly.
“Current SNARK implementations are sufficiently complicated, they’re almost certainly full of bugs, which could make them useless security-wise,” Thaler said.
“We’re talking 10s, 1000s of lines of code, very difficult to understand, and it’s very, very hard to imagine there is not a single bug in these code bases.”
Technologies can take decades to realize.
It’s good to remember how far we’ve come since the introduction of zk-proofs in 1985.
Hopefully, in the near future, the idea of a decentralized economy with 100% privacy of transactions will be possible.
If you’re not sure why decentralization and privacy are important, check this.
What a time to be in this industry!
This is a special newsletter. Every week, we deconstruct the best crypto trends and share those insights with you.