Fox is an Ethereum zkRollup using ZK-EVM and its original ZK-FOAKS technology. ZK-STARKS comes from Zero Knowledge - Fast Objective Argument of Knowledges that is faster than Stark with linear proof time, sublinear verification time, transparent, and proof recursion inside.

zkFOAKS is a superfast ZKP that reduces the prover time to the theoretical lowest bound, O(|C|) proof time, O(log|C|) verification time, which is called “Doubly Efficient”. And zkFOAKS is transparent, without any setup.