diff --git a/Cargo.lock b/Cargo.lock index 23c43514..758f6dfa 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -3930,9 +3930,9 @@ dependencies = [ [[package]] name = "risc0-binfmt" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5a33ca13e8e2fe08fc283accbb08fcbabbfdd27acf88dddc9b39654d0e487b15" +checksum = "b3432b33880fd2bb3fcff4f7f4764f782852e839a849f72f1b36ba021e6f15d0" dependencies = [ "anyhow", "elf", @@ -3944,9 +3944,9 @@ dependencies = [ [[package]] name = "risc0-circuit-recursion" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5c12ea07079420272e5705baea6a0756b21c0dadeca7ed34a7866eb9c073b9a0" +checksum = "adde6018be5b1ba65854fbbf993e44e0dc076893bb5e6e8311d9e606503fca2a" dependencies = [ "anyhow", "bytemuck", @@ -3958,9 +3958,9 @@ dependencies = [ [[package]] name = "risc0-circuit-rv32im" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5ef57b3afe8e59bec6f535c49c99dc7cd3fda7e93254fd499e5469ec17fec1d0" +checksum = "8fce940ee68935e3fbe224033fb8dc8447d23dcc7558aaa8bb8c21bc1de73bdf" dependencies = [ "anyhow", "risc0-binfmt", @@ -3973,9 +3973,9 @@ dependencies = [ [[package]] name = "risc0-core" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f43b7bd8b9adb8bed7eaecfa5c152b6c676c4512aea1120d2cdc5fbbca4b2ffb" +checksum = "be98b31168c4ff7dbe4c2744a1c189fdba6db200b0c581afd1272f0cc0d79aad" dependencies = [ "bytemuck", "rand_core 0.6.4", @@ -3983,9 +3983,9 @@ dependencies = [ [[package]] name = "risc0-groth16" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2e275963cd541e1bc9b94f36e23e85b87798a96e04fdf7b013500c08b949a8c9" +checksum = "7fa298da93c2a8ea3c92bde5b2e12cbad3c4291bc4a5a70af5f1fd64a12353a5" dependencies = [ "anyhow", "ark-bn254", @@ -4002,9 +4002,9 @@ dependencies = [ [[package]] name = "risc0-zkp" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "53342780aef2d31ccc0526e6d4b151dab69e678d2e1495b2270ed40f5e1df6f4" +checksum = "6186432695488efb2eb4794d4074cf1edf381962303ecdd1732e366662f88afe" dependencies = [ "anyhow", "blake2 0.10.6", @@ -4024,9 +4024,9 @@ dependencies = [ [[package]] name = "risc0-zkvm" -version = "1.0.1" +version = "1.0.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "774b03337fa1675204a067b3f15be740dbedde63fa46647017140fd023805afb" +checksum = "ee208f125812335658abaa87243502b7066a3dfcbd646bdc5d2820c0cd8a797b" dependencies = [ "anyhow", "bytemuck", @@ -4049,9 +4049,9 @@ dependencies = [ [[package]] name = "risc0-zkvm-platform" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3b8df83bfa425e078ef77ed115f5eff26b5ebc4a584253b31e4e7122fa2bcced" +checksum = "0494a25344644aea2fe9bdb2f619a28e68eb4aff2c173c723a1331fceac56eea" dependencies = [ "bytemuck", "getrandom", diff --git a/flake.lock b/flake.lock index 102948ab..ecd80a9c 100644 --- a/flake.lock +++ b/flake.lock @@ -177,11 +177,11 @@ }, "nixpkgs_2": { "locked": { - "lastModified": 1718396522, - "narHash": "sha256-C0re6ZtCqC1ndL7ib7vOqmgwvZDhOhJ1W0wQgX1tTIo=", + "lastModified": 1721116560, + "narHash": "sha256-++TYlGMAJM1Q+0nMVaWBSEvEUjRs7ZGiNQOpqbQApCU=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "3e6b9369165397184774a4b7c5e8e5e46531b53f", + "rev": "9355fa86e6f27422963132c2c9aeedb0fb963d93", "type": "github" }, "original": { diff --git a/kairos-contracts/Cargo.lock b/kairos-contracts/Cargo.lock index ca454d02..79656ebb 100644 --- a/kairos-contracts/Cargo.lock +++ b/kairos-contracts/Cargo.lock @@ -1076,9 +1076,9 @@ dependencies = [ [[package]] name = "risc0-binfmt" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5a33ca13e8e2fe08fc283accbb08fcbabbfdd27acf88dddc9b39654d0e487b15" +checksum = "b3432b33880fd2bb3fcff4f7f4764f782852e839a849f72f1b36ba021e6f15d0" dependencies = [ "anyhow", "elf", @@ -1090,9 +1090,9 @@ dependencies = [ [[package]] name = "risc0-circuit-recursion" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5c12ea07079420272e5705baea6a0756b21c0dadeca7ed34a7866eb9c073b9a0" +checksum = "adde6018be5b1ba65854fbbf993e44e0dc076893bb5e6e8311d9e606503fca2a" dependencies = [ "anyhow", "bytemuck", @@ -1104,9 +1104,9 @@ dependencies = [ [[package]] name = "risc0-circuit-rv32im" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5ef57b3afe8e59bec6f535c49c99dc7cd3fda7e93254fd499e5469ec17fec1d0" +checksum = "8fce940ee68935e3fbe224033fb8dc8447d23dcc7558aaa8bb8c21bc1de73bdf" dependencies = [ "anyhow", "risc0-binfmt", @@ -1119,9 +1119,9 @@ dependencies = [ [[package]] name = "risc0-core" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f43b7bd8b9adb8bed7eaecfa5c152b6c676c4512aea1120d2cdc5fbbca4b2ffb" +checksum = "be98b31168c4ff7dbe4c2744a1c189fdba6db200b0c581afd1272f0cc0d79aad" dependencies = [ "bytemuck", "rand_core", @@ -1129,9 +1129,9 @@ dependencies = [ [[package]] name = "risc0-groth16" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2e275963cd541e1bc9b94f36e23e85b87798a96e04fdf7b013500c08b949a8c9" +checksum = "7fa298da93c2a8ea3c92bde5b2e12cbad3c4291bc4a5a70af5f1fd64a12353a5" dependencies = [ "anyhow", "ark-bn254", @@ -1148,9 +1148,9 @@ dependencies = [ [[package]] name = "risc0-zkp" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "53342780aef2d31ccc0526e6d4b151dab69e678d2e1495b2270ed40f5e1df6f4" +checksum = "6186432695488efb2eb4794d4074cf1edf381962303ecdd1732e366662f88afe" dependencies = [ "anyhow", "blake2 0.10.6", @@ -1170,9 +1170,9 @@ dependencies = [ [[package]] name = "risc0-zkvm" -version = "1.0.1" +version = "1.0.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "774b03337fa1675204a067b3f15be740dbedde63fa46647017140fd023805afb" +checksum = "ee208f125812335658abaa87243502b7066a3dfcbd646bdc5d2820c0cd8a797b" dependencies = [ "anyhow", "bytemuck", @@ -1195,9 +1195,9 @@ dependencies = [ [[package]] name = "risc0-zkvm-platform" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3b8df83bfa425e078ef77ed115f5eff26b5ebc4a584253b31e4e7122fa2bcced" +checksum = "0494a25344644aea2fe9bdb2f619a28e68eb4aff2c173c723a1331fceac56eea" dependencies = [ "bytemuck", "getrandom", diff --git a/kairos-prover/Cargo.lock b/kairos-prover/Cargo.lock index 7dc7ec81..6e8372fa 100644 --- a/kairos-prover/Cargo.lock +++ b/kairos-prover/Cargo.lock @@ -523,10 +523,12 @@ dependencies = [ [[package]] name = "bonsai-sdk" -version = "0.8.0" +version = "0.9.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a7781292e9bcc1f54de6839dbab88b4032d2a20ab1d4fb3d8f045e9cecf5486e" +checksum = "b1553c9f015eb3fc4ff1bf2e142fceeb2256768a3c4d94a9486784a6c656484d" dependencies = [ + "duplicate", + "maybe-async", "reqwest 0.12.5", "risc0-groth16", "serde", @@ -1060,6 +1062,16 @@ dependencies = [ "tokio", ] +[[package]] +name = "duplicate" +version = "1.0.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "de78e66ac9061e030587b2a2e75cc88f22304913c907b11307bca737141230cb" +dependencies = [ + "heck", + "proc-macro-error", +] + [[package]] name = "ecdsa" version = "0.16.9" @@ -1977,6 +1989,17 @@ dependencies = [ "rawpointer", ] +[[package]] +name = "maybe-async" +version = "0.2.10" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5cf92c10c7e361d6b99666ec1c6f9805b0bea2c3bd8c78dc6fe98ac5bd78db11" +dependencies = [ + "proc-macro2", + "quote", + "syn 2.0.67", +] + [[package]] name = "memchr" version = "2.7.4" @@ -2381,6 +2404,7 @@ dependencies = [ "proc-macro-error-attr", "proc-macro2", "quote", + "syn 1.0.109", "version_check", ] @@ -2781,10 +2805,12 @@ dependencies = [ "sync_wrapper 1.0.1", "tokio", "tokio-rustls 0.26.0", + "tokio-util", "tower-service", "url", "wasm-bindgen", "wasm-bindgen-futures", + "wasm-streams", "web-sys", "webpki-roots 0.26.3", "winreg 0.52.0", @@ -2817,9 +2843,9 @@ dependencies = [ [[package]] name = "risc0-binfmt" -version = "1.0.1" +version = "1.0.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5a33ca13e8e2fe08fc283accbb08fcbabbfdd27acf88dddc9b39654d0e487b15" +checksum = "7388047ead80fcb19fe4d3f289d0eeb70b5c4d77c37534002273361ef47c8ba7" dependencies = [ "anyhow", "elf", @@ -2831,9 +2857,9 @@ dependencies = [ [[package]] name = "risc0-build-kernel" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3c4862bb372cb13984a9781b5fb29d722b2898dcf7238a18a4c7d17fa2634461" +checksum = "4db08993d4922b319efb484353ca2702386230c8e5648c07b390ba3ae3d4294c" dependencies = [ "cc", "directories", @@ -2847,9 +2873,9 @@ dependencies = [ [[package]] name = "risc0-circuit-recursion" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5c12ea07079420272e5705baea6a0756b21c0dadeca7ed34a7866eb9c073b9a0" +checksum = "adde6018be5b1ba65854fbbf993e44e0dc076893bb5e6e8311d9e606503fca2a" dependencies = [ "anyhow", "bytemuck", @@ -2871,9 +2897,9 @@ dependencies = [ [[package]] name = "risc0-circuit-recursion-sys" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1a4293a7925d708453cf93a68ffc6d3f82722bf8441ae9ac60764cf147f1e4da" +checksum = "7be7caf965981f44a8d3c8a065e2b09d9eb5852d2d623933dfcd70d08792570a" dependencies = [ "glob", "risc0-build-kernel", @@ -2884,9 +2910,9 @@ dependencies = [ [[package]] name = "risc0-circuit-rv32im" -version = "1.0.1" +version = "1.0.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5ef57b3afe8e59bec6f535c49c99dc7cd3fda7e93254fd499e5469ec17fec1d0" +checksum = "64a8cca9ebcd1aac8373904e798ec8b8c076cd75a25fc391c120d7ee37121170" dependencies = [ "anyhow", "bytemuck", @@ -2913,9 +2939,9 @@ dependencies = [ [[package]] name = "risc0-circuit-rv32im-sys" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "badf2c25b6ab844a5cc31f83919ff3100d6e0070e1c15b1c2668f259d8a5d43b" +checksum = "46e1be5f652b867b32cb1558805ff78baa0da9f28a6923023d7f808d51707172" dependencies = [ "glob", "risc0-build-kernel", @@ -2926,9 +2952,9 @@ dependencies = [ [[package]] name = "risc0-core" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f43b7bd8b9adb8bed7eaecfa5c152b6c676c4512aea1120d2cdc5fbbca4b2ffb" +checksum = "be98b31168c4ff7dbe4c2744a1c189fdba6db200b0c581afd1272f0cc0d79aad" dependencies = [ "bytemuck", "rand_core", @@ -2936,9 +2962,9 @@ dependencies = [ [[package]] name = "risc0-groth16" -version = "1.0.1" +version = "1.0.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2e275963cd541e1bc9b94f36e23e85b87798a96e04fdf7b013500c08b949a8c9" +checksum = "d28893ca55db739e90656c1a1625f69634cdc204be46c3c52b73d64221c6e129" dependencies = [ "anyhow", "ark-bn254", @@ -2960,9 +2986,9 @@ dependencies = [ [[package]] name = "risc0-sys" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "da2b303e69ff71b50aef5bf011f055be7503811bdb382e6a2bdef24c5d331688" +checksum = "5f580b53e5a196f12158b2d6910febad42e01741bb5fd1bdb6f02f4ffb108c5f" dependencies = [ "cc", "cust", @@ -2972,9 +2998,9 @@ dependencies = [ [[package]] name = "risc0-zkp" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "53342780aef2d31ccc0526e6d4b151dab69e678d2e1495b2270ed40f5e1df6f4" +checksum = "6186432695488efb2eb4794d4074cf1edf381962303ecdd1732e366662f88afe" dependencies = [ "anyhow", "blake2 0.10.6", @@ -3003,9 +3029,9 @@ dependencies = [ [[package]] name = "risc0-zkvm" -version = "1.0.1" +version = "1.0.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "774b03337fa1675204a067b3f15be740dbedde63fa46647017140fd023805afb" +checksum = "ee208f125812335658abaa87243502b7066a3dfcbd646bdc5d2820c0cd8a797b" dependencies = [ "addr2line", "anyhow", @@ -3041,9 +3067,9 @@ dependencies = [ [[package]] name = "risc0-zkvm-platform" -version = "1.0.1" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3b8df83bfa425e078ef77ed115f5eff26b5ebc4a584253b31e4e7122fa2bcced" +checksum = "0494a25344644aea2fe9bdb2f619a28e68eb4aff2c173c723a1331fceac56eea" dependencies = [ "bytemuck", "getrandom", @@ -4038,6 +4064,19 @@ version = "0.2.92" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "af190c94f2773fdb3729c55b007a722abb5384da03bc0986df4c289bf5567e96" +[[package]] +name = "wasm-streams" +version = "0.4.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "b65dc4c90b63b118468cf747d8bf3566c1913ef60be765b5730ead9e0a3ba129" +dependencies = [ + "futures-util", + "js-sys", + "wasm-bindgen", + "wasm-bindgen-futures", + "web-sys", +] + [[package]] name = "web-sys" version = "0.3.69" diff --git a/kairos-prover/kairos-prover-risc0-server/Cargo.toml b/kairos-prover/kairos-prover-risc0-server/Cargo.toml index 7bdf9418..fceb4e92 100644 --- a/kairos-prover/kairos-prover-risc0-server/Cargo.toml +++ b/kairos-prover/kairos-prover-risc0-server/Cargo.toml @@ -14,7 +14,7 @@ metal = [ "risc0-zkvm/metal", "disable-dev-mode" ] [dependencies] methods = { path = "../methods" } -risc0-zkvm = { version="=1.0.1", default-features=false } +risc0-zkvm = { version="=1.0.2", default-features=false } tracing = "0.1" tracing-subscriber = { version = "0.3", features = ["env-filter"] } diff --git a/kairos-prover/kairos-verifier-risc0-lib/Cargo.toml b/kairos-prover/kairos-verifier-risc0-lib/Cargo.toml index 31ad2674..a20d989b 100644 --- a/kairos-prover/kairos-verifier-risc0-lib/Cargo.toml +++ b/kairos-prover/kairos-verifier-risc0-lib/Cargo.toml @@ -11,6 +11,6 @@ disable-dev-mode = [ "risc0-zkvm/disable-dev-mode" ] [dependencies] -risc0-zkvm = { version = "=1.0.1", default-features = false, optional = true } +risc0-zkvm = { version = "=1.0.2", default-features = false, optional = true } kairos-circuit-logic = { path = "../kairos-circuit-logic", features = ["serde", "borsh"], default-features = false, optional = true } borsh = { version = "1", default-features = false, optional = true } diff --git a/kairos-prover/methods/Cargo.toml b/kairos-prover/methods/Cargo.toml index 9c2d83ba..aa2f3020 100644 --- a/kairos-prover/methods/Cargo.toml +++ b/kairos-prover/methods/Cargo.toml @@ -5,5 +5,5 @@ edition.workspace = true license.workspace = true [build-dependencies] -risc0-binfmt = "=1.0.1" +risc0-binfmt = "=1.0.2" kairos-verifier-risc0-lib = { path = "../kairos-verifier-risc0-lib", default-features = false } diff --git a/kairos-prover/methods/prove-batch/Cargo.toml b/kairos-prover/methods/prove-batch/Cargo.toml index e46f3945..afb6fec5 100644 --- a/kairos-prover/methods/prove-batch/Cargo.toml +++ b/kairos-prover/methods/prove-batch/Cargo.toml @@ -17,7 +17,7 @@ codegen-units = 1 [dependencies] # If you want to try (experimental) std support, add `features = [ "std" ]` to risc0-zkvm -risc0-zkvm = { version = "=1.0.1", default-features = false } +risc0-zkvm = { version = "=1.0.2", default-features = false } kairos-circuit-logic = { path = "../../kairos-circuit-logic", default-features = false, features = ["serde", "borsh"] } [patch.crates-io] diff --git a/kairos-prover/profiling/Cargo.toml b/kairos-prover/profiling/Cargo.toml index aa826b86..9b50735a 100644 --- a/kairos-prover/profiling/Cargo.toml +++ b/kairos-prover/profiling/Cargo.toml @@ -6,7 +6,7 @@ license.workspace = true [dependencies] methods = { path = "../methods" } -risc0-zkvm = "=1.0.1" +risc0-zkvm = "=1.0.2" tracing = "0.1" tracing-subscriber = { version = "0.3", features = ["env-filter"] }