Proof of Track 2023-06-16

msfew

Jun 17, 2023

Development of many Zero Knowledge Domain Specific Languages (DSL)

The thread is on brief intro to ZKP and circuits, DSL for writing circuits, and comparison of a few promising DSLs.

Cambrian Explosion of Cryptographic Proofs

StarkWare's intro on different cryptographic proofs of zk, also video version.

Python integration for EZKL

You are able to run ZKML workflows directly through Colab.

Sangria Implementation

implementation of folding scheme for PLONK.

solidity-verifier

Solidity implementation of Nova proving system verifier.

risc0-bonsai_multichain-escrow

Crosschain Escrow for L3 <> L1 validity rollups.

EIP STARK Verification

LambdaClass is working on the proposal for EIP precompile to verify STARKs.

circom-uniplonk

UniPlonk verification circuit in circom.

🔍 Ethereum

The Three Transitions

Three transitions are: L2, wallet security (smart contract wallets), privacy transition. Also, PhABCD's thoughts on Vitalik's opinion on smart contract wallet.

evm-diff

Diff EVM-compatible chains in a friendly format.

Get 'clean ETH'

before 1559 and merge, people can get "clean ETH" by just GPU mining, or deploy arbitrage contract with gasprice = 0 on flashbots relay.

custom pools and singleton (singleton-swapper) with hooks (but may be hard to use), TWAMM, Customized onchain oracles, Onchain limit orders. uniswap-gas, a comprehensive gas report comparing all four (not three!) versions of Uniswap. Polynya comments that "We also have the potential for innovation returning to the app layer with fractal scaling". However, their os license (BSL) is questioned and dissed.

function-selector-miner

Blazingly fast function selector miner written in Rust.

🔍 Layer2

Illustration of TPS、 avg fee and total daily fees of the network

illustration by StarkNet, and the coming Starknet versions

Proving cost of ~$0.000052 per tx

Using a c3-standard-176 instance, Polygon zkEVM took less than 110s to generate a batch proof, and since its spot price is 0.89 -> a 500 regular txs batch proof costs 0.0259.

Sequencer-Prover Separation in Zero-Knowledge Rollups

for sequencer decentralization, the presentation talks about classic consensus mechanism and based rollup; for prover decentralization, the presentation talks about nakamoto style competition and per-slot assignment. Finally, the presentation talks about sequencer-prover separation.

Best design for 1 billion TPS?

Viktor argues that in this future it does not make sense to optimize for L1 throughput for scaling to 1 billion TPS.

Hybrid Rollup

Sin7Y delved into the concept of “Hybrid Rollup,” examining how projects Aztec, Miden, and Ola approach this technology.

🔍 MEV

Modular Searcher Design

a modular framework for searcher (bot) design, an architecture that allows many strategies to be ran off the same services and be easily maintainable by teams, taking inspiration from trading systems within traditional finance.

L2 MEV wat

"map" the current landscape of L2 MEV, thinking about different MEV consequences for different L2 designs. We also briefly overview different ways of L2s decentralization and how it might impact L2 MEV

🔍 Others

Paragraphica

a context-to-image camera that uses location data and artificial intelligence to visualize a "photo" of a specific place and moment.

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.