Proof of Track 2023-04-27

Apr 28, 2023

HyperNova

New work by Nova author, recursive arguments for customizable constraint systems.

ETHTaipei zkML

Cathie So's talk on the concepts and progress of zkML, with a timeline of cutting-edge applications of zkML. slides.

Updated with Nova, macbook proving 2.5B constraints, per layer 50s. no FFTs. only 6 parallelizable MSMs. recursive overhead 10k. code. Also, the library used, Nova-Scotia, has released proof + verification support for Nova and Nova Scotia in the browser.

Accelerating Zero-Knowledge Proofs

Figment Capital wrote an article on zk hardware acceleration, which focuses on the principles of zk and the direction and means of hardware acceleration.

PSE Security

This article describes some of PSE's achievements in the area of ZK security. The first is the zk bug tracker for auditors, in addition to Veridise-led formal verification and static analysis.

zk-tfhe

Another zkFHE. Last time we saw zkFHE. The difference is that zkFHE uses Cupcake's tweaked version, while zk-tfhe uses the zama.ai concrete FHE library.

WebGPU 150x speedup

Aleo is trying to do zk proof generation speedup with the new WebGPU. But the details are not available.

🔍 Ethereum

Stealth Wallet

Implements ERC-5564 and ERC-6538, achieves private address at client-level.

🔍 Layer2

varro

Service for settling L2 output proposals to Ethereum. OPStack is wild.

indexooor

Indexers suites in Go, more lightweight than The Graph, that can query on-chain variables. Feels like it's dedicated to OPStack. OPStack again.

🔍 MEV

MEV bot making 30 eth every few hours

The recent meme coin boom has enriched MEV bot's wallet

REV - Realised Extractable Value

Flashbots believes that the existing terminology needs to be normalized. The term "REV" needs to be used when calculating the "MEV total" to quantify the real extractable value. MEV is essentially Maximal Extractable Value (or Miner Extractable Value as some say). Personally, I don't think it really matters.

🔍 Other

Moneyness In The Digital Age

To summarize, Crypto is hard, digital money, with real value and credit.

Lens Protcol "Bonsai"

Lens made an Optimistic L3, which RISC0 pointed out they had already used that name, so Lens changed its name to Momoka. But the terminology in the tweets was pointed out by members of Celestia, DA is used inaccurately.

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.