Proof of Track 2024-05-03
🔍 📌 Pinned
ORA Onchain AI Oracle launched on L2s with their collaboration
Optimism, Arbitrum, Polygon, Manta. More in the future.
🔍 🔑 ZK & Cryptography
ZK is short for
Succinct proofs without ZK; Programmable crypto in addition to ZK; Sometimes, it even stands for ZK.
Overflow vulnerability in Polygon's zkEVM Storage machine
"discovered a vulnerability in Polygon's zkEVM which lets a malicious prover make false statements about the persistent storage in the zk-Rollup."
We found a way to verify your ZK-proofs on Ethereum for <8000 gas
Comment: "spoiler: it’s proof aggregation and the trade off is latency/finality". Also, Fede commented "this is called aggregation".
fhEVMs: How Do They Work?
Nice overview of fhEVM and how one combines FHE with ZK and MPC in blockchain applications.
Privacy/ZK technology
1) stealth address + stealth meta-address registry, 2) OIDC ZK Verifier for AA Account, 3) Proof of Solvency...
list of zkVMs in the market
Jolt, Nexus, Risc0, Sp1, Valida, zkOS, Miden, Ola, TritonVM, Cairo VM... We got more infras than apps.
🔍 🧠 AI
the impact of deep learning on tools for thought
AI Lifehack to record your thoughts with recording devices and LLM.
Midjourney Day 1 Day 637
"For every new tech demo, dunks on Day 1 results are always a dime a dozen."
open source model beats old version of GPT4
OpenAI lead: to closed source ~ 11 months, to open weight ~ 13 months.
Make Your Language Model Smarter by Arguing With Itself A Lot
TLDR: add more AI agents to make the result better.
🔍 ⛓️ Ethereum & Blockchains
New theory on Satoshi Nakamoto
"Out of all the billions of people on the planet, all we know for sure is that it is not Craig." Archived version here.
an investment pitch for $ETH in front of institutional investors
By Nick of Rabbit Capital.
Eigenlayer's Slashing conditions are restricted to what's provable in the EVM
"effectively, it's an honest majority oracle", "Slashing conditions are restricted to what's provable in the EVM"...
ZK summit and got more Bitcoin pilled
"After a long dryspell, Bitcoin is getting interesting again."
If a protocol gets hacked is the hacker the bad guy?
In some sense "no". Cause: "hacker is most likely the bad guy indeed. But the protocol is ultimately responsible of the security of their systems."
🔍 🧱 Layer2 & Modular
In 3 years from now - how will the revenue of L1 block space and blob for L2 compare?
Ethereum offers two different “products” right now: Regular L1 block space and separately “blob space” tailored to L2s. What will be the revenue of these two in the future? See also Dankrad's take: L1s are massively overpaying for security.
Where's the Cosmos SDK for decentralized sequencing?
Answers: "Rollchains", "Cosmos SDK and Cometbft teams are working on it", "Sovereign SDK includes a based sequencing option".
the new modular stack is THICK
However, if we simplify all "modular stack", it's all "ordering (safety), storage (liveness), compute (info access)".
BASED ECOSYSTEM
We got Taiko, Aztec, RNS, Ultra Sound, Titan Builder, LimeChain, Nethermind, Espresso, Sorella, AggLayer...
🔍 🏦 DeFi & AMM & TradeFi
OPINION: Staking rewards do not make ETH — or ETH staking — into a security
It's about decentralization.
Did you know that Pendle's APY calculation
"assumes you can compound at the same rate and frequency to show a larger number?" Also, As in compounding several maturation periods in series?
Uniswap Labs received a Wells notice from the SEC
Uniswap is fighting for the industry.
crypto fundraising data
"most VCs buy the tops and don't have capital to deploy at the bottom just like most people". I think it's more about "most people" and "LPs" deploy less capital when it's bear.
🔍 🤖 MEV
cex-dex mev bot pnl over 414k blocks (≈6 days)
"small caveat: this assumes perfect cex execution".
Why are block builders granting access to their end of block state for so cheap?!
"pretty much only for blind arbs. 53face isn't blind, they know exactly what's in the block".
🔍 🔧 Dev & Toolings
new tabs vs spaces -- how do you get address(0)
Lotta good tooling in the comment section. Found this gem: Swiss Knife.
have a look at one of the AVSs - eOracle
Another analysis from the legendary bartek.
Sub Zero
a way to trustlessly tokenize, transfer and sell vanity addresses. Benefit: buy one instead of mining one to save time; also recoup some mining cost if you mined some semi-rare addresses. Also 1inch built it before.
🔍 🕸️ Web
iA-Fonts
It's Substack's Mono font.
Ask HN: What was an interesting project you started and finished over a weekend?
Lot of interesting projects here. Tiny codebase for most of them, but super powerful.
When u submit ur first git issue
Cat created a pr on catching mice. But Catching mice is no longer considered a best practice, Recommend upgrading to relying on humans, covered by "How to stalk birds." Marked as duplicate.
In GTA San Andreas small planes are periodically created near the player to perform a fly-by. Sometimes they crash
The dev explains why GTA SA is buggy.
🔍 📖 Others
Kinda wild that the sun and moon are so similar in diameter when viewed from Earth.
It's the reason, not the result.
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.