Crypto, AI, Cryptoeconomics, Machine Learning, Ethereum.
graphs that are designed to be run efficiently on GPUs. They are not designed to be proven. So if you want to prove ML computations in a ZK or optimistic environment, they have to be recompiled in a format that makes this possible — which is very complex and expensive. The second fundamental