Wyatt Benno(@wyatt_benno):Listened to the most recent @zeroknowledgefm "Is ZK dead? Or has it just begun?" Deep research takes time. The funders were early to the vintage. Now that vintage is becoming real world products. Will make @tarunchitra bullish on ZK again 😆 and ZKML. 'Automated reasoning' turns natural language into formal logic and can be used as AI guardrails that can't be bypassed or ignored. Will CC when our paper drops mid-month🤞.

Wyatt Benno

@wyatt_benno

Building AI guardrails that can't be jailbroken or ignored. Math, not prompts. @icme_labs What do you do for others?

Joined May 2015

281 Following 1.9K Followers

Wyatt Benno@wyatt_benno

2026.05.03 14:26

Listened to the most recent @zeroknowledgefm "Is ZK dead? Or has it just begun?" Deep research takes time. The funders were early to the vintage. Now that vintage is becoming real world products. Will make @tarunchitra bullish on ZK again 😆 and ZKML. 'Automated reasoning' turns natural language into formal logic and can be used as AI guardrails that can't be bypassed or ignored. Will CC when our paper drops mid-month🤞.