Wyatt Benno

@wyattbenno

9 Following

336 Followers

Wyatt Benno pfp

As an economists I have been obsessed with the idea of natural monopoly vs natural monopsony recently. Sign of our times.

0 reply

0 recast

0 reaction

Wyatt Benno pfp

General purpose models are great and will improve, as they have been. But, modifying these with your memory context reveals a hidden AI Memory Economy. Soon we will reveal what traits of these personal AI memory store are verified with ZK. https://www.kinic.io/blog/the-ai-memory-economy

0 reply

0 recast

0 reaction

Wyatt Benno pfp

'Plaid for AI memory' works 4 fintech. For all else: 🎨 Etch A Sketch- keeps until YOU shake it 💎 Jewelry box- valuables 🇨🇭 Swiss Army knife- useful tool 🍱 Bento box- organized compartments 4 memories 🥡 Tupperware- keeps AI context fresh Same product, different vibes✨

1 reply

0 recast

0 reaction

Wyatt Benno pfp

'Plaid for AI memory' is cool phrasing if you know what Plaid is... Kinic is like an 'Etch A Sketch for AI memory' - you keep your AI memory store until you decide to shake it. https://www.kinic.io/

0 reply

0 recast

0 reaction

Wyatt Benno pfp

What are the top 5 channels for founders on Farcaster? To learn and share?

0 reply

0 recast

0 reaction

Wyatt Benno pfp

Building crypto infra? Probably better not to wait for partners and have a use-case of your own.

1 reply

0 recast

2 reactions

Wyatt Benno pfp

Is the Coinbase alumni founder mafia a real thing? If it is — new technical founders should look to poach some CB Alum 😂

0 reply

0 recast

0 reaction

Wyatt Benno pfp

I launched a verifiable AI memory store today. Version 0.1 is a Chrome extension. It’s a brave new world where cryptography meets AI. https://www.kinic.io

2 replies

2 recasts

2 reactions

Wyatt Benno pfp

I am a big fan of client side proving and was checking out STWO. I think the marketing people don't get it AT ALL and often mislead 😱 Marketing: "not only scalability but also privacy—increasing economic freedom by enabling private transactions on Bitcoin and Ethereum at massive scale" https://starkware.co/blog/s-two-prover/ Dev docs are more honest: https://zksecurity.github.io/stwo-book/why-stwo.html#:~:text=As%20of%20the%20time%20of,to%20infer%20the%20witness%20values "As of the time of this writing, Stwo does not provide the "zero-knowledge" feature. "Zero-knowledge" here refers to the fact that the proof should not reveal any additional information other than the validity of the statement, which is not true for Stwo as it reveals to the verifier commitments to its witness values without hiding them by e.g. adding randomness. This reveals some information about the witness values, which may be used in conjunction with other information to infer the witness values."

1 reply

0 recast

4 reactions

Wyatt Benno pfp

I have heard a few people say : "there will only be one or two companies that win the ETH realtime proving race". But @vitalik.eth points out some interesting facts. I would add this to 3: Most provers use special hardware and are extremely memory hungry. Folding scheme are the most direct way to decentralize and democratize ZKP proving — it is the best technique that we have to allow provers of any size to join and prove. In the end, I think there will be ZERO companies left and just networks of people. Most likely they will be using memory efficient folding scheme in a collaborative setting to achieve realtime proving at scale. https://x.com/VitalikButerin/status/1925050155922862526

0 reply

0 recast

4 reactions

Wyatt Benno pfp

We are proud to open-source a high-performance MSM for BN254 curve in WebGPU. It runs on Windows, macOS, AMD chips, many mobile devices, and in the browser. Optimized for speed, portability, and massive parallelism. Check it out: https://github.com/ICME-Lab/msm-webgpu __ The implementation follows the cuZK paper closely and is highly optimized for GPU workflows. WebGPU is not well documented and hard to test - thank you @zk_albi for the painstaking hours spent making this come to life :) https://eprint.iacr.org/2022/1321.pdf Want to know what we are using it for? 👇 1/2

1 reply

0 recast

14 reactions

Wyatt Benno pfp

Zero-Knowledge Machine Learning is Sus, But It Won’t Be for Long. In this post I explore the costs of ML for ZKP proving — how GKR, sumcheck protocol and 'sparsity' can help! Particularly in the the elliptic curve or lattice setting. Moreover some insight from our work with lookup arguments and JOLT for non-linearities. https://www.novanet.xyz/blog/verifiable-ai-with-zero-knowledge-proofs

0 reply

0 recast

5 reactions

Wyatt Benno pfp

We have been doing some work on SoTa zkML that has me much more bullish on the use-case. Should be a fun talking point at zkSummit 13 😅

0 reply

0 recast

3 reactions

Wyatt Benno pfp

Homomorphism is a mathematical super power that EC and lattice play with. Great listen on lattice 🐦‍🔥 https://x.com/zeroknowledgefm/status/1917573411502461062?s=46

1 reply

0 recast

5 reactions

Wyatt Benno pfp

ZK land is a bit like the current wars: direct current (DC) vs alternating current (AC). FRI is our DC - backed by early supporters and initially dominant. Folding schemes are our AC - elegant and efficient at scale. DC was Edison's baby and had early success, but Tesla's AC ultimately transformed power distribution. If history rhymes in cryptography Michael Arrington is cast as Westinghouse 😂🏴‍☠️. https://x.com/arrington_cap/status/1917569694011207867?s=46

1 reply

0 recast

5 reactions

Wyatt Benno pfp

Cool new paper on fast accumulation with hashes. First time thinking about moving away from homomorphic EC/Lattice for small space provers. https://eprint.iacr.org/2025/753

0 reply

0 recast

5 reactions

Wyatt Benno pfp

SNAIL: GKR that replaces sumcheck with batched zerocheck. https://eprint.iacr.org/2025/728.pdf

1 reply

0 recast

5 reactions

Wyatt Benno pfp

Getting ready to present in NYC on Sat.. "Verifiable Compute Is Eating The World." At: https://lu.ma/kaqoydqn

0 reply

0 recast

3 reactions

Wyatt Benno pfp

A zkVM that only runs on massive, custom rigs? Centralizing. JOLT + folding gives you a fast zkVM that runs anywhere— from beefy servers to edge devices. That’s decentralization. +Privacy w/ HyperNova folding. Necessary and sufficient.

0 reply

0 recast

3 reactions

Wyatt Benno pfp

Introducing 'Proof Parties' - a platform for games and competitions demonstrating the state of the art in ZKP. At ETH Denver I heard a bunch of : "Why is ZK important?" "What can I do with it?" "Show me!" 1/4 thread. Try it: https://zkp.fun/ My blog about it: https://icme.ghost.io/proof-parties-zero-knowledge-proofs-with-friends/

4 replies

8 recasts

42 reactions