Axiom: The first ZK coprocessor scaling data-rich applications on Ethereum