Proof of Track 2023-05-25

May 25, 2023

Solidity implementation of certain ZK primitives

Measurements for Solidity implementation (verifiers) of certain ZK primitives (Pedersen, Poseidon, Marlin verifier).

Zero-knowledge Fraud Proofs

Layer N + Risc0 combines Optimistic Rollup and ZK together. It is the replay proof (find the wrong tx in large batch + check state transition is exactly the same in L1 and L2) that runs in smart contracts in L1. Optimistic and Arbitrum develop interpreter on the chain in Solidity respectively to achieve this. So Layer N is trying to simplify this by using ZKP, which reduces the 7 day delay. To do this, we need the continuation that RISC0 just posted. Patrick has also thought about this implementation before. Kelvin also mentioned about zkMIPS.

zkEVM Community Edition

The official PSE explanation of zkEVM. Part 3 is the most informative.

powdr

creator of Solidity Chris is working on a project based on PIL and zkASM, which allows developers to write circuits in Rust. The description on the website says that you can "Design a new zkVM in hours, through a user-defined ISA which Powdr compiles into a zkVM."

zkML Post by 1kx

1kx's explanation of zkML, which is not particularly new but rather comprehensive.

Triton VM Mini

A minimal implementation of Triton VM.

zkNotebook

Contains simple implementations of zk-related stuff, KZG, PCS, and Sumcheck, etc. Repo.

🔍 Ethereum

codeslaw

Code search engine for Ethereum smart contracts, sourced from Etherscan, Smart Contract Sanctuary, and Sourcify. by Electric Capital.

Don’t overload Ethereum’s consensus - A Light Client Bridge Perspective

For light clients, making use of the Ethereum economic consensus but does not depend on the social consensus layer of Ethereum is low risk.

Cicada

Private voting on-chain. Uses time-locked puzzle to allow users to post their votes as a puzzle then achieve private voting on-chain.

🔍 Layer2

Unpacking the lifecycle of a rollup transaction

Unpacks the lifecycle of a rollup transaction in centralized sequencers and future's modular layers.

Distributed Sequencer Technology — A Path Towards Decentralized Sequencing

The implementation of Distributed Sequencer Technology by optimizing Distributed Validator Technology can indeed solve many problems of centralized sequencer.

🔍 MEV

Sandwich attacks are rare on Polygon and BNBChain

He makes an interesting case that because validators are all permissioned public entities, there is no need to risk sandwiching.

🔍 Others

What are intents

My favorite explanation is "intents allow you, as a user, to define your desired outcomes, "what you want". Then, solvers can discover how to achieve these outcomes for the user, "how to get it"". I feel that the clarity of this concept has been a great inspiration for MEV and Wallet, two user-side products.

MEV Rebate Browser Extension

The principle is to append MEV strategy before user presses submit.

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.