Proof of Track 2023-07-22

msfew

Jul 23, 2023

A Friendly Introduction to Zero Knowledge

Amazing introduction piece on ZK and its applications.

risc0-nova

Replace STARK with Nova folding scheme for RISC0 vm, by member of Ethereum PSE.

zkBrainfuck

A Brainfuck zkVM with Circom, by member of Firstbatch.

Proof Recursion in Practical ZKML

Folding in ZKML and the outlook of Recursive models and Meta-prover to chain proofs. Cathie also has another talk on The immediate next steps of ZKML.

🔍 Ethereum

Three pieces by polynya on Decentralization

Decentralization from first principles, Rollup sequencer decentralization: a revisit, Updated timeline expectations for rollups.

The current blockchain auditing landscape

Based on factors of per bug, flat rate and closed partication.

How do contract creation and constructors work in the EVM?

A simple explainer of initcode, contract bytecode, and constructor code in the context of EVM smart contract deployment.

Ethereum Formal Verification

Overview of the formal verification projects in the Ethereum ecosystem.

Smart contracts structure

TLDR, Polygon PoS really complicated, Mantle really complicated, and Polygon zkEVM is pretty good.

Discussion on why UX in Ethereum suck

Cause builder care about security and privacy more than users, and the network is fragmented in its current state.

🔍 Layer2

The Semantics of Rollup Finality

Finally a piece of work that clearly and completely defines the semantics of rollup finality... Rollup terms are always, always, always confusing...

If post validity proof once a year...

if a smart contract zk rollup posts a validity proof to the L1 once a year, is it a smart contract rollup or is it actually a sovereign rollup? if a sovereign rollup posts data to the DA layer once a year, is it a sovereign rollup or is it actually a L1? The answer seems to be impossible in reality, because withdrawals from users require proof to be posted on L1 and data posted on DA layer.

Optimization function changes when deploy to L2

Gakonst is asking about the difference on the networks and DAs for smart contract. Reminds me of llamazip which optimize for Optimism for a Uniswap router.

zkSync Boojum

zkSync shifts to a STARK+SNARK based architecture. It borrows some dope ideas from Plonky2. The trend is clear, STARK+SNARK, and STARK is now not binded to StarkWare.

Decentralized Sequencer or Fully Functional Escape Hatch on L2

People like escape hatch more, and that's what almost all L2s are doing. Decentralized sequencer is still a good idea for other benefits like MEV, but this still needs more exploration, cause MEV, ..., always a hard problem.

Optimistic rollups for high throughput apps

OP rollups are better for high throughput apps (gaming), and zk rollups are better for high value apps (DeFi).

Warcraft: Keystone Edition

An onchain Warcraft minigame built using Keystone.

DA challenge for L2 and L1

c-node talks about DA challenge for L2s, since DA challenges for an L1 don't make much sense.

🔍 DeFi

Intents generalize the concept of a limit order

A blockchain is not just an exchange. Intents generalize the concept of a limit order to request the desired state of any generic state machine, not just “placing orders” on exchanges. Intent becomes another term with different definitions. Now we also have project works on solely intent.

v4-template

A template for Uniswap v4 hooks development.

Meet UniswapX

Read on your own for now, cause I may write a thread on that... 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15

🔍 MEV

A list of repos of people writing strategies in Artemis

Sudoswap <> Opensea strategy (written in Huff!), keeper bot for FydeTreasury, uniswapx-artemis...

🔍 Web

Untold story about Google Maps

I was interning at Google Maps last year and that's really a cool experience. As a Gen Z, I can't imagine how people live without Google Maps (or any other digital maps). For this topic, also check out stories from the first design of Google Maps, and discussion on Apple Maps and Google Maps.

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.