Skip to content

Commit c7995c2

Browse files
committed
dev: update rand crate
1 parent ee33b01 commit c7995c2

File tree

29 files changed

+148
-133
lines changed

29 files changed

+148
-133
lines changed

Cargo.lock

Lines changed: 21 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ bytemuck = { version = "1.14.3", default-features = false }
2828
tracing = { version = "0.1.40", default-features = false }
2929
tracing-subscriber = { version = "0.3.18", default-features = false }
3030
rayon = { version = "1.10.0", optional = false }
31-
rand = { version = "0.8.5", default-features = false, features = ["small_rng"] }
31+
rand = { version = "0.9.2", default-features = false, features = ["small_rng"] }
3232
serde = { version = "1.0", default-features = false, features = ["derive"] }
3333
hashbrown = ">=0.15.2"
3434
std-shims = { path = "crates/std-shims", default-features = false }

crates/constraint-framework/src/expr/simplify.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -175,9 +175,9 @@ mod tests {
175175

176176
let mut rng = SmallRng::seed_from_u64(0);
177177
let columns: HashMap<(usize, usize, isize), BaseField> =
178-
HashMap::from([((1, 0, 0), rng.gen()), ((1, 1, 0), rng.gen())]);
179-
let vars: HashMap<String, BaseField> = HashMap::from([("a".to_string(), rng.gen())]);
180-
let ext_vars: HashMap<String, SecureField> = HashMap::from([("b".to_string(), rng.gen())]);
178+
HashMap::from([((1, 0, 0), rng.random()), ((1, 1, 0), rng.random())]);
179+
let vars: HashMap<String, BaseField> = HashMap::from([("a".to_string(), rng.random())]);
180+
let ext_vars: HashMap<String, SecureField> = HashMap::from([("b".to_string(), rng.random())]);
181181

182182
let base_expr = (((zero.clone() + c0.clone()) + (a.clone() + zero.clone()))
183183
* ((-c1.clone()) + (-c0.clone()))

crates/examples/src/xor/gkr_lookups/mle_eval.rs

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -782,9 +782,9 @@ mod tests {
782782
let mut rng = SmallRng::seed_from_u64(0);
783783
let log_size = N_VARIABLES as u32;
784784
let size = 1 << log_size;
785-
let mle_coeffs = (0..size).map(|_| rng.gen::<SecureField>()).collect();
785+
let mle_coeffs = (0..size).map(|_| rng.random::<SecureField>()).collect();
786786
let mle = Mle::<SimdBackend, SecureField>::new(mle_coeffs);
787-
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.gen());
787+
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.random());
788788
let claim = mle_eval_at_point(&mle, &eval_point);
789789
// Setup protocol.
790790
let twiddles = SimdBackend::precompute_twiddles(
@@ -858,9 +858,9 @@ mod tests {
858858
let mut rng = SmallRng::seed_from_u64(0);
859859
let log_size = N_VARIABLES as u32;
860860
let size = 1 << log_size;
861-
let mle_coeffs = (0..size).map(|_| rng.gen::<SecureField>()).collect();
861+
let mle_coeffs = (0..size).map(|_| rng.random::<SecureField>()).collect();
862862
let mle = Mle::<SimdBackend, SecureField>::new(mle_coeffs);
863-
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.gen());
863+
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.random());
864864
let claim = mle_eval_at_point(&mle, &eval_point);
865865
// Setup protocol.
866866
let twiddles = SimdBackend::precompute_twiddles(
@@ -947,9 +947,9 @@ mod tests {
947947
let mut rng = SmallRng::seed_from_u64(0);
948948
let log_size = N_VARIABLES as u32;
949949
let size = 1 << log_size;
950-
let mle_coeffs = (0..size).map(|_| rng.gen::<SecureField>()).collect();
950+
let mle_coeffs = (0..size).map(|_| rng.random::<SecureField>()).collect();
951951
let mle = Mle::<SimdBackend, SecureField>::new(mle_coeffs);
952-
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.gen());
952+
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.random());
953953
let claim = mle_eval_at_point(&mle, &eval_point);
954954
let mle_eval_point = MleEvalPoint::new(&eval_point);
955955
let mle_eval_trace = build_trace(&mle, &eval_point, claim);
@@ -994,7 +994,7 @@ mod tests {
994994
const AUX_TRACE: usize = 1;
995995
let mut rng = SmallRng::seed_from_u64(0);
996996
let mle = Mle::new(repeat_n(SecureField::one(), 1 << N_VARIABLES).collect());
997-
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.gen());
997+
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.random());
998998
let mle_eval_point = MleEvalPoint::new(&eval_point);
999999
let trace = build_trace(&mle, &eval_point, mle_eval_at_point(&mle, &eval_point));
10001000
let carry_quotients_col = gen_carry_quotient_col(&eval_point).into_coordinate_evals();
@@ -1031,7 +1031,7 @@ mod tests {
10311031
const AUX_TRACE: usize = 1;
10321032
let mut rng = SmallRng::seed_from_u64(0);
10331033
let mle = Mle::new(repeat_n(SecureField::one(), 1 << N_VARIABLES).collect());
1034-
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.gen());
1034+
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.random());
10351035
let mle_eval_point = MleEvalPoint::new(&eval_point);
10361036
let trace = build_trace(&mle, &eval_point, mle_eval_at_point(&mle, &eval_point));
10371037
let carry_quotients_col = gen_carry_quotient_col(&eval_point).into_coordinate_evals();
@@ -1068,7 +1068,7 @@ mod tests {
10681068
const AUX_TRACE: usize = 1;
10691069
let mut rng = SmallRng::seed_from_u64(0);
10701070
let mle = Mle::new(repeat_n(SecureField::one(), 1 << N_VARIABLES).collect());
1071-
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.gen());
1071+
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.random());
10721072
let mle_eval_point = MleEvalPoint::new(&eval_point);
10731073
let trace = build_trace(&mle, &eval_point, mle_eval_at_point(&mle, &eval_point));
10741074
let carry_quotients_col = gen_carry_quotient_col(&eval_point).into_coordinate_evals();
@@ -1102,7 +1102,7 @@ mod tests {
11021102
fn inclusive_prefix_sum_constraints_with_log_size_5() {
11031103
const LOG_SIZE: u32 = 5;
11041104
let mut rng = SmallRng::seed_from_u64(0);
1105-
let vals = (0..1 << LOG_SIZE).map(|_| rng.gen()).collect_vec();
1105+
let vals = (0..1 << LOG_SIZE).map(|_| rng.random()).collect_vec();
11061106
let cumulative_sum = vals.iter().sum::<SecureField>();
11071107
let cumulative_sum_shift = cumulative_sum / BaseField::from(vals.len());
11081108
let trace = TreeVec::new(vec![gen_prefix_sum_trace(vals)]);
@@ -1139,7 +1139,7 @@ mod tests {
11391139
fn eval_carry_quotient_col_works() {
11401140
const N_VARIABLES: usize = 5;
11411141
let mut rng = SmallRng::seed_from_u64(0);
1142-
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.gen());
1142+
let eval_point: [SecureField; N_VARIABLES] = array::from_fn(|_| rng.random());
11431143
let mle_eval_point = MleEvalPoint::new(&eval_point);
11441144
let col_eval = gen_carry_quotient_col(&eval_point);
11451145
let twiddles = SimdBackend::precompute_twiddles(col_eval.domain.half_coset);

crates/stwo/benches/eval_at_point.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,8 @@ const LOG_SIZE: u32 = 20;
1212
fn bench_eval_at_secure_point<B: PolyOps>(c: &mut Criterion, id: &str) {
1313
let poly = CirclePoly::new((0..1 << LOG_SIZE).map(BaseField::from).collect());
1414
let mut rng = SmallRng::seed_from_u64(0);
15-
let x = rng.gen();
16-
let y = rng.gen();
15+
let x = rng.random();
16+
let y = rng.random();
1717
let point = CirclePoint { x, y };
1818
c.bench_function(
1919
&format!("{id} eval_at_secure_field_point 2^{LOG_SIZE}"),

crates/stwo/benches/field.rs

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,8 @@ pub const N_STATE_ELEMENTS: usize = 8;
1212

1313
pub fn m31_operations_bench(c: &mut Criterion) {
1414
let mut rng = SmallRng::seed_from_u64(0);
15-
let elements: Vec<M31> = (0..N_ELEMENTS).map(|_| rng.gen()).collect();
16-
let mut state: [M31; N_STATE_ELEMENTS] = rng.gen();
15+
let elements: Vec<M31> = (0..N_ELEMENTS).map(|_| rng.random()).collect();
16+
let mut state: [M31; N_STATE_ELEMENTS] = rng.random();
1717

1818
c.bench_function("M31 mul", |b| {
1919
b.iter(|| {
@@ -42,8 +42,8 @@ pub fn m31_operations_bench(c: &mut Criterion) {
4242

4343
pub fn cm31_operations_bench(c: &mut Criterion) {
4444
let mut rng = SmallRng::seed_from_u64(0);
45-
let elements: Vec<CM31> = (0..N_ELEMENTS).map(|_| rng.gen()).collect();
46-
let mut state: [CM31; N_STATE_ELEMENTS] = rng.gen();
45+
let elements: Vec<CM31> = (0..N_ELEMENTS).map(|_| rng.random()).collect();
46+
let mut state: [CM31; N_STATE_ELEMENTS] = rng.random();
4747

4848
c.bench_function("CM31 mul", |b| {
4949
b.iter(|| {
@@ -72,8 +72,8 @@ pub fn cm31_operations_bench(c: &mut Criterion) {
7272

7373
pub fn qm31_operations_bench(c: &mut Criterion) {
7474
let mut rng = SmallRng::seed_from_u64(0);
75-
let elements: Vec<SecureField> = (0..N_ELEMENTS).map(|_| rng.gen()).collect();
76-
let mut state: [SecureField; N_STATE_ELEMENTS] = rng.gen();
75+
let elements: Vec<SecureField> = (0..N_ELEMENTS).map(|_| rng.random()).collect();
76+
let mut state: [SecureField; N_STATE_ELEMENTS] = rng.random();
7777

7878
c.bench_function("SecureField mul", |b| {
7979
b.iter(|| {
@@ -102,7 +102,7 @@ pub fn qm31_operations_bench(c: &mut Criterion) {
102102

103103
pub fn simd_m31_operations_bench(c: &mut Criterion) {
104104
let mut rng = SmallRng::seed_from_u64(0);
105-
let elements: Vec<PackedBaseField> = (0..N_ELEMENTS / N_LANES).map(|_| rng.gen()).collect();
105+
let elements: Vec<PackedBaseField> = (0..N_ELEMENTS / N_LANES).map(|_| rng.random()).collect();
106106
let mut states = vec![PackedBaseField::broadcast(BaseField::one()); N_STATE_ELEMENTS];
107107

108108
c.bench_function("mul_simd", |b| {
@@ -145,6 +145,6 @@ pub fn simd_m31_operations_bench(c: &mut Criterion) {
145145
criterion_group!(
146146
name = benches;
147147
config = Criterion::default().sample_size(10);
148-
targets = m31_operations_bench, cm31_operations_bench, qm31_operations_bench,
148+
targets = m31_operations_bench, cm31_operations_bench, qm31_operations_bench,
149149
simd_m31_operations_bench);
150150
criterion_main!(benches);

crates/stwo/benches/lookups.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use criterion::{criterion_group, criterion_main, BatchSize, Criterion};
2-
use rand::distributions::{Distribution, Standard};
2+
use rand::distr::{Distribution, StandardUniform};
33
use rand::rngs::SmallRng;
44
use rand::{Rng, SeedableRng};
55
use stwo::core::channel::Blake2sChannel;
@@ -83,9 +83,9 @@ fn bench_gkr_logup_singles<B: GkrOps>(c: &mut Criterion, id: &str) {
8383
/// Generates a random multilinear polynomial.
8484
fn gen_random_mle<B: MleOps<F>, F: Field>(rng: &mut impl Rng, n_variables: u32) -> Mle<B, F>
8585
where
86-
Standard: Distribution<F>,
86+
StandardUniform: Distribution<F>,
8787
{
88-
Mle::new((0..1 << n_variables).map(|_| rng.gen()).collect())
88+
Mle::new((0..1 << n_variables).map(|_| rng.random()).collect())
8989
}
9090

9191
fn gkr_lookup_benches(c: &mut Criterion) {

crates/stwo/benches/pcs.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ fn bench_pcs<B: BackendForChannel<Blake2sMerkleChannel>>(c: &mut Criterion, id:
4646
let evals: Vec<CircleEvaluation<B, BaseField, BitReversedOrder>> = iter::repeat_with(|| {
4747
CircleEvaluation::new(
4848
small_domain.circle_domain(),
49-
(0..1 << LOG_COSET_SIZE).map(|_| rng.gen()).collect(),
49+
(0..1 << LOG_COSET_SIZE).map(|_| rng.random()).collect(),
5050
)
5151
})
5252
.take(N_POLYS)

crates/stwo/src/core/air/accumulation.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -53,13 +53,13 @@ mod tests {
5353
const MAX_LOG_SIZE: u32 = 10;
5454
const MASK: u32 = P;
5555
let log_sizes = (0..100)
56-
.map(|_| rng.gen_range(4..MAX_LOG_SIZE))
56+
.map(|_| rng.random_range(4..MAX_LOG_SIZE))
5757
.collect::<Vec<_>>();
5858

5959
// Generate random evaluations.
6060
let evaluations = log_sizes
6161
.iter()
62-
.map(|_| M31::from_u32_unchecked(rng.gen::<u32>() & MASK))
62+
.map(|_| M31::from_u32_unchecked(rng.random::<u32>() & MASK))
6363
.collect::<Vec<_>>();
6464
let alpha = qm31!(2, 3, 4, 5);
6565

crates/stwo/src/core/fields/m31.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ use core::ops::{
44
};
55

66
use bytemuck::{Pod, Zeroable};
7-
use rand::distributions::{Distribution, Standard};
7+
use rand::distr::{Distribution, StandardUniform};
88
use serde::{Deserialize, Serialize};
99

1010
use super::{ComplexConjugate, FieldExpOps};
@@ -166,10 +166,10 @@ impl From<i32> for M31 {
166166
}
167167
}
168168

169-
impl Distribution<M31> for Standard {
169+
impl Distribution<M31> for StandardUniform {
170170
// Not intended for cryptographic use. Should only be used in tests and benchmarks.
171171
fn sample<R: rand::Rng + ?Sized>(&self, rng: &mut R) -> M31 {
172-
M31(rng.gen_range(0..P))
172+
M31(rng.random_range(0..P))
173173
}
174174
}
175175

@@ -239,8 +239,8 @@ mod tests {
239239
fn test_basic_ops() {
240240
let mut rng = SmallRng::seed_from_u64(0);
241241
for _ in 0..10000 {
242-
let x: u32 = rng.gen::<u32>() % P;
243-
let y: u32 = rng.gen::<u32>() % P;
242+
let x: u32 = rng.random::<u32>() % P;
243+
let y: u32 = rng.random::<u32>() % P;
244244
assert_eq!(m31!(add_p(x, y)), m31!(x) + m31!(y));
245245
assert_eq!(m31!(mul_p(x, y)), m31!(x) * m31!(y));
246246
assert_eq!(m31!(neg_p(x)), -m31!(x));

0 commit comments

Comments
 (0)