A trustless computation platform that allows moving dApps heavy computation off-chain while preserving on-chain security guarantees using ZK Proofs