Proof of Track 2023-10-25
🔍 ZK & Cryptography
Introducing Sapir
New experimental proving library built for client-side zk.
an early version of the Scroll system
Scroll's architecture in 2021 on whiteboard by CTO and BainCapitalCrypto partner.
p256-verifier-huff
Now we have P256Verifier in Huff now. See the trend of open source? Solidity -> Vyper -> Huff.
Chapter 8: Make ZKML “Real”
ZKML is “Not Quite Yet” real.
Trustless wasm compilation with SNARKS
Compilation of untrusted code is hard, so we can use zkVM like zkWasm by Delphinus Lab to fix it.
webgpu-crypto
This includes #WebGPU implementations for BLS12-377 & BN-254. It has MSMs, Poseidon hashes, NTTs as well as field & curve math.
halo2-jwt
Verify a JWT with Halo2!
🔍 Ethereum & Blockchains
0xSisyphus is Head of OpenSea Ventures
Old news, but very entertaining, so I put it here.
Is anyone working on cross-chain collateralization?
Aave Portals and Maker Wormhole are two examples. This needs zkOracle.
End game for ethereum is simple
"only deal with ETH transfers, drop the EVM entirely, only allow ZK-verifier contracts. Drop the history as well."
ethvpn
The package for running a VPN connection with ShadowSocks via Ethereum. From 6 years ago.
BundleBear
A dashboard site where you can track 4337 adoption. Data-driven insights into the adoption of ERC4337 smart accounts.
Hal Finney Was Not Satoshi Nakamoto
A compilation of evidence that Hal Finney and Satoshi Nakamoto were different people. See discussion.
A set-theoretic view of Ethereum coteries
"In a recent Bankless episode, Danny presented a framework of four groups: app-layer users, holders, stakers, and node operators. He claimed that a healthy ecosystem has a clear distinction between each of these groups and that none of them are controlled by a single actor."
This is an insanely irresponsible idea
"Apparently Nethermind and Besu stopped storing historical #Ethereum data and they want to standardise it so instead of a protocol violation it becomes the way to do it?!"
🔍 Layer2 & Modular
Introducing Blobstream
Streaming modular DA to Ethereum, Formerly known as the Quantum Gravity Bridge (QGB).
Booster rollups - scaling L1 directly
Booster rollups are rollups that execute transactions as if they are executed on L1, having access to all the L1 state, but they also have their own storage. This way, both execution and storage are scaled on L2, with the L1 environment as a shared base. See also.
does anyone know how I can compute the mapping?
"apparently the Uniswap v3 pools deployed before the bedrock migration changed addresses when migrated", The answer can be found in dune's repo.
Restaking.wtf
Restaking.wtf allows for any ERC20 to be used to validate, simultaneously, any or all on-chain trust networks.
🔍 DeFi & AMM & TradeFi
Community Contributions to Uniswap v4
An overview on the latest Uniswap v4 community contributions.
diving into dark pools
The future of crypto dark pools is trustless privacy and many projects are working on it. Mostly privacy-focused zk projects.
🔍 Web
Flash Museum
Archived flash playable on browser.
Domains Project
World’s single largest Internet domains dataset.
Exploring EXIF
Exploring the metadata of a ios photo.
carbonyl
Chromium running inside your terminal.
🔍 Others
When was the last time Marc Andreessen talked to a poor person?
Andreessen is a product — and an engineer — of a tech bubble that doesn’t understand the people whom it purports to serve.
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.