Proof of Track 2023-05-12
🔍 ZK
Apple Silicon ZK Acceleration
Miden accelerates ZK proof generation by unifying memory between CPU and GPU with Apple Silicon chips. I've been thinking, since everyone wants to run zkp generation on a laptop, why don't we just optimize it for the mac's apple chips? And there it is!
Very brief recent history of folding
Nova: fold with error terms, HyperNova: fold with sumcheck, ProtoStar: fold the sumcheck itself.
zkCasper
verifying the Ethereum Beacon chain's Casper FFG consensus proofs using a SNARK-based approach.
The lookup singularity
A lookup table (or lookup arguments) is a pre-computed set of values that allows a prover to perform certain operations more efficiently. The 'the lookup singularity' is an idea where all ZKP operations are done with simple and efficient lookup arguments — all circuits will be lookup circuits.
🔍 Ethereum
Rethink EIP numbering
The EIP numbers are now assigned according to the pr numbers. But this leads to many problems, such as people sniping and waiting for a good number, while many numbers are skipped. I support the sequential assignment afterwards, when I was working on EIP-6150 I actually had to wait all day and all night for the 6150 number.
diffyscan
diff Ethereum smart contracts code from GitHub against Etherscan verified source code.
transaction-simulator
simple API which simulates a given transaction request, based on Foundry.
🔍 Layer2
PRIVACY ISN'T EVM COMPATIBLE
Aztec has released a hybrid rollup of the same name, noir as a contract language, both public and private computations are available .
Seqsy
Shared sequencer project on ETHTaipei, very simple architecture, PoS + random selection of sequencer, OPStack as node.
what will L3s do that L2s can't? serious question
Discussion on L3.
Request For Proposals: Decentralized Sequencer Selection
The material on decentralized sequencer is already very knowledgeable.
let’s all pretend that Rollups actually work
That's why I have more confidence in Hyper Oracle's World Supercomputer solution, and Rollup may be a temporary solution.
escape without on-chain smart contracts using sovereign ZK rollups
Since Celestia has no settlement or smart contract, forcing escape hatch may require adding zkp. This is essentially the same as verifying on Bitcoin, which requires adding some functionality to the network layer to verify zkp.
🔍 MEV
artemis
A framework for writing MEV bots in Rust. blog.
The Cost of Resilience
A new mev-boost feature allows validators to maximize Ethereum's censorship resistance by building low-MEV blocks locally while still outsourcing the building of high-MEV blocks.
jaredfromsubway.eth's alpha
Mainly 1. it dares to earn meme coin native sandwich. 2. sniping newly deployed meme coins. 3. combining meme coins into huge sandwiches.
🔍 Web
Accessibility
Add accessibility toolbar to your website with one line of code.
The Illustrated Machine Learning website
make the complex world of Machine Learning more approachable through clear and concise illustrations.
🔍 Others
Estonia Digital Nomad Visa
Estonia's digital nomad visa, as well as Malta's and Portugal's.
Inscription Number broken
"the legend @super_testnet has produced the first valiant attack on ordinal inscriptions by inscribing a 0-value transaction".
open source software & open state software
oss don't need DAO because everyone can fork, but open state software need DAO to coordinate the state and upgrades of the instance.
The Denominator
it's Up Only.
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.