Web3 Meets Behavioral Economics: An Example of Profitable Crypto Lottery Mechanism Design | IEEE Conference Publication | IEEE Xplore