Proof of Track 2023-08-19

Aug 19, 2023

notes on folding/accumulation schemes

How to Build a SNARK that Is Out of This World.

More discussion on Lasso and Jolt

Fede's random summary of Jolt. Also, a quick tl;dr thread. And Mina's discussion.

Decentralized and permissionless proving design (Twitter spaces wrap-up)

Definitions and approaches of decentralized proving, provers business and economics, and secondary proof markets and delegation.

Latest set of attacks on TSS implementations

TL;DR: the first attack exploits ambiguous encoding of inputs to a hash function; the second exploits deviations from published ZK proofs (or using security parameters that are too small).

🔍 Ethereum

Can you pass the Rekt test?

A simple test for profiling the security of blockchain teams.

The Open Problems of Onchain Games

The state of Paradigm's thinking on "Why put games on a blockchain?".

EIPs Insights

A new front end with more insights for EIPs.

Security of EigenDA

donnoh_eth asked if 100% of Ethereum’s stake is restaked into EigenDA, does EigenDA become as secure as Ethereum’s DA? Most people think no, due to the existence of smart contract risk and testing.

Running Wallet Test Framework against twelve semi-randomly selected wallets

Brave and Taho gets full score, and MetaMask gets ~8/10.

🔍 Layer2

The hottest dapp on Base right now, buy and sell friend tokens. Someone from Uniswap dropped a meme token called FrensTech then rugged (?), and get fired. Anish made a pro interface called friendmex for friend tech. And friendtech got invested by Paradigm. And wrapped friends. And another frontend realfriend.tech.

Where should rollup builder start

c-node wishes rollup builders never started with sequencers, and went straight to based. BTW more researches on decentralized sequencer.

Rollups are Real — Rollup Economics 2.0

A version 2 for rollup economics with cases like decentralized sequencer and L3.

The Hidden Costs of Modular Systems

Question the assumption of modular systems from first principles.

what would you intuitively expect `block.number` to return in an L2 (inside the VM)?

Optimism: L2 block number, zkSync: the number of L1 batch, Arbitrum, value close to the L1 block number.

🔍 DeFi

Talk on UniswapX with only Memes

Hyper Fragmented Liquidity, Fully Adversarial Mempool, Wat Do? And why Uniswap v4 and UniswapX are complementary.

🔍 Cosmos

ZK-Proving DAS

zk-prove DAS for Celestia by Electron Labs. Previous idea (ZK-based Improvements to Celestia) from Nick White.

🔍 Web

Solving CAPTCHAs

Humans now slower and worse at solving CAPTCHAs than ML-powered bots.

Some masterpieces from the weird and wonderful world of Communist-era movie posters

All looks like AI generated.

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.

Proof of Track 2023-08-19

🔍 ZK