diff --git a/zkvm-prover/Cargo.lock b/zkvm-prover/Cargo.lock index f66a3b4377..7891fd37be 100644 --- a/zkvm-prover/Cargo.lock +++ b/zkvm-prover/Cargo.lock @@ -755,6 +755,15 @@ version = "1.0.96" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "6b964d184e89d9b6b67dd2715bc8e74cf3107fb2b529990c90cf517326150bf4" +[[package]] +name = "approx" +version = "0.5.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "cab112f0a86d568ea0e627cc1d6be74a1e9cd55214684db5561995f6dad897c6" +dependencies = [ + "num-traits", +] + [[package]] name = "ark-ff" version = "0.3.0" @@ -1133,7 +1142,7 @@ dependencies = [ "arrayvec", "bitcode_derive", "bytemuck", - "glam", + "glam 0.30.0", "serde", ] @@ -1314,6 +1323,20 @@ name = "bytemuck" version = "1.21.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "ef657dfab802224e671f5818e9a4935f9b1957ed18e58292690cc39e7a4092a3" +dependencies = [ + "bytemuck_derive", +] + +[[package]] +name = "bytemuck_derive" +version = "1.8.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "3fa76293b4f7bb636ab88fd78228235b5248b4d05cc589aed610f954af5d7c7a" +dependencies = [ + "proc-macro2", + "quote", + "syn 2.0.98", +] [[package]] name = "byteorder" @@ -1509,7 +1532,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "117725a109d387c937a1533ce01b450cbde6b88abceea8473c4d7a85853cda3c" dependencies = [ "lazy_static", - "windows-sys 0.48.0", + "windows-sys 0.52.0", ] [[package]] @@ -1730,6 +1753,52 @@ dependencies = [ "cipher", ] +[[package]] +name = "cust" +version = "0.3.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "0d6cc71911e179f12483b9734120b45bd00bf64fab085cc4818428523eedd469" +dependencies = [ + "bitflags 1.3.2", + "bytemuck", + "cust_core", + "cust_derive", + "cust_raw", + "find_cuda_helper", +] + +[[package]] +name = "cust_core" +version = "0.1.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "039f79662cb8f890cbf335e818cd522d6e3a53fe63f61d1aaaf859cd3d975f06" +dependencies = [ + "cust_derive", + "glam 0.20.5", + "mint", + "vek", +] + +[[package]] +name = "cust_derive" +version = "0.2.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e8a3bc95fe629aed92b2423de6ccff9e40174b21d19cb6ee6281a4d04ac72f66" +dependencies = [ + "proc-macro2", + "quote", + "syn 1.0.109", +] + +[[package]] +name = "cust_raw" +version = "0.11.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "fbf40d6ade12cb9828bbc844b9875c7b93d25e67a3c9bf61c7aa3ae09e402bf8" +dependencies = [ + "find_cuda_helper", +] + [[package]] name = "darling" version = "0.20.10" @@ -1894,6 +1963,15 @@ dependencies = [ "subtle", ] +[[package]] +name = "directories" +version = "5.0.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9a49173b84e034382284f27f1af4dcbbd231ffa358c0fe316541a7337f376a35" +dependencies = [ + "dirs-sys", +] + [[package]] name = "dirs" version = "5.0.1" @@ -2291,6 +2369,15 @@ dependencies = [ "syn 1.0.109", ] +[[package]] +name = "find_cuda_helper" +version = "0.2.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f9f9e65c593dd01ac77daad909ea4ad17f0d6d1776193fc8ea766356177abdad" +dependencies = [ + "glob", +] + [[package]] name = "fixed-hash" version = "0.8.0" @@ -2559,6 +2646,15 @@ dependencies = [ "syn 2.0.98", ] +[[package]] +name = "glam" +version = "0.20.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f43e957e744be03f5801a55472f593d43fabdebf25a4585db250f04d86b1675f" +dependencies = [ + "num-traits", +] + [[package]] name = "glam" version = "0.30.0" @@ -2905,6 +3001,15 @@ dependencies = [ "digest 0.10.7", ] +[[package]] +name = "home" +version = "0.5.11" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "589533453244b0995c858700322199b2becb13b627df2851f64a2775d024abcf" +dependencies = [ + "windows-sys 0.59.0", +] + [[package]] name = "http" version = "0.2.12" @@ -3494,7 +3599,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "fc2f4eb4bc735547cfed7c0a4922cbd04a4655978c09b54f1f7b228750664c34" dependencies = [ "cfg-if", - "windows-targets 0.48.5", + "windows-targets 0.52.6", ] [[package]] @@ -3613,6 +3718,16 @@ version = "0.7.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "0e7465ac9959cc2b1404e8e2367b43684a6d13790fe23056cc8c6c5a6b7bcb94" +[[package]] +name = "matrixmultiply" +version = "0.3.9" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9380b911e3e96d10c1f415da0876389aaf1b56759054eeb0de7df940c456ba1a" +dependencies = [ + "autocfg", + "rawpointer", +] + [[package]] name = "maybe-rayon" version = "0.1.1" @@ -3733,6 +3848,12 @@ dependencies = [ "adler2", ] +[[package]] +name = "mint" +version = "0.5.9" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e53debba6bda7a793e5f99b8dacf19e626084f525f7829104ba9898f367d85ff" + [[package]] name = "mio" version = "1.0.3" @@ -3802,6 +3923,20 @@ dependencies = [ "tempfile", ] +[[package]] +name = "ndarray" +version = "0.15.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "adb12d4e967ec485a5f71c6311fe28158e9d6f4bc4a447b474184d0f91a8fa32" +dependencies = [ + "matrixmultiply", + "num-complex", + "num-integer", + "num-traits", + "rawpointer", + "rayon", +] + [[package]] name = "nibble_vec" version = "0.1.0" @@ -3930,6 +4065,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841" dependencies = [ "autocfg", + "libm", ] [[package]] @@ -4939,7 +5075,7 @@ dependencies = [ [[package]] name = "openvm-stark-backend" version = "1.0.0-rc.2" -source = "git+https://github.com/openvm-org/stark-backend.git?rev=fdb808bec40ff21dce7e462c2c18dbb997207adb#fdb808bec40ff21dce7e462c2c18dbb997207adb" +source = "git+ssh://git@github.com/scroll-tech/openvm-stark-gpu.git?branch=main#f564153fdf4b937c59f5ea792f64e5d2003d770c" dependencies = [ "bitcode", "cfg-if", @@ -4951,6 +5087,9 @@ dependencies = [ "p3-challenger", "p3-commit", "p3-field", + "p3-gpu-backend", + "p3-gpu-base", + "p3-gpu-module", "p3-matrix", "p3-maybe-rayon", "p3-uni-stark", @@ -4965,7 +5104,7 @@ dependencies = [ [[package]] name = "openvm-stark-sdk" version = "1.0.0-rc.2" -source = "git+https://github.com/openvm-org/stark-backend.git?rev=fdb808bec40ff21dce7e462c2c18dbb997207adb#fdb808bec40ff21dce7e462c2c18dbb997207adb" +source = "git+ssh://git@github.com/scroll-tech/openvm-stark-gpu.git?branch=main#f564153fdf4b937c59f5ea792f64e5d2003d770c" dependencies = [ "derivative", "derive_more 0.99.19", @@ -4981,6 +5120,7 @@ dependencies = [ "p3-dft", "p3-fri", "p3-goldilocks", + "p3-gpu-backend", "p3-keccak", "p3-merkle-tree", "p3-poseidon", @@ -5050,7 +5190,7 @@ dependencies = [ [[package]] name = "p3-air" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "p3-field", "p3-matrix", @@ -5059,7 +5199,7 @@ dependencies = [ [[package]] name = "p3-baby-bear" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "p3-field", "p3-mds", @@ -5073,7 +5213,7 @@ dependencies = [ [[package]] name = "p3-blake3" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "blake3", "p3-symmetric", @@ -5083,7 +5223,7 @@ dependencies = [ [[package]] name = "p3-bn254-fr" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "ff 0.13.0", "halo2curves", @@ -5098,7 +5238,7 @@ dependencies = [ [[package]] name = "p3-challenger" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "p3-field", "p3-maybe-rayon", @@ -5110,12 +5250,14 @@ dependencies = [ [[package]] name = "p3-commit" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ + "anyhow", "itertools 0.14.0", "p3-challenger", "p3-dft", "p3-field", + "p3-gpu-base", "p3-matrix", "p3-util", "serde", @@ -5124,7 +5266,7 @@ dependencies = [ [[package]] name = "p3-dft" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "itertools 0.14.0", "p3-field", @@ -5137,7 +5279,7 @@ dependencies = [ [[package]] name = "p3-field" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "itertools 0.14.0", "num-bigint 0.4.6", @@ -5154,26 +5296,31 @@ dependencies = [ [[package]] name = "p3-fri" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ + "anyhow", "itertools 0.14.0", "p3-challenger", "p3-commit", "p3-dft", "p3-field", + "p3-gpu-backend", + "p3-gpu-base", "p3-interpolation", "p3-matrix", "p3-maybe-rayon", + "p3-merkle-tree", "p3-util", "rand", "serde", "tracing", + "zkhash", ] [[package]] name = "p3-goldilocks" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "num-bigint 0.4.6", "p3-dft", @@ -5187,10 +5334,95 @@ dependencies = [ "serde", ] +[[package]] +name = "p3-gpu-backend" +version = "0.1.0" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" +dependencies = [ + "anyhow", + "bytemuck", + "cc", + "cust", + "cust_raw", + "ff 0.13.0", + "itertools 0.13.0", + "lazy_static", + "ndarray", + "once_cell", + "p3-baby-bear", + "p3-commit", + "p3-dft", + "p3-field", + "p3-gpu-base", + "p3-gpu-build", + "p3-interpolation", + "p3-matrix", + "p3-maybe-rayon", + "p3-poseidon2", + "p3-util", + "parking_lot 0.12.3", + "paste", + "rand", + "rand_core", + "rayon", + "serde", + "sppark", + "tracing", + "transpose", +] + +[[package]] +name = "p3-gpu-base" +version = "0.1.0" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" +dependencies = [ + "anyhow", + "bytemuck", + "cust", + "cust_raw", + "hex", + "lazy_static", + "p3-field", + "p3-matrix", + "parking_lot 0.12.3", + "tracing", +] + +[[package]] +name = "p3-gpu-build" +version = "0.1.0" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" +dependencies = [ + "cc", + "directories", + "hex", + "p3-gpu-field", + "sha2", + "tempfile", +] + +[[package]] +name = "p3-gpu-field" +version = "0.1.0" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" + +[[package]] +name = "p3-gpu-module" +version = "0.1.0" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" +dependencies = [ + "itertools 0.14.0", + "p3-field", + "p3-gpu-base", + "p3-matrix", + "p3-util", + "tracing", +] + [[package]] name = "p3-interpolation" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "p3-field", "p3-matrix", @@ -5201,7 +5433,7 @@ dependencies = [ [[package]] name = "p3-keccak" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "itertools 0.14.0", "p3-field", @@ -5213,21 +5445,23 @@ dependencies = [ [[package]] name = "p3-keccak-air" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "p3-air", "p3-field", + "p3-gpu-backend", "p3-matrix", "p3-maybe-rayon", "p3-util", "rand", "tracing", + "zkhash", ] [[package]] name = "p3-matrix" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "itertools 0.14.0", "p3-field", @@ -5242,7 +5476,7 @@ dependencies = [ [[package]] name = "p3-maybe-rayon" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "rayon", ] @@ -5250,7 +5484,7 @@ dependencies = [ [[package]] name = "p3-mds" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "itertools 0.14.0", "p3-dft", @@ -5264,11 +5498,13 @@ dependencies = [ [[package]] name = "p3-merkle-tree" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ + "anyhow", "itertools 0.14.0", "p3-commit", "p3-field", + "p3-gpu-base", "p3-matrix", "p3-maybe-rayon", "p3-symmetric", @@ -5281,7 +5517,7 @@ dependencies = [ [[package]] name = "p3-monty-31" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "itertools 0.14.0", "num-bigint 0.4.6", @@ -5302,7 +5538,7 @@ dependencies = [ [[package]] name = "p3-poseidon" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "p3-field", "p3-mds", @@ -5313,7 +5549,7 @@ dependencies = [ [[package]] name = "p3-poseidon2" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "gcd", "p3-field", @@ -5325,7 +5561,7 @@ dependencies = [ [[package]] name = "p3-poseidon2-air" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "p3-air", "p3-field", @@ -5341,7 +5577,7 @@ dependencies = [ [[package]] name = "p3-symmetric" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "itertools 0.14.0", "p3-field", @@ -5351,7 +5587,7 @@ dependencies = [ [[package]] name = "p3-uni-stark" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "itertools 0.14.0", "p3-air", @@ -5369,7 +5605,7 @@ dependencies = [ [[package]] name = "p3-util" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?rev=88d7f05#88d7f059500fd956a7c1eb121e08653e5974728d" +source = "git+ssh://git@github.com/scroll-tech/plonky3-gpu.git?branch=openvm-v2#254a7bd2480a155d38eaa38ce5c56bc5d9727e28" dependencies = [ "serde", ] @@ -5948,6 +6184,12 @@ dependencies = [ "bitflags 2.8.0", ] +[[package]] +name = "rawpointer" +version = "0.2.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "60a357793950651c4ed0f3f52338f53b2f809f32d83a07f72909fa13e4c6c1e3" + [[package]] name = "rayon" version = "1.10.0" @@ -8481,6 +8723,15 @@ dependencies = [ "der", ] +[[package]] +name = "sppark" +version = "0.1.8" +source = "git+https://github.com/scroll-tech/sppark.git?branch=sp1-v3.0#07fe0de43a745a395dd718c735cdfe0cfc457b0a" +dependencies = [ + "cc", + "which", +] + [[package]] name = "stability" version = "0.2.1" @@ -9434,6 +9685,18 @@ version = "0.2.15" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "accd4ea62f7bb7a82fe23066fb0957d48ef677f6eeb8215f372f52e48bb32426" +[[package]] +name = "vek" +version = "0.15.10" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "8085882662f9bc47fc8b0cdafa5e19df8f592f650c02b9083da8d45ac9eebd17" +dependencies = [ + "approx", + "num-integer", + "num-traits", + "rustc_version 0.4.1", +] + [[package]] name = "version_check" version = "0.9.5" @@ -9640,6 +9903,18 @@ dependencies = [ "rustls-pki-types", ] +[[package]] +name = "which" +version = "4.4.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "87ba24419a2078cd2b0f2ede2691b6c66d8e47836da3b6db8265ebad47afbfc7" +dependencies = [ + "either", + "home", + "once_cell", + "rustix", +] + [[package]] name = "winapi" version = "0.3.9" diff --git a/zkvm-prover/Cargo.toml b/zkvm-prover/Cargo.toml index 3b2a9c3682..4c5fd4e6c3 100644 --- a/zkvm-prover/Cargo.toml +++ b/zkvm-prover/Cargo.toml @@ -45,3 +45,34 @@ clap = { version = "4.5", features = ["derive"] } ctor = "0.2.8" url = "2.5.4" serde_bytes = "0.11.15" + +[patch."https://github.com/openvm-org/stark-backend.git"] +openvm-stark-backend = { git = "ssh://git@github.com/scroll-tech/openvm-stark-gpu.git", branch = "main", features = ["gpu"] } +openvm-stark-sdk = { git = "ssh://git@github.com/scroll-tech/openvm-stark-gpu.git", branch = "main", features = ["gpu"] } + +[patch."https://github.com/Plonky3/Plonky3.git"] +p3-air = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-field = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-commit = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-matrix = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-baby-bear = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", features = [ + "nightly-features", +], branch = "openvm-v2" } +p3-util = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-challenger = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-dft = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-fri = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-goldilocks = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-keccak = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-keccak-air = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-blake3 = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-mds = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-merkle-tree = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-monty-31 = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-poseidon = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-poseidon2 = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-poseidon2-air = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-symmetric = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-uni-stark = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } +p3-maybe-rayon = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" } # the "parallel" feature is NOT on by default to allow single-threaded benchmarking +p3-bn254-fr = { git = "ssh://git@github.com/scroll-tech/plonky3-gpu.git", branch = "openvm-v2" }