Proof of Track 2023-06-29

🔍 ZK

precompiles for zero knowledge proofs

Precompiles play a critical role for Ethereum's transition to data availability layer and for app rollups.

zktypes

WIP Exploration of typed zk circuits.

Mina building ZK Fault Proof

O(1) Labs submitted a proposal to Optimism for the application of their zero knowledge proof stack to OP Stack fraud proofs.

WASM-Cairo

A suite of development tools and an environment for Cairo 1.10, all based on WebAssembly.

Ethereum storage proofs in SNARK in Browser

Aztec is building zk storage proof in browser, with use cases such as prove ownership.

🔍 Ethereum

Kill JSON-RPC with fire

Lead at Ethereum saying the current JSON-RPC of client is shit. That's, still, bullish on indexers. Because standardization between clients is very difficult, it is difficult to move forward. One key reason is that JSON-RPC is not going through EIP process for standardization.

Verkle Tries

Verkle Tries = Vector Commitments + Merkle Trees + Retrieve (prefix of the keys).

Announcing Alloy

A rewrite of ethers-rs from the ground up, with exciting new features, high performance & excellent docs.

Roll a Mate

Send money on Ethereum Mainnet with transfers costing from zero to 4 cents, using mempool-based rollup.

on-chain gaming related infrastructure

Infrastructure for autonomous on-chain world.

Index Supply

a new 0xparc-granted project, Node as a Service, and the key is that the node will come with indexer.

WhatsABI

Extract the ABI (and other metadata) from EVM bytecode, even without the original source code.

evm-dafny

An EVM interpreter in Dafny by Consensys.

🔍 Layer2

Arbitrum Orbit chain

Arbitrum releases the L3 app-chain service with upcoming interoperability feature.

Fork diff of Taiko and Geth

Created with Forkdiff. Related work: evm-diff; op-geth.

Visa's research on modular blockchain

exploring the monolithic and modular designs.

“full ethereum security” is an ill-defined concept

Amazing illustration for the security of L2s.

🔍 DeFi

Uniswap V4 with new set of market dynamics

Time to ditch your old mental models.

🔍 Others

Titan submersible's carbon fiber hull basically exploded

carbon fiber is prone to randomly shattering. So WHY did they use it for the Titan? The thread explains why.

The world is becoming less colourful

So the world is becoming less colourful, for good or for bad.

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.