Skip to content

Commit f63295c

Browse files
committed
chore(deps)!: Upgrade dependencies
1 parent a4a5617 commit f63295c

9 files changed

+10
-20
lines changed

tasm-lib/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ serde = { version = "1", features = ["derive"] }
3636
serde_json = "1"
3737
strum = { version = "0.26", features = ["derive"] }
3838
tasm-object-derive.workspace = true
39-
triton-vm = { version = "0.44.1", default-features = false }
39+
triton-vm = { version = "0.45.0", default-features = false }
4040

4141
[dev-dependencies.cargo-husky]
4242
version = "1"

tasm-lib/src/hashing/merkle_root.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -183,7 +183,6 @@ impl BasicSnippet for MerkleRoot {
183183
#[cfg(test)]
184184
mod tests {
185185
use num_traits::Zero;
186-
use twenty_first::util_types::merkle_tree::CpuParallel;
187186
use twenty_first::util_types::merkle_tree::MerkleTree;
188187

189188
use super::*;
@@ -213,7 +212,7 @@ mod tests {
213212
) {
214213
let leafs_pointer = stack.pop().unwrap();
215214
let leafs = *Vec::<Digest>::decode_from_memory(memory, leafs_pointer).unwrap();
216-
let mt = MerkleTree::new::<CpuParallel>(&leafs).unwrap();
215+
let mt = MerkleTree::par_new(&leafs).unwrap();
217216

218217
// Write entire Merkle tree to memory, because that's what the VM does
219218
let pointer = dynamic_allocator(memory);

tasm-lib/src/hashing/merkle_root_from_xfes_generic.rs

Lines changed: 2 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -175,8 +175,6 @@ impl BasicSnippet for MerkleRootFromXfesGeneric {
175175
#[cfg(test)]
176176
mod tests {
177177
use num::One;
178-
use twenty_first::prelude::MerkleTreeMaker;
179-
use twenty_first::util_types::merkle_tree::CpuParallel;
180178
use twenty_first::util_types::merkle_tree::MerkleTree;
181179

182180
use super::*;
@@ -201,8 +199,7 @@ mod tests {
201199
);
202200
let leafs: Vec<Digest> = leafs.into_iter().map(|x| x.into()).collect();
203201

204-
let mt: MerkleTree = CpuParallel::from_digests(&leafs).unwrap();
205-
let root = mt.root();
202+
let mt = MerkleTree::par_new(&leafs).unwrap();
206203

207204
// Write entire Merkle tree to memory, because that's what the VM does
208205
let digests_in_layer_one = dynamic_allocator(memory);
@@ -228,11 +225,7 @@ mod tests {
228225
}
229226
}
230227

231-
stack.push(root.0[4]);
232-
stack.push(root.0[3]);
233-
stack.push(root.0[2]);
234-
stack.push(root.0[1]);
235-
stack.push(root.0[0]);
228+
stack.extend(mt.root().reversed().values());
236229
}
237230

238231
fn pseudorandom_initial_state(

tasm-lib/src/hashing/merkle_root_from_xfes_static_size.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -120,7 +120,7 @@ mod tests {
120120
let xfes_pointer = stack.pop().unwrap();
121121
let xfes = array_from_memory::<XFieldElement>(xfes_pointer, self.num_leaves(), memory);
122122
let as_digests: Vec<Digest> = xfes.into_iter().map(|x| x.into()).collect_vec();
123-
let mt = MerkleTree::new::<CpuParallel>(&as_digests).unwrap();
123+
let mt = MerkleTree::par_new(&as_digests).unwrap();
124124

125125
let num_not_leaf_nodes = self.num_leaves() as u32;
126126

tasm-lib/src/hashing/merkle_root_from_xfes_wrapper.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -134,7 +134,7 @@ mod tests {
134134
"This algorithm currently can currently only handle lengths of 256, 512, and 1024."
135135
);
136136
let as_digests: Vec<Digest> = xfes.into_iter().map(|x| x.into()).collect_vec();
137-
let mt = MerkleTree::new::<CpuParallel>(&as_digests).unwrap();
137+
let mt = MerkleTree::par_new(&as_digests).unwrap();
138138
let num_not_leaf_nodes = xfes_len as u32;
139139

140140
// Modify statically allocated memory as the above snippet does.

tasm-lib/src/hashing/merkle_root_static_size.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -119,7 +119,7 @@ mod tests {
119119
let leafs_pointer =
120120
self.nodes_pointer + bfe!(self.num_leaves() as u32) * bfe!(Digest::LEN as u32);
121121
let leafs = array_from_memory::<Digest>(leafs_pointer, self.num_leaves(), memory);
122-
let mt = MerkleTree::new::<CpuParallel>(&leafs).unwrap();
122+
let mt = MerkleTree::par_new(&leafs).unwrap();
123123

124124
let num_not_leaf_nodes = self.num_leaves() as u32;
125125

tasm-lib/src/verifier/fri/verify.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,6 @@ use twenty_first::math::polynomial::barycentric_evaluate;
1212
use twenty_first::math::polynomial::Polynomial;
1313
use twenty_first::math::traits::ModPowU32;
1414
use twenty_first::math::x_field_element::EXTENSION_DEGREE;
15-
use twenty_first::prelude::MerkleTreeMaker;
16-
use twenty_first::util_types::merkle_tree::CpuParallel;
1715
use twenty_first::util_types::merkle_tree::MerkleTree;
1816
use twenty_first::util_types::merkle_tree::MerkleTreeInclusionProof;
1917

@@ -954,7 +952,7 @@ impl FriVerify {
954952

955953
// Check if last codeword matches the given root
956954
let codeword_digests = Self::map_convert_xfe_to_digest(&last_codeword);
957-
let mt: MerkleTree = CpuParallel::from_digests(&codeword_digests).unwrap();
955+
let mt: MerkleTree = MerkleTree::par_new(&codeword_digests).unwrap();
958956
let last_codeword_merkle_root = mt.root();
959957

960958
let last_root = roots.last().unwrap();

tasm-lib/src/verifier/fri/verify_fri_authentication_paths.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -264,7 +264,7 @@ mod tests {
264264
.collect_vec();
265265
let leafs_as_digest: Vec<Digest> =
266266
xfe_leafs.iter().map(|&xfe| xfe.into()).collect_vec();
267-
let tree = MerkleTree::new::<CpuParallel>(&leafs_as_digest).unwrap();
267+
let tree = MerkleTree::par_new(&leafs_as_digest).unwrap();
268268
let root = tree.root();
269269

270270
let a_indices = (0..num_indices)

tasm-lib/src/verifier/master_table/verify_table_rows.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -390,7 +390,7 @@ mod tests {
390390
leafs[*leaf_index] = Tip5::hash_varlen(leaf_preimage);
391391
}
392392

393-
let merkle_tree: MerkleTree = CpuParallel::from_digests(&leafs).unwrap();
393+
let merkle_tree = MerkleTree::par_new(&leafs).unwrap();
394394
let merkle_root = merkle_tree.root();
395395
let merkle_root_pointer: BFieldElement = rng.gen();
396396
encode_to_memory(&mut memory, merkle_root_pointer, &merkle_root);

0 commit comments

Comments
 (0)