Proof of Track 2023-10-18
🔍 ZK & Cryptography
Recent Talks from Ingonyama
ZPU: The Hardware Path to Verifiable Everything: Future ZKP hardware not-to-do's - Grid, e.g. GPU farms (Doesn't improve power/security), - Very flexible ZKP ASIC (Doesn't improve power/security much), - Very customized ZKP ASIC (Doesn't extend beyond customized operating point, May be suited for client-side or for a future standard); Silicon Safari: A Survey from the Humble CPU to exotic silicon; Towards Optimal Long Multiplication in GPU; Tour de Boojum: Anatomy of a GPU prover.
what exactly does "enshrining a zkevm" mean?
"to include a validity proof of all the block’s transactions in the block header".
Rough idea to using economic security to bootstrap TEE coprocessors with ZK level security
The idea is to create a "canary contract" using TEE signatures that, when violated, serves as an early warning system against TEE exploits and prevents their use elsewhere in the system.
unsound-halo2
Halo2 Soundness Bug Examples.
p256-verifier-vyper
Daimo's P256Verifier in Vyper.
🔍 Ethereum & Blockchains
More thoughts on BitVM
beyond impractical and same with the rollup arguments, technological dead end, but sexy, How does BitVM impact Stacks.
Magnitude and direction of Lido attack vectors
The space of attacks on Lido and Ethereum by presenting malicious strategies available to the Lido protocol participants.
Ethereum to be or not to be (aligned)?
"I see “Ethereum alignment” as akin to decentralization. Both are not binary but exist on a spectrum, and both involve trade-offs that deserve scrutiny."
evmgateway
This repository by ens implements a generic CCIP-Read gateway for fetching state proofs of data on other EVM chains. The intended use is for contracts on L1 to be able to fetch and verify data from contracts on L2 in a read context.
🔍 Layer2 & Modular
The Vienna OP rollup got rickrolled
Cartesi put a 17MB video through the Espresso Sequencer, but the sequencer got stuck.
Introducing BYOR (Build Your Own Rollup)
A gateway to sovereign rollups, built by L2BEAT.
Do Rollups Inherit Security?
Tldr: '"Rollups inherit security" is nice shorthand'.
mocktimism
By Optimism, Coordinates two anvil process (L1 and L2) for testing / forking op-stack chains (mocktimism placeholder name).
🔍 DeFi & AMM & TradeFi
Onchain Investigations on FTX
Some wild onchain investigation. Also court notes, also this.
Some thoughts on the term “impermanent loss”
AMMs simplify liquidity for everyone, explaining LP performance with "impermanent loss," making markets accessible for all.
Stewarding the Future
Uniswap Foundation's Vision for Hooks.
Purported "tokenization" of purported "RWAs" is mostly fake/impossible
It's all "IOU from some guy's entity in the caymans"..
Uniswap: Zero to Infinity
The evolution of Uniswap, latest updates on v4 hooks, and the combination of zkOracle with hook.
The Relentless Rise of Stablecoins
TLDR: stable coin is still the most important application in crypto.
underrated censorship resistance pattern of uniswap v4
Singleton pattern makes Uniswap v4 more censorship-resisitant.
People's Views on Uniswap Swap Fee
Uniswap Interface Swap Fee is enabled. I've summarized everything I saw in this post.
🔍 Web
OpenSaas Finder
A website for finding Open Source Alternatives to common saas products. Something similar.
The Absolute Minimum Every Software Developer Must Know About Unicode in 2023
Key takes: UTF-8 is the most popular encoding for data in transfer and at rest; UTF-16 is still sometimes used as an in-memory representation; Unicode updates every year, and rules sometimes change; Unicode depends on locale for some operations and for rendering.
🔍 Others
The last ever paintings of 12 famous artists
The mic drops.
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.