snarkvm_console_program/data/literal/
sample.rs

1// Copyright (c) 2019-2025 Provable Inc.
2// This file is part of the snarkVM library.
3
4// Licensed under the Apache License, Version 2.0 (the "License");
5// you may not use this file except in compliance with the License.
6// You may obtain a copy of the License at:
7
8// http://www.apache.org/licenses/LICENSE-2.0
9
10// Unless required by applicable law or agreed to in writing, software
11// distributed under the License is distributed on an "AS IS" BASIS,
12// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13// See the License for the specific language governing permissions and
14// limitations under the License.
15
16use super::*;
17
18impl<N: Network> Literal<N> {
19    /// Returns a randomly-sampled literal of the given literal type.
20    pub fn sample<R: Rng + CryptoRng>(literal_type: LiteralType, rng: &mut R) -> Self {
21        match literal_type {
22            LiteralType::Address => Literal::Address(Address::rand(rng)),
23            LiteralType::Boolean => Literal::Boolean(Boolean::rand(rng)),
24            LiteralType::Field => Literal::Field(Field::rand(rng)),
25            LiteralType::Group => Literal::Group(Group::rand(rng)),
26            LiteralType::I8 => Literal::I8(I8::rand(rng)),
27            LiteralType::I16 => Literal::I16(I16::rand(rng)),
28            LiteralType::I32 => Literal::I32(I32::rand(rng)),
29            LiteralType::I64 => Literal::I64(I64::rand(rng)),
30            LiteralType::I128 => Literal::I128(I128::rand(rng)),
31            LiteralType::U8 => Literal::U8(U8::rand(rng)),
32            LiteralType::U16 => Literal::U16(U16::rand(rng)),
33            LiteralType::U32 => Literal::U32(U32::rand(rng)),
34            LiteralType::U64 => Literal::U64(U64::rand(rng)),
35            LiteralType::U128 => Literal::U128(U128::rand(rng)),
36            LiteralType::Scalar => Literal::Scalar(Scalar::rand(rng)),
37            LiteralType::Signature => Literal::Signature(Box::new(Signature::from((
38                Scalar::rand(rng),
39                Scalar::rand(rng),
40                ComputeKey::try_from(PrivateKey::new(rng).expect("Failed to sample a PrivateKey."))
41                    .expect("ComputeKey::try_from failed."),
42            )))),
43            LiteralType::String => Literal::String(StringType::rand(rng)),
44        }
45    }
46}
snarkvm_console_program/data/literal/sample.rs

snarkvm_console_program/data/literal/
sample.rs
