We had a Web3 lottery idea, but we faced an issue when we deployed the smart contract written in Tact, so we planned to rewrite it using FunC. The logic is simple: The user buys...