diff --git a/Cargo.lock b/Cargo.lock index 37318a25d..31b3f6116 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -190,15 +190,6 @@ version = "1.0.102" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "7f202df86484c868dbad7eaa557ef785d5c66295e41b460ef922eca0723b842c" -[[package]] -name = "approx" -version = "0.5.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cab112f0a86d568ea0e627cc1d6be74a1e9cd55214684db5561995f6dad897c6" -dependencies = [ - "num-traits", -] - [[package]] name = "arbitrary" version = "1.4.2" @@ -7136,9 +7127,8 @@ dependencies = [ [[package]] name = "whir" version = "0.1.0" -source = "git+https://github.com/WizardOfMenlo/whir/?rev=20aecf708c34b91f652c851f0722177bf08315af#20aecf708c34b91f652c851f0722177bf08315af" +source = "git+https://github.com/WizardOfMenlo/whir/?rev=790bdf02cc469700fcb227aae48c8fbc25ca9f49#790bdf02cc469700fcb227aae48c8fbc25ca9f49" dependencies = [ - "approx", "ark-ff 0.5.0", "ark-serialize 0.5.0", "ark-std 0.5.0", @@ -7151,7 +7141,6 @@ dependencies = [ "digest 0.10.7", "hex", "hex-literal", - "itertools 0.14.0", "ordered-float", "rayon", "serde", diff --git a/Cargo.toml b/Cargo.toml index 55413bdff..73921c102 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -189,4 +189,4 @@ spongefish = { git = "https://github.com/arkworks-rs/spongefish", features = [ "ark-ff", "sha2", ], rev = "fcc277f8a857fdeeadd7cca92ab08de63b1ff1a1" } spongefish-pow = { git = "https://github.com/arkworks-rs/spongefish", rev = "fcc277f8a857fdeeadd7cca92ab08de63b1ff1a1" } -whir = { git = "https://github.com/WizardOfMenlo/whir/", rev = "20aecf708c34b91f652c851f0722177bf08315af", features = ["tracing"] } +whir = { git = "https://github.com/WizardOfMenlo/whir/", rev = "790bdf02cc469700fcb227aae48c8fbc25ca9f49", features = ["tracing", "rs_in_order"] } diff --git a/provekit/common/src/lib.rs b/provekit/common/src/lib.rs index ce0cd4d2f..a4e5462a8 100644 --- a/provekit/common/src/lib.rs +++ b/provekit/common/src/lib.rs @@ -46,7 +46,7 @@ pub fn register_ntt() { INIT.call_once(|| { // Register NTT for polynomial operations let ntt: Arc> = - Arc::new(whir::algebra::ntt::ArkNtt::::default()); + Arc::new(whir::algebra::ntt::NttEngine::::new_from_fftfield()); whir::algebra::ntt::NTT.insert(ntt); // Register Skyscraper (ProveKit-specific); WHIR's built-in engines