Benjamin Wilson

ZKP & AI @ TFH

[Benjamin Wilson @benwilson_ml]

Here's my take on the consequences of the recently published GKR attack https://t.co/1FXwtwaDtR @__zkhack__

[Benjamin Wilson @benwilson_ml]

Just finished a deep-dive on the wonderful LogUp, an elegant GKR-based lookup from @PapiniShahar & @UHaboeck! Thanks everyone for the discussions and suggestions so far. https://t.co/UpWwTA7MHG

[PSE @PrivacyEthereum]

Exciting times for the ZKML space as Zero Gravity continues its work exploring and developing the use of zero-knowledge proofs for Weightless Neural Networks (WNNs) .

Read the blog post by @elus_aegis and @georgwiese to learn more!
https://t.co/HJ1tQPMmuq

[Benjamin Wilson @benwilson_ml]

Does anyone know of any companies using LLMs in dispute resolution, or for generating judgements? Super interested to talk to any

[Benjamin Wilson @benwilson_ml]

Really impressed with the quantization-as-optimization techniques employed in GPTQ, worth a read! https://t.co/VybhgOgdoV

[Benjamin Wilson @benwilson_ml]

Here is a write up of some recent discussions we had about "deep differentiable logic gate nets" and their potential future relevance to #zkml
https://t.co/cW4ND3LJuq

[Dawn Song @dawnsongtweets]

Join us May 2 @UCBerkeley or online for ZKP Workshop, Hackathon Demos & Awards Ceremony 🎓

With ~4K ZKP MOOC participants, ~600 hackathon participants & ~150 teams from over 60 countries, ~30 finalists competing for $200K+ in prizes! 🏆

Register now 👉 https://t.co/v8Tfq16kXv

[Benjamin Wilson @benwilson_ml]

Will there be a day when we elect LLMs as our democratic representatives, and use ZKML to prove that it is indeed the elected model making decisions on our behalf? Or just pit them against one another to simulate parliamentary discussion, then make the decisions ourselves?

[Benjamin Wilson @benwilson_ml]

@recipromancer @0xJeeva @tahpot Jokes aside, I am personally _very_ excited about getting these models to talk to one another, even two instances of the same one. What a resource!

[Benjamin Wilson @benwilson_ml]

@drCathieSo_eth Looking forward to reading it!

[ZK Hack @__zkhack__]

1st 🏆: @drCathieSo_eth, @SecuritaAegis, @georgwiese, @benwilson_ml, @VicSintNic, @unzvfu - ZeroGravity, a weightless neural network architecture to reduce the proving of inference to lookup arguments on a highly optimised Bloom filter implementation.
https://t.co/13J0hveQKw

[Phil Kelly ✨ @Phil_Kelly_NYC]

Awesome Zero Gravity winning team at @__zkhack__ this weekend took an #ml model without floating point arithmetic and implemented it for #zkps without loss of accuracy.

[cathie @drCathieSo_eth]

Stable Diffusion inference optimized for Mac M1/M2 chips! https://t.co/GaiD8Ud7RT

[cathie @drCathieSo_eth]

The "weight" is over!

🏆 We won 1st place at @__zkhack__ Lisbon with "Zero Gravity", which marries weightless neural networks & zero-knowledge proofs for trustless ML inference without performance tradeoff. Explore our work: https://t.co/g6P2i0Ayzj

@VicSintNic @SecuritaAegis

[Benjamin Wilson @benwilson_ml]

@trentmc0 @gelatonetwork I knew you'd have some good leads, thanks!

[Benjamin Wilson @benwilson_ml]

Calling a smart contract an "autonomous object" seems a prefect misnomer. They can't _initiate_ action, only act at the call of off-chain agents i.e. humans or bots. I want truly autonomous smart contracts, with initiative & agency. Any ideas? Does this exist? #Ethereum

[Benjamin Wilson @benwilson_ml]

@trentmc0 do you know the answer to this one?

[Benjamin Wilson @benwilson_ml]

A smart contract could incentivise off-chain agents to call it every block. Seems a hack though. Shouldn't they be able to bid themselves on being called again in the next block, i.e. by the EVM itself?

[Benjamin Wilson @benwilson_ml]

I just read the MEV paper https://t.co/UtQaJTxmwC (so late to the party!). A great example of how smart contracts can transactionally bundle multiple message calls s.t. they are executed in an all-or-nothing manner. Simple but powerful!

[Benjamin Wilson @benwilson_ml]

@matthiasroder Perhaps it's been hard the few years to get good GPUs, including for GCP and AWS? On both of them you can apply to have the quotas raised, but they don't raise them very far ...! There is also https://t.co/GOpXXSyEih but I haven't tried it yet