A ZK-powered Industry

Real Internet of Things have not been tried yet

Dumb is the new smart

complexity at the edges of the network

Destroy the Tower of Babel

"hi we make a Tower of Babel as a Service (ToBaaS) with LLM-generated code that no one understands or has even ever read but that we believe will come to run all the critical infrastructure that humanity depends on to survive"

https://arxiv.org/pdf/2303.10130

If this paper is even 10% accurate, looks like Sapience TAM just 10xed again.

The Machine Stops - E. M. Forster https://web.cs.ucdavis.edu/~rogaway/classes/188/materials/the%20machine%20stops.pdf

I could joke and say we were starting a movement of "zk-ludditism", but frankly, if the trends play out with GPT replacing most and retarding the rest, it seems to me that we'll be the only technological experts left. The rest will be reduced to mere "users".

A beautiful new day has dawned. Sapience is the new IEC. Is your algorithm approved—did your software issue you a proof?

The fun bit will come once we start training LLMs to arrange and compose our "audited and approved algorithms" into compute pipelines... ❤️

We live on both extremes of the barbell with LLM usage. Correctness and ZKPs of entirely human-audited algorithms and code on one end, entirely LLM-generated code on the other

They don't know what to do with their computer

Ours is the fight for silence