Вы можете использовать стандартные библиотеки генерации случайных чисел Java внутри потоков Corda, например ::10000
new Random(); int value = rand.nextInt(100);
Только внутри Contract.verify
доступ к генераторам случайных чисел ограничен, поскольку этот код должен быть детерминированным.