Proof of Track 2023-11-21
🔍 🔑 ZK & Cryptography
turing-zero
"We build zkVM to educate people how zkVM works".
Machine Learning zk-VM Compiler
Fork of EZKL. A zkVM for ML.
Totem
Like a combination of zk-email and proof of passport. Allows users to prove invariants like their name or email address across multiple sources.
ZK people keep saying stuff like “we need to get proving time under a second”
Matthew Green thinks on UX perspective, we don't need that fast proving time, cause face id is 2s. Counterexamples: synchronous composability across rollups, MEV stuff, trading stuffs.
So how do FHE compilers stack up?
Sunscreen only has 1.3x overhead wow.
bench-keccak256
Keccak-256 benchmarks of xkcp (through xkcp-rs), keccak-asm (wraps cryptogams, used by OpenSSL), tiny-keccak, sha3.
How to build modern SNARKs systems
A step-by-step guide for a general paradigm to build modern SNARKs.
isn't it funny that none of the halo2 implementations are actual implementations of halo or halo2?
"1. halo = recursion based on sonic; 2. halo2 = recursion based on plonk + IPA; 3. halo2 implementation = plonk + IPA; 4. PSE fork = plonk + KZG".
proof-of-exploit
The world needs another proof of exploit project and here it is... The fifth (?) I've seen. This one used zkEVM and Anvil.
🔍 ⛓️ Ethereum & Blockchains
Smart contract wallets are the wrong mechanism for account abstraction in a multi-chain world
Peter from Reservoir's hot take on why MPC wallet is better than smart contract wallet in multichain world: "many of the same features are possible (device / session keys, permissioning, account recovery, etc), and it works seamlessly across all chains."
What's the use case for Transfer events on ERC20s in general?
Discussions: 1. move the indexing burden onto the end-user device; 2. some indexers don't use Transfer events, but balanceOf, due to incompatible tokens; 3. Only debug_traceTransaction.
Perspectives of Ethereum Alignment
"Social: benefits Ethereum users and devs; Economic: benefits ETH the asset; Security: uses Ethereum for settlement/DA; Values: prioritizes censorship resistance, decentralization, permissionlessness".
anyone remember the "frontend in Solidity"
"the goal would be to be able to execute EVM bytecode in the frontend (do a react-style frontend that sends a fairly bare page with JS that runs an EVM interpreter to build up the components)".
🔍 🧱 Layer2 & Modular
Based Booster Rollup (BBR)
A novel rollup design that combines the L1-alignment of based rollup with the scalability directly on L1 data of booster rollup.
Steps to wealth
Aleo's CEO is criticizing the trend of building centralized L2 on Ethereum to profit.
Reminder: data availability challenges as off-chain DA solution doesn't work
DAC is always DAC. "For why, see: a-note-on-data-availability-and-erasure-coding". Also why Plasma is not a good solution.
OH: “solidity isn’t optimized for L2”
Related release of RIPs.
🔍 🏦 DeFi & AMM & TradeFi
a comprehensive article about liquidations in DeFi
A progressive and easy-to-understand article about liquidations in DeFi and how different liquidation systems work.
LVR like xy=k is catnip to academics
"The unfortunate effect of the psyops is that so much brainpower gets wasted optimizing constant factors in fundamentally broken systems."
🔍 🔧 Dev & Toolings
Ultimate EVM Tracing Reference
A collection of EVM tracing information for easy reference.
Paths to the faster EVM
Paradigm engineer's talk on how to make EVM faster with interpreter loop, interpreter transformation, parallelization.
arb-deflate
A simple single-owner smart contract wallet built with Arbitrum Stylus that allows arbitrary call and delegatecalls.
🔍 🤖 MEV
intrablock space value
"Blockspace auctions will get more interesting once we're able to segment: "- ToB (top of block) - CoB (center of block) - BoB (bottom of block)". The cool thing about this tweet is that I found out dberenzon left 1kx.
the only value in tx fee in multi rollup world is on the right to own a lock or mutex
Key take: "lock is a simplification of MEV".
SUClave
A New AMM Design That Utilizes Intents (SUAVE) and Uniswap V4 to Address the LVR - LP Profitability Problem. Workflow: 1. Bot auctions for access to Uniswap v4 pool, p256 verification, pays SUAVE, 2. Bot pays LPs through hook, 3. Everybody profits. See also UF intro, Progress, code, suapps examples.
🔍 🕸️ Web
browser sidebar on the right
Has a pretty good image for the most-viewed areas of a website. So Arc has is on the left. But personally I love to have it on the right cause physically, my laptop connected to the monitor is on the left, so with option of right sidebar, I can move the cursor to the left to access laptop screen, and move to the right to call out the sidebar.
"forks LLaMA's architecture and changed a couple of tensor names"
Unicorn AI startup...
The most copied StackOverflow snippet of all time is flawed!
An amazing story by the author of most copied StackOverflow snippet of all time, and how the code is flawed.
screenshot-to-code
Drop in a screenshot and convert it to clean HTML/Tailwind/JS code.
gpt-crawler
Crawl a site to generate knowledge files to create your own custom GPT from a URL.
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.