Cartesi Launches Upgraded Honeypot dApp with Functional Fraud-Proof System