Proof of Track 2023-05-21
🔍 ZK
The efficiencies of validity proofs
polynya on validiy proofs.
What is ZKML and how can Devs get involved
Remember to watch the QA section at the end, lots of good questions on ZK, ML, and ZKML!
implementing Aleo on WebGPU
Basically dozens of times faster, and I believe it will make Aleo's wallet UX much better.
RISC0 Prover in WASM
run in WASI, < 3 min for proving 1 SHA.
🔍 Ethereum
Post-Mortem Report: Ethereum Mainnet Finality
Arbitrum (Prysm Team) analysis of Ethereum's losing finality, mainly due to Prysm bug, and client diversity saved everything.
Ethereum protocol history
The general idea is that Ethereum clients implement some complex computations themselves.
Smart contract design patterns
A very systematic look at proxy and diamond.
Light Client 2.0
Some thoughts on Light Client from the official members of the EtherChannel.
Don't overload Ethereum's consensus
Vitalik expresses that "Ultimate oracle, restaking, and L1-driven recovery of L2 projects should be discouraged and resisted." This is why the goal of World Supercomputer has always been to integrate Ethereum as a consensus network with other computing and storage network components without affecting the original design of Ethereum consensus.
tornado governance hack
control the entire DAO by governing with self-destruct to eventually inject malicious code. More technical writeup.
🔍 Layer2
MEV for "Based Rollup"
The research on Based Rollup is slowly deepening, and we are looking forward to the combination of this new solution and the existing one. Thread version.
L2 is a terrible idea
"Scaling a blockchain exclusively through L2s is a terrible idea." Mainly because of UX, tradeoffs and centralization.
How bad are rollup multi-sigs?
There are security issues with or without multi-sigs, and if you have them you are afraid of being controlled, if you don't you are afraid of being hacked and not being able to remedy the situation.
What is L2 transaction finality
It's simply when your L2 transaction cannot be reverted (when DA is done). I wrote a minimal implementation based on that.
Tiramisu
An Optimistic L2 with only transfer functionality, developed three years ago, is basically an OP L2 without EVM. The team was later acquired by OpenSea, and the people there made SeaPort.
🔍 Cosmos
CelestiaOrg full storage node running on a Steam Deck
also Minecraft, and many others. Decentralization!
🔍 Web
browsh
Good for low bandwidth network and you can still view some visual elements from text-based blurred visuals.
How I Re-implemented PyTorch for WebGPU
WebGPU-optimized PyTorch, with the same API as PyTorch.
🔍 Other
Taiwan Digital Nomad Policy
Unfortunately, it doesn't seem to be available in mainland China.
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.