Proof of Track 2024-01-13
🔍 📌 Pinned
Could Blockchain Be A Key Factor For Trustworthy AI?
AI x Blockchain, and the two approaches of zkML and opML.
🔍 🔑 ZK & Cryptography
plonky2-gpu
A GPU-accelerated version of Plonky2. It reduced the proving time for ed25519 signatures — from 45s to just 5s.
How do you make sure that a high level zk language generates the correct assembly that is proven by the zkVM?
1: reexecute with compilation to verify it in a blockchain; 2: prove transpilation from the high leel language to the assembly language.
"Why not just use ZK?" or "Why not just use FHE?"
The one-liner: if you only use ZK or FHE, hidden state is fragmented. You can edit your on-chain hidden state. I can edit mine. BUT you cannot edit my state. I cannot edit yours.
how multi-proof works in Taiko
"If these two proving mechanisms have a disagreement, like one of them having a bug, then the system would resort to a higher-tier mechanism." See detail post.
Making Sense of Web3’s Burgeoning AI Ecosystem
Web3 AI tech stack, infrastructure layer, middleware layer, and application layer.
The SNARK vs STARK distinction needs to die. So much misunderstanding caused by people misusing “STARK”.
ZK and SNARK, ZK and Validity, SNARK and STARK.
🔍 ⛓️ Ethereum & Blockchains
2 mining pools (both of them force all miners to KYC) comprise 55% of Bitcoin hash rate.
Potential risk of Bitcoin mining pool.
Do we have a confident way to detect solo stakers yet?
Airdropping to solo staker may be a new trend. Potential solution: ETH-Solo-Validator-Addresses.
BRC-20 Indexer War: Everything You Need to Know
The "fork" on BRC-20. See also blockbeats's report in Chinese.
new era of "soft composability" in Ethereum
Protocol Era -> Ownership Era, Soft Composibility Era.
Bitcoin 2023 Annual Review
Comprehensive coverage of metrics across a number of different verticals in the Bitcoin ecosystem to gauge performance in 2023.
Is Ethereum more permissionless than Solana?
"Yes and no".
blyss for BTC
Count your coins, privately. A website that can tell you the balance of an address without knowing which address you looked up. Using FHE.
Latest Thoughts on Bitcoin: the Good the Bad and the Ugly
Good: Bitcoin works; Bad: Difficult to scale; Ugly: Hard to change protocol.
Someone spent $66000 to inscribe data onto Bitcoin
Initially, no one knows what it says. It appears those 8.93 MB of raw binary data are trait files for a TaprootWizards collection and more about source code: Quantum Cats. And the tech behind the project (really insightful and fun)!
Increase Ethereum Gas Limit Per Block?
Recently, people are discussing about increasing the gas limit of Ethereum. This does not require a hardfork, but only node level configuration. In some of the benchmarks (proves to be outdated), the client of Besu faces some performance issues, but they should be ok with 40 or 60m gas. Vitalik thinks increase gas limit at modest rate is reasonable. And 0xfoobar thinks ethereum should stack rank its clients. This is also related to the state growth of Ethereum and client implementation and client diversity. See also writeup on why increasing the gas limit is difficult. More discussions: 1, 2, 3.
🔍 🧱 Layer2 & Modular
A taxonomy of data availability policies in (Ethereum) rollups
1. post DA onchain vs. not post DA onchain; 2. post onchain vs. post in DAC; 3. post raw tx data vs. post state diff.
optimium/anytrust chains are equivalent in security to sidechains
For more detail on why this is the case. How you can see that AnyTrust chains have sidechain security. Also see discussion here.
Restaking's risks?
Is restaking the new Terra/UST risk? See also a list of risks, and kydo's response and we need new language for new financial systems
Flipping of L2 TVL to Other L1 TVL
Ethereum L2s = $20.7 billion, Other L1s = $19.67 billion.
Etherscan is awesome but is also a critical point of failure for Ethereum
We need to fix Etherscan with open-source and public infrastructure.
growthepie.xyz
A public goods funded Layer2 fundamentals and blockspace analytics.
What is the difference (if there is any) between Optimiums and Plasma?
Answers: You should be always able to exit permissionlessly from Plasma; Amount of data a whistlblower needs to submit. And big misconception that Plasma = Fraud-Proofs + external DA (similarly to Validiums = Validity Proofs + external DA).
spent some time in the trenches with Celestia data
Key takeaways: - Minimal demand right now, but this is a non-issue. The team nailed RaaS integrations - Fees are probably a long-term issue. Where will sustainable demand come from? - First-price auctions are inefficient, Manta is proving why.
If full danksharding with max 256 blobs is implemented.
It means we can have at least 3 meaningful rollups with 3k tps each.
The Fellowship of The Rollups: Rollup Framework Shared Sequencer and RaaS
Comparisons between Rollup Framework, Shared Sequencer, and RaaS.
Now that it seems that ZK and optimistic go head-to-head against one another
Ultimately, OP will be ZK. "Optimistic rollups were clever to act fast and build network effects and stickiness."
rough proposals that enable interoperability in optimistic rollups with latency < the challenge period
They all have a flaw that node operators will run all the interoperabled chain clients.
🔍 🏦 DeFi & AMM & TradeFi
friendtech treasury (All Earned Fees) finally moved from an EOA Address to a Multi-Sig one in Dec.
In the meantime, they also sent half of their earned fees, which is 7,800 ETH ($16.6M), to Coinbase.
"if ETFs then why defi"
Self custody, utility, onchain & crosschain liquidity, lower fees in L2, more financial products and options, "drinking from the teat than being bottle fed".
The Bitcoin ETFs would be "Cash Creation" only.
TL;DR: - Cash Creation outsources execution to the ETF issuer, yet execution is not the issuers' specialty; - In-Kind Creation on the other hand allows experts in slippage minimization to best handle the problem; - Expect high frequency traders scalping ETF flows when issuers strike the NAV (i.e. when they determine the fund's NAV at the end of the trading day).
War and Peace of Euler in 2023
Behind the scenes of Euler's 240M exploit recovery.
🔍 🔧 Dev & Toolings
Stealth Chad
An Implementation of ERC-5564 Stealth Addresses and ERC-6538: Stealth Meta-Address Registry.
celestia.cool
A Celestia mempool visualizer.
forge-gas-metering
Utilities for more granular and realistic gas measuring in forge tests.
zevm
Zig Ethereum Virtual Machine.
checkphone.xyz
Check out the estimated values of the perks from the Saga Genesis Token from the Solana Phone.
Tenderly Gas Profiler
Break down gas usage by function call.
mev-bootee
Partial Block Building with TEEs.
Security comes from simplicity.
"108K lines of solidity for your new protocol - this is not the way."
walletbeat.fyi
An open repository of EVM-compatible wallets.
🔍 🤖 MEV
Ethereum Timing Dashboard
Timing games involve validators delaying their block proposals to increase their MEV rewards. A perfect dashboard for that.
🔍 🕸️ Web
Computers by the Millions
By Jef Raskin (the creator of Macintosh).
Capital and enclosure in software commons: Linux & Ethereum
Covers: - intros to Common, commons - commons enclosure/capture - how the Linux + Ethereum commons are structured - how capital engages w/ these commons.
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.