Proof of Track 2023-11-28

Nov 28, 2023

New developments on Lasso+Jolt

See also a technical FAQ on Lasso, Jolt, and recent advancements in SNARK design. Key takes: 50,000-fold slowdown to native execution of a RISC-V program once Jolt is re-implemented to use D&P’s commitments; Nova is already faster than the current generation of hashing-based SNARKs on some benchmarks; SNARKs using D&P’s commitment scheme may not be combined with folding schemes like Nova.

An Opinionated Overview of ZK Tooling and Proof Systems Right Now

Opinionated but very comprehensive.

Introduction to FHE

What is FHE, how does FHE work, how is it connected to ZK and MPC, what are the FHE use cases in and outside of the blockchain, etc.

On Chain Auctions but Private

A model for shared private state; and FHE with Aztec. See also discussion.

🔍 ⛓️ Ethereum & Blockchains

I need to pay someone in an asset that tracks the price of corn. How do I do that onchain

Use something like Hyper Oracle with offchain source (soon), or UMA or TLSNotary.

Who is building the L2Beat of web3 wallets?

proto.eth is researching wallets, they're all bad.

🔍 🧱 Layer2 & Modular

"Blast is so refreshing!"

Blast's marketing success was widely discussed at CT, not only on Blast but also decentralization of L2. Discussions: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16.

the widespread consensus in 2019 was that optimistic rollups and generalized fraud proofs would be faster

On why ZK is moving faster than OP. "Generalized fraud proofs are actually difficult and complex". See also security council and frault proof.

Rollup Decentralisation Analysis Framework

A thought framework for analysis of the decentralisation efforts of new and existing rollups.

Blob sharing protocol

Allows smaller L2s and data producers to split blob space with minimal overhead.

Wild that the largest Ethereum wallet doesn't accurately show L2 gas fees

"Instead, it just says it will cost $0.00". "The reason is that while the L2 gas is indeed tiny, you also have to pay an L1 gas fee, which makes up the vast majority of the cost".

The problem with the Sequencer discussion around centralised / committee / decentralized / based is the misaligned focus

"The Sequencer Setup itself is not the first thing you should look at.... You really need to define the ideal transaction ordering policy, what properties you care about, and then work backwards to see which setup works for you".

🔍 🏦 DeFi & AMM & TradeFi

Uniswap X Volume has surpassed $1b since the launch

"Over 15 fillers are active today and winning volume, and more are onboarding - 4 new filler contracts were seen in the past week; but the top 3 fillers are filling up to ~90% volume."

🔍 🔧 Dev & Toolings

What’s the easiest way to find reorgs?

Answers: 1. Subscribe to new blocks and create a map with the block number. If the key exists it’s a reorg; 2. Subscribe or poll latest/byNumber and if the parent hash doesn't match the previous hash it's a reorg. Then invalidate/refetch backwards until the chain of parent hashes is valid; 3. Compare RPC block numbers and headers seemed like a good approach.

findoor

A simple project aiming to help you mine for addresses with special criteria.

EVM Hound

A Minimalistic Rust library to extract all potential function selectors from EVM bytecode without source code.

🔍 🛸 Cosmos

Building Celestia Mirror

Can be a gud hackathon project.

so now it's clear Cosmos is ditching the appchain thesis in favor of multi-app chains (case-in-point Osmosis)

"can we just skip the whole app-rollup arc? or do we gotta suffer through this again?"

🔍 🕸️ Web

the story of Rimac

"About 15 years ago, a Croatian dude appeared on a DIY electric car forum I frequented. Like most people who showed up there, he wanted to convert an EV but didn’t know how."...

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.