ZK Fundamentals:

What is proof aggregation, recursion, and composition? Proof Aggregation, Recursion, and Composition are 3 distinct concepts that are often confused.

Each one involves combining multiple zk proofs together to achieve the best performance for zk applications.

ZK Fundamentals:

WTF are Arithmetic Circuits? ZK proofs involve proving knowledge of some input that satisfies a polynomial equation.

A polynomial function is a function that takes a form like:

Sui will have some of the fastest applications in Web3.

Here’s why 👇🧵 There’s been a lot of excitement about @Mysten_Labs.

But many are still unaware of one of its most important features: single-writer applications

In this thread, we break down how single-writer apps work and what they enable.

1/n The Aptos Blockchain

Understanding the Layer 1 for Everyone:

🧵👇 2/n In this thread I'll cover Aptos's:

- Background
- Tech
- Roadmap

If you believe in Web3 adoption, then you believe smart contracts will store increasingly large amounts of capital.

In the current EVM paradigm, that means we'll likely see exploits in the billions of dollars in the future. If we want to prevent chaos in DeFi, there are 2 paths forward:

1/n The Sui Blockchain

What you need to know about the next major L1:

🧵👇 2/n In this thread I'll give an overview of Sui's:
- Tech
- Tokenomics
- Team

What I've Been Reading #2.

Some recommendations for this week:

🧵👇 1. AI-art isn't art

DALL-E 2 is awesome! But is it actually producing "art"? Erik argues that it isn't, and that a world filled with AI art, however beautiful, would be eerie.

erikhoel.substack.com/p/ai-art-isnt-…

Haven't looked at Canto's chain in detail but interesting to think about whether DeFi primitives on Ethereum will become public infrastructure.

Quick 🧵:

mirror.xyz/0x4CeD9817cAD8… Right now, if someone deploys a Uniswap v3 fork as a non-profit it won't win because of Uniswap's brand, integrations, and capital inertia.

Also, it's hard to see how Ethereum's DeFi primitives become public infrastructure when the rate of innovation is high.

A great piece on challenging the fat protocol thesis by @chiajy2000.

I'll add one argument for high L1 value capture 🧵:

messyproblems.substack.com/p/cracks-in-th… From the article: "L2s are helpful in helping to solve some of the key constraints of ETH, and retain transaction volume on ETH. However, as L2s roll-up and consolidate a larger number of transactions into a single L1 transaction, it will reduce the amount of ETH that is...

1/n The Move Programming Language

What it is and why it’s the future of smart contracts:

🧵👇 2/n Move is a new programming language originally designed at @Meta for its @DiemAssociation project.

But why do we need another programming language?

My top 10 articles of the week:

A 🧵 on what I've been reading: 1. Notes on "Taste"

What it is and how to cultivate it.

are.na/blog/notes-on-…

Ethereum has shifted to a Rollup-centric Roadmap. But what comes after Rollups?

1. Validiums
2. Volitions
3. Adamantiums

A 🧵on blockchain scalability. Rollups like @optimismPBC and @arbitrum scale blockchains by moving computation off chain, and using Ethereum for settlement and data availability.

1/n Privacy protocols haven't taken off, but they will. A 🧵 on why I'm bullish on crypto privacy adoption.

medium.com/@tracecrypto1/… 2/n Privacy coins have significantly underperformed the broader market in both price and adoption. But their failure to generate traction doesn't mean privacy protocols won't succeed in the long-term. So what's wrong with existing privacy protocols, and what's going to change?