How Cartesi's New Fraud-Proof System Could Change Rollup Security Forever | HackerNoon