I feel like off-chain ZK applications are really undervaluing the potential of just using STARKs, including for privacy-demanding use cases.

These days a STARK is < 100 kB, for off-chain use cases that amount of  bandwidth is utterly trivial compared to the client-side prover time savings that come from using STARKs.

Absolutely agree! This is exactly why we have built a STARK proof verification layer—Cloaking Layer—for all zkVMs on the market. Some of the most interesting use cases include the use of zkVM proofs for DePIN and AI-agents.

Absolutely agree! This is exactly why we have built a STARK proof verification layer—Cloaking Layer—for all zkVMs on the market. Some of the most interesting use cases include the use of zkVM proofs for DePIN and AI-agents.

https://zcloaknetwork.medium.com/cloaking-layer-a-zk-verification-infra-for-all-chains-1162d3fcc37b