Wyatt Benno

@wyattbenno

6 Following

584 Followers

Wyatt Benno pfp

His floating point work is also super cool! (SOTA) Little known fact: zkVM do not support floating point opcodes or they make them inaccurate soft floats..

1 reply

0 recast

14 reactions

Wyatt Benno pfp

When my wife's friends ask her what I do...

1 reply

0 recast

4 reactions

Wyatt Benno pfp

I think the Excalidraw thats in the JOLT repo is a work of art .. 🏅 cred: @moodlezoup

0 reply

0 recast

4 reactions

Wyatt Benno pfp

Client side proving is more IMPORTANT than scaling.. bigger market, more use-case and actually is the basis to why using L1 would be global for the verification layer. Scaling is cool low hanging fruit for zkL2; off-chain events triggering on-chain contracts via verifiable compute is the “canary in the gold mine”.

0 reply

5 recasts

25 reactions

Wyatt Benno pfp

Which is better: millions of consumers using your stuff directly.. or a few orgs with massive reach?

1 reply

0 recast

2 reactions

Wyatt Benno pfp

I often find myself torn between pursuing widespread consumer adoption & focusing on B2B adoption for client-side ZKP. Occasionally, you can do both. In this PoC, we address privacy-preserving proof of location, designed to operate on millions of DePin devices (Nova folding scheme ❤️) https://x.com/iotex_io/status/1866900092265038041

0 reply

1 recast

7 reactions

Wyatt Benno pfp

Who are your favorite technical VC? I always enjoy convos with @jbrukh @_weidai @tarunchitra, any other interesting people?

1 reply

0 recast

7 reactions

Wyatt Benno pfp

I attended a panel entitled: "ZKP vs TEE vs MPC".. These things are not vs: TEE uses ZK (zkDCAP), and ZK can leverage TEE. FHE relies on ZKP to verify encrypted computations. ZKP taps FHE for oblivious proving. MPC and ZKP are close allies, teaming up as coSnark. All of these things are slower than we would like..

2 replies

3 recasts

43 reactions

Wyatt Benno pfp

On @base there are generally two categories 'consumer' and 'DeFi'. I want to suggest two more: zkConsumer / zkDeFi. zkConsumer: privacy components for games, logins, NFT, off-chain compute with on-chain effects (DeAi, DePin) zkDeFi: Privacy with DeFi.

2 replies

2 recasts

65 reactions

Wyatt Benno pfp

I said this many times in 2024.. and not sure how many heard me, so one last time 📣 Zero-knowledge proofs are not just for scaling! i.e not just zkL2/ rollups, validity proofs, or a tool to make ETH 3.0. They are also for privacy and a way for off-chain compute to trigger on-chain actions. Faster ZKP scheme are always great! But smaller and more portable is what I work on DAILY. The demand-side, g2m, prover network design, and tech differs greatly with these assumptions. 🦄

0 reply

17 recasts

98 reactions

Wyatt Benno pfp

Satoshi would be so proud of us..

0 reply

1 recast

6 reactions

Wyatt Benno pfp

From the zk perspective - We use a modified Spartan scheme here. With more tricks we can easily get a 5x speedup for in-browser proving. But these are still set proofs, i.e. I hold 1 out of 10k accounts with this trait. For further privacy we can add a Nova aggregation layer that collects all similar proofs into one checkable proof. i.e I own one account with these traits out of all of the accounts every checks (millions).. __The updated HyperNova paper has a trick for adding ZK (privacy) that is already implemented. Next step will likely be allowing people to mint their zkbasename. This will be where the resulting proofs are checkable by anyone (I hold this NFT, I have this balance, etc). Let's go onboard millions to web3 w/ privacy 🚀

0 reply

1 recast

6 reactions

Wyatt Benno pfp

Basename (Base chain's ENS) is used by over a million people.. but sharing your Basename often means doxing your full account history and all of its assets. We use consumer-side zero knowledge proofs to cryptographically prove things about your Basename, while preserving your privacy. (Proof of account ownership, NFT, balance, on-chain actions, more..) Verification of the proofs are fast and can be done by any dApp or person! New PoC -> https://zkbasename.com/

1 reply

22 recasts

61 reactions

Wyatt Benno pfp

So, most ZKP use Elliptic Curves or Hashes as bases. I often find myself in a kool-aid man type scenario when I bring up: Lattice. Lattice are homomorphic, arguably post quantum secure, and use integers. Here is the latest and greatest Lattice based PCS: https://eprint.iacr.org/2024/1293?s=35

1 reply

18 recasts

119 reactions

Wyatt Benno pfp

My co-founder with a legal background did a debrief of recent ruling on Tornado Cash. Big win for privacy and the people defending it 🔥 https://x.com/wyatt_benno/status/1861607363922239831?s=46&t=TPz4beAkRLUXoHXHetMIxA

0 reply

4 recasts

44 reactions

Wyatt Benno pfp

I want to make a list of all projects using ZKP on @base . If you know one comment 📋

1 reply

44 recasts

90 reactions

Wyatt Benno pfp

The folding scheme bit is important as it also gives ZK (privacy). Folding libs have this from the updated HyperNova paper and recent PR.

0 reply

0 recast

5 reactions

Wyatt Benno pfp

Working on new benchmarks for zkVM in tiny devices. pi4, RK3566, ESP32. People keep making zk faster, we keep making it more portable.

2 replies

2 recasts

12 reactions

Wyatt Benno pfp

So what is the ZKP scheme that can work on the smallest devices? Browsers, phones or even embedded systems in solar panels? Find out in my recent post: https://blog.icme.io/minimal-space-maximum-pace-how-memory-efficient-zero-knowledge-proofs-work/

2 replies

2 recasts

11 reactions