diff --git a/Cargo.toml b/Cargo.toml index 465f11b..1011cb1 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -14,7 +14,7 @@ authors = ["Buffrr "] [workspace.dependencies] # Internal crates libveritas = { path = "veritas", version = "0.1.1" } -libveritas_zk = { path = "zk", version = "0.1.1" } +libveritas_zk = { path = "zk", version = "0.1" } # External spaces_protocol = { version = "0.1", features = ["std"] } diff --git a/methods/Cargo.toml b/methods/Cargo.toml index a4520d2..68916d0 100644 --- a/methods/Cargo.toml +++ b/methods/Cargo.toml @@ -1,8 +1,10 @@ [package] name = "libveritas_methods" -version.workspace = true +# Pinned independently of the workspace. Bumping this implies the guest ELF / +# image ID changed (a consensus contract). DO NOT inherit anything from the +# workspace, or release-plz will touch this crate on every workspace release. +version = "0.1.1" edition = "2021" # risc0 build environment is on 2021 -authors.workspace = true publish = false [build-dependencies] diff --git a/methods/guest/Cargo.lock b/methods/guest/Cargo.lock index 505c51b..3b8b972 100644 --- a/methods/guest/Cargo.lock +++ b/methods/guest/Cargo.lock @@ -672,7 +672,7 @@ checksum = "f9fbbcab51052fe104eb5e5d351cf728d30a5be1fe14d9be8a3b097481fb97de" [[package]] name = "libveritas_zk" -version = "0.1.0" +version = "0.1.1" dependencies = [ "borsh", "serde", diff --git a/release-plz.toml b/release-plz.toml index fbef184..29b53f6 100644 --- a/release-plz.toml +++ b/release-plz.toml @@ -52,12 +52,14 @@ git_release_enable = true git_release_latest = false git_tag_name = "libveritas-v{{ version }}" +# libveritas_zk is a consensus contract — its source feeds the guest ELF +# under methods/guest/. Excluded from release-plz so version bumps are a +# deliberate manual act. Bump zk/Cargo.toml + cargo publish -p libveritas_zk +# when the ZK surface actually changes. [[package]] name = "libveritas_zk" -publish = true -git_release_enable = true -git_release_latest = false -git_tag_name = "libveritas_zk-v{{ version }}" +release = false +publish = false # Non-publishable crates: skip versioning, changelog, and releases [[package]] diff --git a/veritas/elfs/fold.bin b/veritas/elfs/fold.bin index e052397..ffbc64c 100644 Binary files a/veritas/elfs/fold.bin and b/veritas/elfs/fold.bin differ diff --git a/veritas/elfs/step.bin b/veritas/elfs/step.bin index b6f4647..b35a8f3 100644 Binary files a/veritas/elfs/step.bin and b/veritas/elfs/step.bin differ diff --git a/veritas/src/constants.rs b/veritas/src/constants.rs index 87be798..3572f9c 100644 --- a/veritas/src/constants.rs +++ b/veritas/src/constants.rs @@ -6,9 +6,9 @@ // ./update-elfs.sh #[rustfmt::skip] -pub const FOLD_ID: [u32; 8] = [3538164873, 3494660837, 1605885420, 2756930862, 1952720968, 91802116, 3635727049, 436347682]; +pub const FOLD_ID: [u32; 8] = [1625847226, 850230740, 496504626, 3639083801, 2684129074, 2250774282, 3408390548, 2223737758]; #[rustfmt::skip] -pub const STEP_ID: [u32; 8] = [2719979593, 62333512, 1158600685, 3512173834, 1442236244, 869560259, 553115519, 3467999922]; +pub const STEP_ID: [u32; 8] = [4183517563, 124613694, 2850288930, 1547396554, 892696396, 2291296768, 2705493164, 2273870659]; #[cfg(feature = "elf")] pub const FOLD_ELF: &[u8] = include_bytes!("../elfs/fold.bin"); diff --git a/zk/Cargo.toml b/zk/Cargo.toml index bddaa55..c103fd7 100644 --- a/zk/Cargo.toml +++ b/zk/Cargo.toml @@ -1,12 +1,17 @@ [package] name = "libveritas_zk" -version.workspace = true -edition.workspace = true -rust-version.workspace = true -license.workspace = true -repository.workspace = true -homepage.workspace = true -authors.workspace = true +# Pinned independently of the workspace. The guest under methods/guest/ +# depends on this crate via a path dep, so changes here can shift the +# generated ELF / image ID — a consensus contract. DO NOT inherit +# version.workspace, or release-plz will bump this on every workspace +# release. Bump manually + run cargo publish when the ZK surface +# actually changes. +version = "0.1.1" +edition = "2024" +rust-version = "1.85" +license = "Apache-2.0" +repository = "https://github.com/spacesprotocol/libveritas" +homepage = "https://spacesprotocol.org" description = "ZK guest types and helpers for libveritas." documentation = "https://docs.rs/libveritas_zk" keywords = ["spaces", "zk", "risc0"]