Proof of Track 2024-03-16

msfew

Mar 17, 2024

NYU Blockchain Lab: Breakdown of Infrastructure From Research Perspective

My first talk at ETHDenver!

🔍 🔑 ZK & Cryptography

Remainder - world's most powerful ZKML prover

200x proving overhead on decision forest inference.

an overview of the main zk-rollups in the space

categorises these rollups and compares proof systems, VMs, and EVM compatibility, highlighting notable chains built with their respective zk stacks.

If EVM = HTTP ZK = HTTPS

HTTPS (SSL) provided integrity of communication, paving the path for online banking, SaaS, remote work. ZK provides integrity of computation, enabling interoperability at infinite scale.

You Don't Need a Ph.D. to Build ZK-Enabled Apps

Some zk applications for mass adoption and consumer use cases.

stwo

StarkNet's new prover, with M31 field, Improved Cairo VM, Circle STARK, GKR lookup, Mixed-degree trace.

TEEs are a crutch for weak people who don’t want to solve hard problems

Gud discussion on TEEs and ZK. One good point in here is "if we build with TEE, we could have real applications".

WARPfold - Wrongfield ARithmetic for Protostar folding

an approach to non-native arithmetic in folding; in the paper it is discussed for Protostar, but it also works for Hypernova in the same way.

🔍 🧠 AI

opML: Optimistic Machine Learning on Blockchain

A production-grade machine learning framework for blockchain.

opp/ai: Optimistic Privacy-Preserving AI

Combines zkML + opML with zkML's privacy and opML's scalability. See thread.

Introducing IMO: Initial Model Offering

Tokenizing AI Models as ERC-20 with Onchain AI Oracle and Revenue Sharing token. Also ETHDenver talk.

LLM Powered Autonomous Agents

"it can be framed as a powerful general problem solver."

🔍 ⛓️ Ethereum & Blockchains

In support of simple inclusion lists

"I would prefer implementing an optional protocol that does not need a hard-fork and rolling it out as soon as possible over adding a complicated scheme under consensus were we don’t know whether Relays and Block builders will follow it and where having multiple consecutive blocks gives bigger stakers and pools an advantage over smaller operations." See also: Inclusion List (EIP-7547) End to End Workflow.

The more the less censored: Introducing committee-enforced inclusion sets (COMIS) on Ethereum

inclusion lists: A committee of multiple proposers participate in the construction of an inclusion set (IS) of transactions to force include in the subsequent block.

to know how much ETH is "really" staked on ethereum

It's not simply TVL. "we have to check withdrawal addresses to see how many are using eigenpods, and then subtract however much ETH has been "slashed" at that layer."

Betting On 7 Deadly Sins

SocialFi: 100x-ing on pride, greed, wrath, envy, lust, gluttony, and sloth.

ODIN

bonded service on ethereum via EigenLayer that works with block builders to pause dapps before a malicious transaction is executed by simulating protocol invariants and economic incentives.

🔍 🧱 Layer2 & Modular

new policy for Bitcoin Magazine regarding their Bitcoin L2 coverage

TLDR: 1/ L2 cannot have its own token; 2/ Must be able to bridge back to L1; 3/ Cannot function without Bitcoin; 4/ Meta-protocols are ok (Ordinals, BRC-20).

the "true" way to build was to enable "permissionless innovation" at L2s/L3s?

Vitalik said it may require L2 to be simpler for fault tolerance. L1s should be simple.

What exactly is Arweave AO?

It's all sovereign rollups and storage based computing paradigm!

Booster rollups design

"Imagine deploying your dapp once and having it scaled automatically across all L2s. If extra blockspace is needed, more booster rollups can be added without any additional setup work".

Minimal KeyStore Rollup spec

A spec for Vitalik's Dedicated minimal rollup for keystores.

Contract Deployment Approaches in Layer-2 Solutions

transaction compressed based rollup => send tx to zero address for deploying; state-diff based rollup => Declare on L1 => Deploy on L2. More details here.

Superchain Savings Estimator

Find out how much cheaper your recent Superchain transactions will be once EIP-4844 arrives (already arrived!).

Nobody knows what post-4844 L2 fees will be like.

CT speculates on: - L1 blobgas market/volatility; - L1 priority fee extraction; - L2 DA submit rate....

🔍 🏦 DeFi & AMM & TradeFi

The risks of LRTs

"LRTs are risky. There is no free lunch; risk accompanies the additional rewards for holding LRTs."

A proposal that pushes @Uniswap's infamous “Fee Switch” closer to reality has once again put CT into a frenzy

This time is different cause real stuff was built.

When people talk about @Uniswap there are 3 different entities they might be referring to

Uniswap Labs (App, X, Wallet), Uniswap DAO, Uniswap Foundation.

🔍 🤖 MEV

Ethernow

What's happening on Ethereum right now? Cool new concept of Blob Contention.

Reconsidering the market structure of PBS

"we need to precise which market we’re interested in: the market allocating proposing rights, or the market allocating building rights?"

Why aren't transactions landing on chain?

"You can look at the tool used to monitor public transactions; it should identify transactions that should be included in a block but are not. It’s not 100% reliable, but it throws up some exciting blocks to explore. Either way more resarch is required."

So Cowswap single-handedly solved LVR & MEV and nobody is talking about it?

"LVR - yeah, if you're fine with a centralized auction; MEV - not really, since solvers are whitelisted and are trusted with pre-trade transparency".

🔍 🔧 Dev & Toolings

Upgradeable contracts are not something to brag about

"In fact it introduces an additional attack vector risk. Contracts should be immutable if possible by default, unless there’s very strong reason for upgrading." And "Immutability serves as a pivotal element in fostering trustlessness, whilst the implementation of upgradeable contracts directly compromises the immutable nature inherent to all contract structures."

🔍 🕸️ Web

Happy Leap Day!

Bugs in the leap day 2024.

🔍 📖 Others

DOOM via Checkboxes

DOOM rendered via checkboxes in a web browser. Also a fork of DOOM via Console.Log()!.

How they used to trace money flows in criminal investigations in the 1980s

Basically visualize every transaction on a huge board.

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.