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🤞.