Proof of Track 2023-09-21
🔍 ZK
Bringing AI power to Ethereum with Accessible zkML
ONNX-MLIR -> zkLLVM.
nova-browser-ecdsa
In-browser signature aggregation with Nova.
persist with Solidity implementations
doganeth explains why they choose to use Solidity implementation instead of RISC Zero. Their blog.
decentralized Infura with ZK
Nodes fulfill RPC requests by basically running eth_call's for the user on their ethereum node, but given only the consensus hash, you can also prove using a ZK-STARK the results of an eth_call RPC request. Pocket Network is doing this.
zk-security-reviews
Collection of security reviews of ZK Protocols.
Revisiting Paradigm “Hardware Acceleration for Zero Knowledge Proofs”
Time has passed and the status of ZK Hardware also changes.
Diagonal folding
Folding protocols with a large amount of rounds using 2-round Protostar.
Minimal streaming zkVM
With quasilinear prover complexity on the thin client and the same memory complexity, as native execution.
🔍 Ethereum
precompile P256VERIFY for secp256r1 signature verification
Read more in EIP-7212.
🔍 Layer2
bls-stylus-example
A smart contract written in Rust that can verify BLS signatures for Arbitrum Stylus.
A simple batching scheme for shared sequencers
"Just update the extraction function stop making things complicated".
proposal: data availability = data publication + data storage
It's actually the best definition. We don't need to change da to data publication & compare da with dp, just make it clear that da = dp + ds.
closed loop rollup
"has anyone tried settling a rollup to another rollup that settles to the first rollup".
noir-rsa
Also noir-bigint.
Can rollups be decentralized with one sequencer?
Yep but not fully decentralized. Just look at L2Beat first.
How many rollups will there be?
New mental model raised: we cannot have just one channel for all shows, so we need many channels (rollups). Also, Streaming platforms = can run any show whenever viewers want (~parallel execution).
🔍 MEV
Intents Aren't Real
A summary of the speaker presentations from Intents Day 0 along with some memes.
notable events and behaviors in the MEV supply chain
A recap with data insights and trends from the first year of out-of-protocol PBS on Ethereum.
Enablement of MEV and the Morals of Extracting
What enables MEV? Should we be concerned? Or excited by MEV?
🔍 Web
Web3 nomenclature style guide
Some suggestions on choosing the right name for Web3 by ChainLinkGod.
🔍 Others
SBF's father
SBF's father was unhappy with his salary at FTX US so he emailed SBF asking for more money, and then pulled the "I'm telling your mother" Dad move and looped SBF's mom into the email thread.
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.