Proof of Track 2023-10-01

msfew

Sep 30, 2023

zkGo: Compiling L2 Geth into ZK Compatible Wasm

HUGE. My take: zkGo compiles L2 Geth into zkWASM to - Enable a "Type-0 zkEVM" - Enable ZK Fraud Proof.

Why do people say we have to decentralize proving when a proof can be verified and you're not trusting the prover

So 1. liveness, 2. censorship-resistance, 3. incentive to make network faster.

halo2-zkcert

Halo2 library to verify a chain of certificates. OK, they are working on zk-pdf.

The Dawn of On-Chain FHE

The beauty of FHE is that it allows the overall logic of a transparent financial system to be preserved.

dappicom

Provable play of Nintendo Entertainment System in Noir, based on Noir.

GPU.zip

Side channel to GPU, and "Why using GPUs for cases where you need privacy (like ZK proof generation ((actual ZK edition))) may be a bad idea".

ZK-EVM types

Ethereum-equivalent, EVM-equivalent, Type 1, Type 4, and other cryptic buzzwords.

zk-bench

Impartial benchmarks for your favourite ZK frameworks.

Shamir Secret Sharing

dcbuilder said it's "funniest story I've read in ages".

checkmate

Verifiable zkML Social Media application using ezkl.

Ian Miers's take on FHE

"FHE is MPC with 9,000% of the compute on an untrusted server and less bandwidth. But the interesting application are the same, as are the trust requirements."

A Tribute to Hal Finney

A tribute to the legendary cryptographer Hal Finney, inspired by his 1998 talk. This showcases a zero-knowledge proof of possession for a SHA-1 hash pre-image without revealing the pre-image itself.

Wei Dai's take on FHE

"for trust-minimized applications, FHE is a game changer that enables application-level privacy. However, for it to truly shine, FHE needs to be used alongside other tools such as MPC and ZKP."

🔍 Ethereum & Blockchains

EIP-6811: To The Moon—10 Minute Blocks

Increases the block time to facilitate finality over cosmic distances.

ask EigenLayer self-limit to 22% of validators

superphiz believes EigenLayer can be completely successful and benefit the entire ecosystem if they accept the pledge to self-limit to 22% of validators, but so far they've rejected this. If EF and EigenLayer work together now they can avoid serious problems later. See also: "there are going to be 10-100 restaking protocols" (just like lidos?).