Cartesi Launches Upgraded Version of Honeypot dApp with Fraud-Proof System