Research paper on incentive compatibility in Algorand accepted to AAMAS'23