Proof of Track 2023-08-04

msfew

Aug 04, 2023

How to Beat Deep Fakes (Part 1)

Using Zero-Knowledge Cryptography for Audio, Video and Image Verification.

Zero Knowledge Virtual Machine step by step

A source of introductory information into building a zero knowledge proof system for general computation.

zkDL

Efficient Zero-Knowledge Proofs of Deep Learning Training.

Andrew Milson submitted his own proof to StarkWare's StarkNet/StarkEx verifier

Andrew submitted the STARK proof with his own reverse engineering based Sandstorm and miniSTARK open source Cairo prover.

noir-storage-proofs

Short and easy demo of storage proofs in noir based on noir-trie-proofs.

🔍 Ethereum

Talk about Reth

Recording and slides inside.

What do I think about biometric proof of personhood?

Vitalik's view on biometric proof of personhood, just released on Worldcoin's launch day.

EIP-7377: Migration Transaction

A new transaction type that allows an EOA to make a one-time code deployment at their address.

🔍 Layer2

L2 SEQUENCING

Overview on L2 sequencing by Arbitrum.

Sunsetting Warp: A Farewell to the Solidity to Cairo transpiler

Well the Solidity to Cairo transpiler is sunsetting. It's a really good idea at the beginning, now the StarkNet/Cairo ecosystem is mature enough to make it rest in peace.

Comparison of ZKRU and OPRU

Interoperability, composability, latency, and performance.

Mantle's stacks

old pre-Bedrock Optimism + threshold sigs + specular's fraud proof + DA of EigenLayer.

Current state of the Rollup SDK space

Broken out by each modular layer of the stack.

Polygon Zero were disappointed to see that zksync copied our code without attribution and made misleading claims about the original work

Their post on protecting open source, and History of Plonky2.

Arbitrum unveil BOLD

BOLD enables permissionless validation, making Arbitrum chains more secure than ever.

🔍 DeFi

Uniswap_v

Formal Verification of Uniswap v3.

v4 hooks for keeper

Run keeper (use case limited to autocompounding LP rewards, due to infrequency of arbitrage) by letting arbitrager to pay for keeper execution in hooks.