Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ authors = ["Buffrr <contact@buffrr.dev>"]
[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"] }
Expand Down
6 changes: 4 additions & 2 deletions methods/Cargo.toml
Original file line number Diff line number Diff line change
@@ -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]
Expand Down
2 changes: 1 addition & 1 deletion methods/guest/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

10 changes: 6 additions & 4 deletions release-plz.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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]]
Expand Down
Binary file modified veritas/elfs/fold.bin
Binary file not shown.
Binary file modified veritas/elfs/step.bin
Binary file not shown.
4 changes: 2 additions & 2 deletions veritas/src/constants.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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");
Expand Down
19 changes: 12 additions & 7 deletions zk/Cargo.toml
Original file line number Diff line number Diff line change
@@ -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"]
Expand Down
Loading