chore: Upgrade dependencies

changelog: ignore

Author: chrono-raven6i90

Cargo.toml

@@ -61,7 +61,7 @@ assert2 = "0.3"
 colored = "3.0"
 criterion = { package = "codspeed-criterion-compat", version = "2.7", features = ["html_reports"] }
 fs-err = "3.1"
-get-size2 = { version = "0.3", features = ["derive"] }
+get-size2 = { version = "0.5", features = ["derive"] }
 indexmap = { version = "2.7.1", features = ["rayon"] }
 insta = "1.42.1"
 itertools = "0.14"
@@ -73,7 +73,7 @@ nom-language = "0.1.0"
 num-traits = "0.2"
 prettyplease = "0.2"
 proc-macro2 = "1.0"
-proptest = "1.6"
+proptest = "1.7"
 proptest-arbitrary-interop = "0.1"
 quote = "1.0"
 rand = "0.9.0"
@@ -84,7 +84,7 @@ strum = { version = "0.27", features = ["derive"] }
 syn = "2.0"
 test-strategy = "0.4.1"
 thiserror = "2.0"
-twenty-first = "0.49.0"
+twenty-first = "0.50.0"
 unicode-width = "0.2"
 
 [workspace.lints.rust]

triton-air/src/table_column.rs

@@ -44,14 +44,14 @@ pub enum ProgramMainColumn {
     /// [`Address`] modulo [`Rate`].
     ///
     /// [`Address`]: ProgramMainColumn::Address
-    /// [`Rate`]: twenty_first::math::tip5::RATE
+    /// [`Rate`]: twenty_first::tip5::RATE
     IndexInChunk,
 
     /// The inverse-or-zero of [`Rate`] - 1 - [`IndexInChunk`].
     /// Helper variable to guarantee [`IndexInChunk`]'s correct transition.
     ///
     /// [`IndexInChunk`]: ProgramMainColumn::IndexInChunk
-    /// [`Rate`]: twenty_first::math::tip5::RATE
+    /// [`Rate`]: twenty_first::tip5::RATE
     MaxMinusIndexInChunkInv,
 
     /// Padding indicator for absorbing the program into the Sponge.
@@ -78,7 +78,7 @@ pub enum ProgramAuxColumn {
     /// Resets to zero after each chunk.
     /// Relevant for program attestation.
     ///
-    /// [rate]: twenty_first::math::tip5::RATE
+    /// [rate]: twenty_first::tip5::RATE
     PrepareChunkRunningEvaluation,
 
     /// An evaluation argument over all [`RATE`][rate]-sized chunks of
@@ -89,7 +89,7 @@ pub enum ProgramAuxColumn {
     /// The counterpart to
     /// [`RcvChunkEvalArg`](HashAuxColumn::ReceiveChunkRunningEvaluation).
     ///
-    /// [rate]: twenty_first::math::tip5::RATE
+    /// [rate]: twenty_first::tip5::RATE
     /// [prep]: ProgramAuxColumn::PrepareChunkRunningEvaluation
     SendChunkRunningEvaluation,
 }
@@ -350,7 +350,7 @@ pub enum HashAuxColumn {
     /// The counterpart to
     /// [`SendChunkEvalArg`](ProgramAuxColumn::SendChunkRunningEvaluation).
     ///
-    /// [rate]: twenty_first::math::tip5::RATE
+    /// [rate]: twenty_first::tip5::RATE
     ReceiveChunkRunningEvaluation,
 
     HashInputRunningEvaluation,

triton-vm/src/challenges.rs

@@ -27,8 +27,8 @@ use std::ops::Index;
 use std::ops::Range;
 use std::ops::RangeInclusive;
 use strum::EnumCount;
-use twenty_first::math::tip5;
 use twenty_first::prelude::*;
+use twenty_first::tip5;
 
 use air::challenge_id::ChallengeId;
 use air::cross_table_argument::CrossTableArg;

triton-vm/src/table/master_table.rs

@@ -138,9 +138,9 @@ use num_traits::Zero;
 use rand::distr::StandardUniform;
 use rand::prelude::*;
 use strum::EnumCount;
-use twenty_first::math::tip5::RATE;
 use twenty_first::math::traits::FiniteField;
 use twenty_first::prelude::*;
+use twenty_first::tip5::RATE;
 use twenty_first::util_types::sponge;
 
 use crate::aet::AlgebraicExecutionTrace;