Proof of Track 2023-05-17

msfew

May 17, 2023

nova-ml

zkML with Nova, used nova-scotia. You can read nalin's talk by the way, Unpacking Nova.

ZK Security Research

A Study of Common Vulnerabilities in ZK Circuits.

Provers: To decentralize or not to decentralize?

In general, it is probably not necessary.

Speed up Aztec proving

Used indexed merkle tree to hugely shrink the Nullifier Tree from 2^254 leaves to 2^32 leaves.

🔍 Ethereum

DESIGN AND UX IN WEB3

ethereum.org has launched a resource page for Web3 Design and UX, with lots of good stuff.

slasha

Vitalik recently opened a repo, maybe his previous game?

Discussions on Recent Inactivity Leaks

Basically Ethereum blocks are not finalizing. So many links about this. Read yourself. 1. guess is MEV, 2. liveness fault, 3. Prysm hotfix, 4. does this mean, 5. well capitalized attacker, 6. possibly due to Prysm or MEV-Boost bugs, 7. another round of summary, 8. just degrades to no worse than proof of work, 9. how does the ethereum protocol respond, 10. cross-post here for transparency, 11. short thread

Open everything

open source/state/entry/exit, so security of smart contract and protocol are in the harshest environment.

Enshrined Eth2 price feeds

In a post from three years ago, Justin Drake asked about adding the price feeds oracle in Eth2, which Vitalik strongly opposed.

There's been a lot of buzz about Ledger lately, and it's true that its marketing is terrible. But hardware wallets, like any code, still require trust, and upgradability and feature cannot be achieved together, especially for hardware wallets.

Uniswap History based on Tweets

went through 2000+ tweets from the Uniswap account to know the history of Uniswap.

🔍 Layer2

This time we're mad for Madara

Kakarot zkEVM on StarkNet eventually incorporates Substrate, which can be used for setting up an App-chain for application chains such as L3.

How decentralized should rollup sequencer sets be

A discussion on the number of rollup sequencer requirements, in general, 30 - 100 nodes are good.

Concrete

A framework to build application-specific, EVM-compatible rollups on the OP Stack. Protocol-level changes have been made for better performance.

ZK Voting App using only 10 lines of Noir

Only: ~10 lines of Noir code, ~50 lines of Solidity.

🔍 MEV

MEV burn—a simple design

a simple add-on to enshrined PBS to smooth and redistribute MEV spikes. EIP-1559 and MEV burn —- two sides of the same coin.

🔍 Cosmos

celetia-tooling

Various Celestia-related gadgets, the most fun being the nodes that run on kindle.

🔍 Others

Easter Eggs in Protocol Address

Some very fun stuff. 1inch's address is 0x1111111... Uniswap's address starts with the unicode for uniswap emoji. And many others.

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.