Proof of Track 2023-12-06

Dec 06, 2023

Celestia CIP-5

I co-authored a CIP with my friends at Hyper Oracle. CIP-5 is the first CIP proposed and accepted by community members. See also discussion post.

🔍 🔑 ZK & Cryptography

Solidity Circuits

Write circuits in Solidity (using Noir as a backend). However, we can just use zkEVM.

Rely on zkRollups social reputation

Since we don't have something like Etherscan for zk circuits, we are relying on zkRollups' social reputation. This can be fixed by formal verification, but we are still trusting the code.

mopro

Making client-side proving on mobile simple.

🔍 ⛓️ Ethereum & Blockchains

The Crypto Compendium 2023

By legal counsel at Ethereum foundation.

Revisit "increase contract codesize limit"

The limit is introduced in EIP-170 for DDoS protection, but things changed. Mudit has been pushing it since 2018. See also shadow.xyz that removes this limit, contract immutability, and gas fee for testing (i noticed them from 2022-12, and now they got invested by Paradigm i think). Also, Polygon is having new proposal to increase it to 32KB. And meme.

Don't overload Ethereum Consensus vs. overload Ethereum Consensus

Dan Robinson thinks Justin Drake's proposal on "based x" is overloading Ethereum consensus.

What’s a mempool fee?

Answer: minimum mempool fee = lowest amt of gas commited for it to not be dropped altogether from the mempool = drop some tx instead of wasting RAM. Related, see also: get rid of the pending block.

Idea for data-sharding / future ethereum hardforks

"Instead of trying to shoe-horn all new changes and features into the same state why don't we "start fresh" at every hardfork but instead of tossing the old version, we move it to be an enshrined L2 on the new chain."

The 4 dominant flavors of AI + Blockchain

So 1. AI on blockchain, 2. Blockchain on AI, 3. Profit from AI with blockchain, 4. App using both.

Curve's price oracles' extremely strange behavior

"TLDR: An attacker only needs a single extra block in most pools to manipulate the Curve price_oracle 10x-500x higher. This manipulation can be hidden such that there is no possible way to look at the pool and know that it is being manipulated".

grug-wallet

A web3 wallet for Grug, by Grug. Made after this tweet.

EIP-3074 meme growing

eip-3074-foundry; reth implemented it; EIP-3074 enables gradual transition; EIP-3074 is the real MVP for intents and account abstraction; The world if EIP-3074 was accepted; plz keep the meme alive; This is why @zksync uses state diffs; also ERC4337's issue

Infrastructural Frontiers for Multi-Rollup World

A comprehensive piece on the different infras for multi-rollup world.

Shadow events are the holy grail of indexing

There's a trend of stop using event in contract development. Pro: "there is actually computation done on the logs, which makes them somewhat costly" and Uniswap v3 users have spent over $20m on events, adding significant overhead when interacting with already expensive onchain primitives and Event logging has cumulatively cost Ethereum users tens of millions in unnecessary gas costs and Save $700M+ for your users. Cons: Not emitting events is not "optimizing" it is a huge step backwards and it'll be impossible for others to run our adapters and verify the numbers.

🔍 🧱 Layer2 & Modular

List of well capitalized VC projects who are currently in the top 100 for OP public goods voting

Projects raised millions but still want to get public funding as "public goods".

No need to use PBS for Shared Sequencing

"I get you want -save node operators from keeping all RU states to know if Tx fee is valid -easy integration w/ new RU".

Will rollups be congested? Is DA the real bottleneck to scaling blockchains? What is enabled by new DA layers that claim 10-100x throughput?

A preliminary exploration to these questions in our rollup x DA model.

Ethereum fallback for OP Stack x Celestia

Fallback to use Ethereum as DA if Celestia not available. This makes sure that user funds do not get stuck.

does anyone fully understand the threat model for L3s?

I still don't know the answer after reading it.. See also L3 understood as a rollup with canonical bridge to its host L2.

Tracking time to finality of L2 transactions

Amazing piece on the time to finality of L2 Rollup by L2Beat.

Is a Rollup Just a Multisig?

This post analyzes the multisig of different rollups, and concludes that "rollups are not just multisigs".

🔍 🔧 Dev & Toolings

cex_evms.addresses

A Dune spell containing all 1.7k addresses (243 CEXs).

Smart contracts are hardware not software

"If you approach Smart Contract development with a “Move Fast and Break Things” mindset, you’re already doomed. This is the first mistake engineers make when they come into Web3 IMO. Approach developing Smart Contracts like Intel approaches chip manufacturing."

🔍 🤖 MEV

MEV Supply Chain: Trust but Verify

Conclusion is "the top five builders have not antagonistically ordered private transactions". See also related research about private mempool by danning.eth from Flashbots.

🔍 🕸️ Web

Optical illusions with diffusion models

Check out for more gifs.

A Comparative Analysis of Decentralized Social Protocols

Has a sweet table of comparison. See summary here.

Thanks for reading!

I'm not a financial advisor. Proof Of Track is for education and information purposes only. DYOR.

Subscribe Proof Of Track, follow me at @msfew_eth, or connect with me at sny.is.