Have any zk devs tried using the latest ai models to write circuits? 

Mainly asking in hopes that it can accelerate the zkTLS infra buildout and get investors excited about crypto again. 🤗

musician & dev gigameshmusic.com github.com/gigamesh

😉 

We have a bunch of stuff cooking fam. Announcements soon

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

@eulerlagrange.eth might know a thing or 2 about this

I've tried to get it to do some simple plonky2 code but it makes up some methods that don't exist so I don't think it is ready for prime time.

The zkemail folks posted on twitter that they were going to use o1-preview for audits - that seems like a good fit.

combination of zk tech and AI is definitely one of the spaces that could reignite excitement in crypto, especially since both fields represent cutting-edge advancements in tech.

This is a wake up call for devs to try it out

Dunno about that but projects like ZKML are bridging AI/ML and Web3 with zk proofs.
Tried them out yet?