Wyatt Benno(@wyatt_benno):Imagine when you can prove AI guardrails to 3rd parties.. in under 1s per run (locally). Moreover, you can fold thousands of these and anyone can verify them with zero trust, once in under 100ms. Fantasy or this year!? For contrast, today we are told to store all AI guardrails logs ($ millions); just in case. And proving they ran and worked takes weeks of review (I see you CFOs) and exposing both logs and your policies to auditors which contain highly private info.

2026.07.26 03:07

Imagine when you can prove AI guardrails to 3rd parties.. in under 1s per run (locally). Moreover, you can fold thousands of these and anyone can verify them with zero trust, once in under 100ms. Fantasy or this year!? For contrast, today we are told to store all AI guardrails logs ($ millions); just in case. And proving they ran and worked takes weeks of review (I see you CFOs) and exposing both logs and your policies to auditors which contain highly private info.

Quang Dao@QuangVDao

2026.07.25 03:33

@badcryptobitch @StoffelMPC I see, thanks. Latest generation of zk is far more performant than your expectations. Jolt for instance proves 1 million RISC-V cycles using only 2-3GB of RAM (soon will go down to <1GB). In general, zk is converging to ~3 orders of magnitude overhead over native computation