Wyatt Benno

@wyattbenno

6 Following

589 Followers

Wyatt Benno pfp

0 reply

0 recast

0 reaction

Wyatt Benno pfp

Lol. I thought you meant the amount of teams focused on Starkish systems (many). Folding people like homomorphism, Starkish people like small fields, the best of both is in Lattice but it is largely unexplored.

0 reply

0 recast

1 reaction

Wyatt Benno pfp

Lattice based SNARKs which are additively homomorphic, post quantum secure, work in small fields, and are generally cool. Have a just a few papers.

1 reply

0 recast

3 reactions

Wyatt Benno pfp

We have some ideas on using SOTA client-side ZK for privacy on Base. You could even use it to prove set membership without exposing account to 3rd parties. i.e. I own this NFT, or I have at least this amount. We did a little PoC with prover time around 40s in-browser, verification time 2s~. We likely can get that down to 5s. zkbasename.com private.jesse.base.eth would have these proofs that expose no data (specific, age, location, amounts, ETH address), and would likely do well with regs while keeping privacy. Devs could use it to verify facts cryptographically for many use-case. Sending and receiving privately- would need some help from the protocol level. Would love to share and compare notes on this!

0 reply

0 recast

0 reaction

Wyatt Benno pfp

Nice! Next one is on the 20th and the one in the new year. You can dm me on Twitter or send me your email so I can add you to the invite.

0 reply

0 recast

1 reaction

Wyatt Benno pfp

Big fan of memory effect ZK and Nova! We do a monthly online meeting with folding implementers if interested :)

1 reply

0 recast

1 reaction

Wyatt Benno pfp

I asked Thaler about this a bit back.. I think someone will publish along those lines. Unique cool thing that lookup based zkVM could do (JOLT).

0 reply

0 recast

0 reaction

Wyatt Benno pfp

Seems based on Plonky3 (STARKish).. more on the 'no CPU' info here -> https://github.com/openvm-org/openvm/blob/main/docs/specs/circuit.md

0 reply

0 recast

2 reactions

Wyatt Benno pfp

I like that they are using folding scheme with Reef (zkRegex via Nova).

0 reply

0 recast

1 reaction

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

5 reactions

Wyatt Benno pfp

Oblivious snarks are so oblivious, they encrypt the arrows and prove they’re reversed—without ever realizing they were arrows in the first place. 🕶️🔒↔️ Tough game!! /zk channel would like this.

0 reply

0 recast

0 reaction

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

Cool! I met him in Tokyo a few times, never knew he was VC. Thought more of hackathon host.

0 reply

0 recast

1 reaction

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

Privacy itself is not a legal issue.. private finance can be. I think other things like zkGames and consumer apps are completely in the clear even now. NOT LEGAL ADVICE.

0 reply

0 recast

1 reaction