Skip to content

Commit 25ba797

Browse files
committed
bump risc0 to v1.3.0
Signed-off-by: Jun Kimura <jun.kimura@datachain.jp>
1 parent ff61208 commit 25ba797

File tree

6 files changed

+64
-73
lines changed

6 files changed

+64
-73
lines changed

zkvm/risc0/Cargo.toml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -7,14 +7,14 @@ edition = "2021"
77
methods = ["guest"]
88

99
[dependencies]
10-
risc0-zkvm = { version = "=1.2.4", default-features = false, optional = true }
10+
risc0-zkvm = { version = "=1.3.0", default-features = false, optional = true }
1111

1212
[build-dependencies]
13-
risc0-build = { version = "=1.2.4", features = ["docker", "unstable"] }
14-
risc0-binfmt = { version = "=1.2.4", default-features = false }
13+
risc0-build = { version = "=2.0.0", features = ["docker", "unstable"] }
14+
risc0-binfmt = { version = "=1.3.0", default-features = false }
1515

1616
[dev-dependencies]
17-
risc0-zkvm = { version = "=1.2.4", default-features = false, features = ["prove"] }
17+
risc0-zkvm = { version = "=1.3.0", default-features = false, features = ["prove"] }
1818
hex = { version = "0.4", default-features = false, features = ["alloc"] }
1919
dcap-quote-verifier = { path = "../../crates/quote-verifier" }
2020

10.8 KB
Binary file not shown.

zkvm/risc0/build.rs

Lines changed: 13 additions & 46 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,6 @@
11
use risc0_binfmt::compute_image_id;
2-
use risc0_build::{embed_method_metadata_with_options, DockerOptions, GuestOptions};
3-
use std::{
4-
collections::HashMap,
5-
env,
6-
fs::File,
7-
io::Write,
8-
path::{Path, PathBuf},
9-
str::FromStr,
10-
};
2+
use risc0_build::{embed_method_metadata_with_options, DockerOptionsBuilder, GuestOptionsBuilder};
3+
use std::{collections::HashMap, env, fs::File, io::Write};
114

125
fn main() {
136
println!("cargo:rerun-if-env-changed=ZKDCAP_RISC0_BUILD");
@@ -23,24 +16,23 @@ fn main() {
2316

2417
// Builds can be made deterministic, and thereby reproducible, by using Docker to build the
2518
// guest.
26-
let use_docker = Some(DockerOptions {
27-
root_dir: Some("../../".into()),
28-
});
19+
let use_docker = DockerOptionsBuilder::default()
20+
.root_dir("../../")
21+
.build()
22+
.unwrap();
23+
24+
let guest_options = GuestOptionsBuilder::default()
25+
.use_docker(use_docker)
26+
.build()
27+
.unwrap();
2928

3029
// Generate Rust source files for the methods crate.
31-
let guests = embed_method_metadata_with_options(HashMap::from([(
32-
"guests",
33-
GuestOptions {
34-
features: Vec::new(),
35-
use_docker,
36-
},
37-
)]));
30+
let guests = embed_method_metadata_with_options(HashMap::from([("guests", guest_options)]));
3831

3932
if guests.len() != 1 {
4033
panic!("expected exactly one guest, found {}", guests.len());
4134
};
42-
let elf_path = get_correct_elf_path(&PathBuf::from_str(&guests[0].path).unwrap());
43-
let elf_value = std::fs::read(&elf_path).unwrap();
35+
let elf_value = std::fs::read(guests[0].path.to_string()).unwrap();
4436
let image_id = compute_image_id(&elf_value).unwrap();
4537
let image_id_words = image_id.as_words().to_vec();
4638
let image_id_str = image_id.to_string();
@@ -60,28 +52,3 @@ pub const DCAP_QUOTE_VERIFIER_ELF: &[u8] = include_bytes!("../artifacts/dcap-quo
6052
)
6153
.unwrap();
6254
}
63-
64-
fn get_correct_elf_path(elf_path: &Path) -> String {
65-
elf_path
66-
.parent()
67-
.unwrap()
68-
.parent()
69-
.unwrap()
70-
.parent()
71-
.unwrap()
72-
.parent()
73-
.unwrap()
74-
.parent()
75-
.unwrap()
76-
.parent()
77-
.unwrap()
78-
.parent()
79-
.unwrap()
80-
.parent()
81-
.unwrap()
82-
.join("target/riscv-guest/riscv32im-risc0-zkvm-elf/docker/guests/dcap_quote_verifier")
83-
.as_path()
84-
.to_str()
85-
.unwrap()
86-
.to_string()
87-
}

zkvm/risc0/guest/Cargo.lock

Lines changed: 44 additions & 20 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

zkvm/risc0/guest/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ name = "dcap_quote_verifier"
88
path = "src/bin/main.rs"
99

1010
[dependencies]
11-
risc0-zkvm = { version = "=1.2.4", default-features = false, features = ["std", "unstable"] }
11+
risc0-zkvm = { version = "=1.3.0", default-features = false, features = ["std", "unstable"] }
1212
dcap-quote-verifier = { path = "../../../crates/quote-verifier" }
1313

1414
[profile.release]

zkvm/risc0/src/methods.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11

2-
pub const DCAP_QUOTE_VERIFIER_ID: [u32; 8] = [2354812792, 752117600, 1571109129, 2757371367, 428495466, 2124350151, 343129816, 1519734798];
3-
pub const DCAP_QUOTE_VERIFIER_ID_STR: &str = "78975b8c6067d42c0939a55de7255aa46a528a19c7029f7ed8be73140e50955a";
2+
pub const DCAP_QUOTE_VERIFIER_ID: [u32; 8] = [3859908620, 1001363221, 1458918782, 2806747239, 2091826072, 2225290957, 1100890290, 1935156227];
3+
pub const DCAP_QUOTE_VERIFIER_ID_STR: &str = "0c8811e61597af3b7e55f55667904ba798bbae7ccd3ea384b2409e4103245873";
44
pub const DCAP_QUOTE_VERIFIER_ELF: &[u8] = include_bytes!("../artifacts/dcap-quote-verifier");

0 commit comments

Comments
 (0)