Proof of Track 2023-11-13
🔍 🔑 ZK & Cryptography
lowkey Poseidon-lite
"its basically just precomputed poseidon for specific numbers of elements to be hashed. Way easier to use when 99% of stuff you hash is just 1 or 2 elements".
Divide and Conquer: Splitting and Parallelizing Proofs
On how to split the proof generation process into multiple parts for parallel proving and smaller circuits.
BaseFold
"A transparent and post-quantum-secure commitment scheme for multilinear polynomials that achieves better tradeoff between prover time and proof size/verifier cost".
Announcing zkSharding for Ethereum
=nil; now works on building zk rollup. However, it seems that they just forked evmone 3 days before this announcement.
If you had a SNARK that could prove a trillion-constraint R1CS in a reasonable amount of time (say < 1 day) what would you prove with it?
Answers includes: eth consensus from genesis, web2 stuffs, ml inference, ml training, seL4 formal proof checker...
Proof of Passport
This lets users scan the NFC chip in their government-issued passport. If the signature is valid, the user can generate a zkp then mint a SBT.
If SNARK proving takes N * effort than re-computing the result you need applications where succinct verification saves you that factor of N somewhere else or added features like privacy
Key takes: evm cost of execution : proving is 1 : ~1M; zkML needs float is a myth; with GKR, prover can be only 1000x worse than execution.
🔍 ⛓️ Ethereum & Blockchains
Ethereum's Empty Block % dropped dramatically after the Merge
Another advantage on the merge. See also this discussion (in Chinese) on the reason.
Eyes and Orders: On Crypto Front-ends
Key: "Front-ends servicing retail customers will leverage their distribution to monetize via PFOF and convenience fees". See also fat frontend thesis.
Did you know that safe apart from "public" owners can have "shadow" owners?
You cannot see the shadow owners in the safe UI or etherscan's get owners call. This is another reason why we need historical data access to see who actually owns a safe and interacted with it. See also promised second thread on how to set up and look for "shadow owners" in Gnosis Safe.
The Costs of Censorship: A Modeling and Simulation Approach to Inclusion Lists
A framework to evaluate the impact of network conditions and inclusion list (IL) designs on various Censorship Resistance (CR) metrics.
🔍 🧱 Layer2 & Modular
I proposed a Celestia Improvement Proposal to rename data availability to data publication
app-specific rollup future might be around the corner
Co-founder of Celestia's post on the latest development of app-specific rollup. "people have deployed over 700 rollups on Dymension testnet using Celestia".
"OP Reth" is merge into Reth
"This in practice means that Reth, our high perf Ethereum node, can now be used as-is in the OP Stack."
aztecnetwork decentralized proving proposals
@fede_intern's compiled list of decentralized proving proposals resources.
Unlocking Apps: The Pivotal Role of Restaking Services
Some use cases of restaking services.
L2s don’t actually scale Ethereum
"they just fragment it into a bunch of unrelated chains". Still need interopeability.
Starknet had a 5 minute downtime
Lambda team is publicly sharing this downrage to make Starknet look not so good.
a watchtower for optimistic rollups
Based on EigenLayer, a credibly neutral node set watching out for whether rollup state commitments are correct and triggered fault alerts.
Based preconfirmations
"We show how based rollups (and based validiums) can offer users preconfirmations (“preconfs” for short) on transaction execution. Based preconfs offer a competitive user experience for based sequencing, with latencies on the order of 100ms".
🔍 🏦 DeFi & AMM & TradeFi
a much more important fraud than SBF's embezzlement that took place in 2022
"It was a fraud (allegedly) perpetrated by one of the oldest companies in the space,DCGco and its CEO, BarrySilbert".
“how we are not really friends with NearNEAR and Aurora Labs going forward”
Wintermute cuts ties with Near and Aurora Labs. See also this post.
NFT market efficiency has improved a lot
With the help of Blur, "bid-side volume now matching ask-side volume".
🔍 🔧 Dev & Toolings
Lost-ETH
Compilation of Ethereum typos, user errors, and buggy contracts; Goal of categorizing all of the ETH supply forever out of market circulation.
CreateX
A Trustless, Universal Contract Deployer. A factory contract to make easier & safer usage of the CREATE & CREATE2 EVM opcodes as well as of CREATE3-based (i.e. w/o an initcode factor) contract creations.
Opcode Explained
Documenting bitcoin opcodes, one at a time. It's like a bitcoin version of evm.codes.
Reth Snapshots
Reth public snapshots, so you don't need to sync for weeks.
Ultimate EVM Tracing Reference
A collection of trace-related information for easy reference.
VC Vest
Query the chain for all contracts that may be vesting contracts holding some unclaimed tokens.
libMEV dashboard
A living dashboard with the most accurate, up to date MEV searcher data. TBH I didn't know these guys sandwich people for $0.02 profit lol.
🔍 🤖 MEV
searcherbuilder.pics
"You can now easily identify vertically integrated searcher-builders".
Dr. changestuff or: how i learned to stop worrying and love mev-burn
TLDR: "four protocol benefits of mev-burn: (1) improving validator economics, (2) lessening the ePBS builder liquidity requirements, (3) increasing the cost of censorship, and (4) improving the protocol resilience under exposure to a “mass MEV” event. Additionally, we address two of the biggest misconceptions about mev-burn: (1) proposer-builder collusion, and (2) late-in-slot MEV."
Blockchain Monitoring is MEV. Always was
The content is great, and the footnote is even better: "After going through the Nomad Hack, I knew I wanted to do something about security in our space so that we don’t lose billions of dollars yearly to hacks."
🔍 🕸️ Web
Matching Engines
The internet is matching engines.
reveal Ritual to the world
25M Series A round. All-star team with Niraj, Akilesh, Anish..
70 BILLION parameter ChatGPT-like model running totally locally on the web with WebGPU
"Uses the upcoming float16 support that's currently only in Chrome Canary".
🔍 📖 Others
How did they tell apart the thousands of different saints in Medieval and Renaissance art?
"Each saint had their own stories and symbols. Like St Ulrich, who's always holding a fish, or St Peter of Verona, with a knife in his head."
97-year-old NYC diner still serves their Coke the old fashioned way
"This is Lexington Candy Shop located at 1226 Lexington Avenue, corner of 83rd Street".
What happened to walls with texture?
Texture or minimalist?
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.