Ardor lightweight contracts have a fast and secure method for random number generation.
Furthermore, these random numbers must be non-predictable so that developers, users, and block generators cannot predict them in advance and use this knowledge to make a profit.
The key to be able to generate reproducible non-predictable random numbers are:
- All nodes should use the same random number generator, this should be simple as long as all nodes use the same runtime engine such a JVM or EVM.
- All nodes should agree on the random seed; a unique number used to initialize the random number generator. As long as all nodes agree on the same seed, all nodes will generate the same reproducible sequence of random numbers.
- The seed should not be simple to predict in advance. If users can predict the seed they can adjust their actions to make the contract output favorable for their cause. For example, predict the chosen number in a roulette game.
During normal operation, a blockchain generates data which is somewhat random like block ids or transaction ids. The problem is that a transaction id is simple to manipulate by the account submitting the transaction, and a block id is simple to manipulate by the block generator. This means that using this information alone to initialize a random seed will provide power users and block generators an unfair advantage.
As we can see, since you cannot rely directly on data generated within the blockchain, generating this reproducible and non-predictable seed is not a simple task.
You may ask, can we use some kind of Oracle contract to obtain random data from an external source (like random.org)? Sure we can, but this opens up other attack vectors like DNS spoofing or potential for a direct hack of random.org. In addition, it is expensive to write this data into the blockchain for later use by other contracts. With that in mind, who is financing the operation of this Oracle contract, and what are their motives?
Another approach for generating random numbers, which is promoted by the Ethereum team, is Randao. The idea is to use a two-stage approach and a complex incentive structure to compensate users for registering random data on the blockchain. This idea is slow and expensive, and surely we can do better.
Introducing the Ardor Lightweight Contract Random Seed Generation
Fast forward to lightweight contracts. In the Ardor platform, we can use two properties unique to lightweight contracts.
First, only specific nodes execute contracts. This provides us with a unique source of random data unavailable to other protocols, namely the contract runner node itself.
Second, the ability to send encrypted messages is built natively into the Ardor blockchain. This allows users to provide random data directly to the contract runner account without revealing it to anyone else.
Given these properties the contract can now compose the random seed from three different independent sources:
- The contract runner random seed, stored securely in the private node configuration.
- The trigger transaction encrypted seed, attached as an encrypted message to the transaction that only the contract runner account can decrypt.
- The block id, which only the the block generator can control.
The contract runner concatenates and hashes these three sources of randomness together to generate a reproducible seed. This seed is difficult to predict as the account submitting the transaction and the block generator need to cooperate and collude with the contract runner. The block generator and the account triggering the contract cannot predict the random numbers alone.
But as always with lightweight contracts, we still need to trust the contract runner not to cheat, and to verify this, the contract runner must share its secret random seed securely with a validator node before executing the contract. Validators can then repeat the seed calculation and verify that the contract runner indeed executed the contract stored in the blockchain and calculated the random seed according to the protocol. In this case, a multi-signature setup where the validator account needs to approve every transaction submitted by the contract runner provides extra protection.
Lightweight contracts provide a simple and pragmatic solution to the complex problem of generating reproducible non-predictable random numbers.
Learn more about Lightweight Contracts in Ardor.