diff --git a/benches/Cargo.toml b/benches/Cargo.toml index c993f51b4..32aee2b7d 100644 --- a/benches/Cargo.toml +++ b/benches/Cargo.toml @@ -9,8 +9,8 @@ ark-test-curves = { git = "https://github.com/arkworks-rs/algebra", rev = "ef8f7 ark-std = "0.4.0" rand = "0.8.5" rand_chacha = "0.3.1" -starknet-curve = { git = "https://github.com/xJonathanLEI/starknet-rs" } -starknet-ff = { git = "https://github.com/xJonathanLEI/starknet-rs" } +starknet-curve = { git = "https://github.com/xJonathanLEI/starknet-rs", rev="f33d3522eca61f6d9f7288527e8b048e84deeefd" } +starknet-ff = { git = "https://github.com/xJonathanLEI/starknet-rs", rev="f33d3522eca61f6d9f7288527e8b048e84deeefd" } [dependencies.lambdaworks-math] path = "../math" diff --git a/examples/merkle-tree-cli/Cargo.toml b/examples/merkle-tree-cli/Cargo.toml index 3c3e2714c..33bfa8577 100644 --- a/examples/merkle-tree-cli/Cargo.toml +++ b/examples/merkle-tree-cli/Cargo.toml @@ -15,4 +15,4 @@ lambdaworks-crypto = { workspace = true } lambdaworks-math = { workspace = true, features = ["lambdaworks-serde-string"] } serde = { version = "1.0" } serde_json = "1" -bincode = { version = "2.0.0-rc.2", tag = "v2.0.0-rc.2", git = "https://github.com/bincode-org/bincode.git", features= ['serde'] } +bincode = { version = "2.0.1", features = ["serde"] } diff --git a/examples/prove-miden/Cargo.toml b/examples/prove-miden/Cargo.toml index e41506b92..09d6a8053 100644 --- a/examples/prove-miden/Cargo.toml +++ b/examples/prove-miden/Cargo.toml @@ -13,13 +13,16 @@ path = "src/main.rs" lambdaworks-crypto = { workspace = true } lambdaworks-math = { workspace = true, features = ["lambdaworks-serde-string"] } lambdaworks-winterfell-adapter = { workspace = true } -stark-platinum-prover = { workspace = true, features = ["instruments", "parallel"] } +stark-platinum-prover = { workspace = true, features = [ + "instruments", + "parallel", +] } serde = { version = "1.0" } serde_json = "1" -bincode = { version = "2.0.0-rc.2", tag = "v2.0.0-rc.2", git = "https://github.com/bincode-org/bincode.git", features= ['serde'] } -miden-core = { package = "miden-core" , version = "0.7"} +bincode = { version = "2.0.1", features = ["serde"] } +miden-core = { package = "miden-core", version = "0.7" } miden-assembly = { package = "miden-assembly", version = "0.7" } miden-processor = { package = "miden-processor", version = "0.7" } -miden-air = { package = "miden-air", version = "0.7"} +miden-air = { package = "miden-air", version = "0.7" } winter-prover = { package = "winter-prover", version = "0.6.4" } diff --git a/exercises/message/Cargo.toml b/exercises/message/Cargo.toml index b65f691d9..50a056d09 100644 --- a/exercises/message/Cargo.toml +++ b/exercises/message/Cargo.toml @@ -12,8 +12,8 @@ lambdaworks-math = { git = "https://github.com/lambdaclass/lambdaworks", rev = " lambdaworks-crypto = { git = "https://github.com/lambdaclass/lambdaworks", rev = "a17b951" } thiserror = "1.0.38" log = "0.4.17" -bincode = { version = "2.0.0-rc.2", tag = "v2.0.0-rc.2", git = "https://github.com/bincode-org/bincode.git" } sha3 = "0.10.6" +bincode = { version = "2.0.1", features = ["serde"] } serde_json = "1.0" num-integer = "0.1.45" itertools = "0.11.0" diff --git a/fuzz/no_gpu_fuzz/Cargo.toml b/fuzz/no_gpu_fuzz/Cargo.toml index d4461cd14..c92501d89 100644 --- a/fuzz/no_gpu_fuzz/Cargo.toml +++ b/fuzz/no_gpu_fuzz/Cargo.toml @@ -17,7 +17,6 @@ ibig = "0.3.6" p3-goldilocks = { git = "https://github.com/Plonky3/Plonky3", rev = "41cd843" } p3-field = { git = "https://github.com/Plonky3/Plonky3", rev = "41cd843" } p3-mersenne-31 = { git = "https://github.com/Plonky3/Plonky3", rev = "41cd843" } -p3-field = { git = "https://github.com/Plonky3/Plonky3", rev = "41cd843" } [[bin]] name = "field_fuzzer" diff --git a/provers/cairo/Cargo.toml b/provers/cairo/Cargo.toml index 60f220736..4f13236fa 100644 --- a/provers/cairo/Cargo.toml +++ b/provers/cairo/Cargo.toml @@ -16,12 +16,14 @@ crate-type = ["cdylib", "rlib"] [dependencies] rand = "0.8.5" -lambdaworks-math = { workspace = true, default-features = true, features = ["lambdaworks-serde-binary"] } +lambdaworks-math = { workspace = true, default-features = true, features = [ + "lambdaworks-serde-binary", +] } lambdaworks-crypto = { workspace = true, default-features = true } stark-platinum-prover = { workspace = true, features = ["wasm"] } thiserror = "1.0.38" log = "0.4.17" -bincode = { version = "2.0.0-rc.2", tag = "v2.0.0-rc.2", git = "https://github.com/bincode-org/bincode.git", features= ['serde'] } +bincode = { version = "2.0.1", features = ["serde"] } # NOTE: For cairo 1 compatibility, add the `cairo-1-hints` feature. cairo-vm = { git = "https://github.com/lambdaclass/cairo-vm", rev = "e61ae177edb94e29470fed23bdda43329b16c057", default-features = false } sha3 = "0.10.6" @@ -52,7 +54,9 @@ wasm-bindgen-test = "0.3.0" [features] test_fiat_shamir = [] -instruments = ["stark-platinum-prover/instruments"]# This enables timing prints in prover and verifier +instruments = [ + "stark-platinum-prover/instruments", +] # This enables timing prints in prover and verifier metal = ["lambdaworks-math/metal"] parallel = ["dep:rayon", "stark-platinum-prover/parallel"] wasm = ["dep:wasm-bindgen", "dep:serde-wasm-bindgen", "dep:web-sys"] diff --git a/provers/cairo/src/wasm_wrappers.rs b/provers/cairo/src/wasm_wrappers.rs index bb850fdc7..32792a7a9 100644 --- a/provers/cairo/src/wasm_wrappers.rs +++ b/provers/cairo/src/wasm_wrappers.rs @@ -3,15 +3,11 @@ use lambdaworks_math::field::element::FieldElement; use lambdaworks_math::field::fields::fft_friendly::stark_252_prime_field::Stark252PrimeField; use serde::{Deserialize, Serialize}; use stark_platinum_prover::proof::options::ProofOptions; -use stark_platinum_prover::proof::stark::StarkProof; use stark_platinum_prover::transcript::StoneProverTranscript; use stark_platinum_prover::verifier::{IsStarkVerifier, Verifier}; use std::collections::HashMap; use wasm_bindgen::prelude::wasm_bindgen; -#[wasm_bindgen] -pub struct Stark252PrimeFieldProof(StarkProof); - #[wasm_bindgen] #[derive(Debug, Clone, Copy, Serialize, Deserialize, Eq, PartialEq, Hash)] pub struct FE(FieldElement); diff --git a/provers/stark/Cargo.toml b/provers/stark/Cargo.toml index 2c181a729..b2ef7a183 100644 --- a/provers/stark/Cargo.toml +++ b/provers/stark/Cargo.toml @@ -9,14 +9,17 @@ license.workspace = true crate-type = ["cdylib", "rlib"] [dependencies] -lambdaworks-math = { workspace = true , features = ["std", "lambdaworks-serde-binary"] } +lambdaworks-math = { workspace = true, features = [ + "std", + "lambdaworks-serde-binary", +] } lambdaworks-crypto = { workspace = true, features = ["std", "serde"] } -miden-core = { git="https://github.com/lambdaclass/miden-vm", optional=true} +miden-core = { git = "https://github.com/lambdaclass/miden-vm", optional = true } rand = "0.8.5" thiserror = "1.0.38" log = "0.4.17" -bincode = { version = "2.0.0-rc.2", tag = "v2.0.0-rc.2", git = "https://github.com/bincode-org/bincode.git" } +bincode = { version = "2.0.1", features = ["serde"] } sha3 = "0.10.6" serde = { version = "1.0", features = ["derive"] } serde_json = "1.0" @@ -30,7 +33,7 @@ rayon = { version = "1.8.0", optional = true } wasm-bindgen = { version = "0.2", optional = true } serde-wasm-bindgen = { version = "0.5", optional = true } web-sys = { version = "0.3.64", features = ['console'], optional = true } -serde_cbor = { version = "0.11.1"} +serde_cbor = { version = "0.11.1" } [dev-dependencies] hex = "0.4.3" @@ -44,7 +47,7 @@ wasm-bindgen-test = "0.3.0" [features] test_fiat_shamir = [] -instruments = [] # This enables timing prints in prover and verifier +instruments = [] # This enables timing prints in prover and verifier metal = ["lambdaworks-math/metal"] parallel = ["dep:rayon", "lambdaworks-crypto/parallel"] wasm = ["dep:wasm-bindgen", "dep:serde-wasm-bindgen", "dep:web-sys"]