dom (agentic/acc) 🇪🇺(@dom60808):I strongly believe that formally verified/provable statements about software, together with succinct zero-knowledge proofs, will be the winning primitive for security in the agentic age. Btw Pakt is built using the same primitive. Prove compliance with a specification, publish a proof, and let anyone verify the proof.

2026.10.27 09:42

I strongly believe that formally verified/provable statements about software, together with succinct zero-knowledge proofs, will be the winning primitive for security in the agentic age. Btw Pakt is built using the same primitive. Prove compliance with a specification, publish a proof, and let anyone verify the proof.

显示更多

zefram.eth@boredGenius

2026.10.27 02:30

✨Introducing ZKLean, formal verification for interconnected software✨ Frontier AIs keep finding critical bugs everywhere. Formal verification is the obvious cure, but what if your software has dependencies like npm packages or API endpoints? ZKLean is the solution👇

显示更多

转发到社区