github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-04-03 03:00:17 -04:00
Code Issues Packages Projects Releases Wiki Activity

feat(jolt): add keccak and sha2 inlines (#290)

Browse Source
This commit is contained in:
brech1
2026-02-10 01:35:10 -03:00
committed by GitHub
parent 79fb48d6f2
commit 66c516a24d
4 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Cargo.lock generated
View File

@@ -3985,7 +3985,9 @@ dependencies = [
"ere-test-utils",
"ere-zkvm-interface",
"jolt-core",
"jolt-inlines-keccak256",
"jolt-inlines-secp256k1",
"jolt-inlines-sha2",
"jolt-sdk",
"serde",
"tempfile",

2
Cargo.toml
View File

@@ -96,7 +96,9 @@ jolt-ark-serialize = { git = "https://github.com/a16z/arkworks-algebra", package
jolt-common = { git = "https://github.com/a16z/jolt.git", package = "common", rev = "6dcd401", default-features = false }
jolt-core = { git = "https://github.com/a16z/jolt.git", rev = "6dcd401" }
jolt-sdk = { git = "https://github.com/a16z/jolt.git", rev = "6dcd401", default-features = false }
jolt-inlines-keccak256 = { git = "https://github.com/a16z/jolt.git", rev = "6dcd401", features = ["host"] }
jolt-inlines-secp256k1 = { git = "https://github.com/a16z/jolt.git", rev = "6dcd401", features = ["host"] }
jolt-inlines-sha2 = { git = "https://github.com/a16z/jolt.git", rev = "6dcd401", features = ["host"] }
# Miden dependencies
miden-assembly = { git = "https://github.com/0xPolygonMiden/miden-vm.git", tag = "v0.20.4" }

4
crates/zkvm/jolt/Cargo.toml
View File

@@ -16,7 +16,9 @@ jolt-ark-serialize = { workspace = true, features = ["derive"] }
jolt-common.workspace = true
jolt-core.workspace = true
jolt-sdk = { workspace = true, features = ["host"], optional = true }
jolt-inlines-keccak256 = { workspace = true, optional = true }
jolt-inlines-secp256k1 = { workspace = true, optional = true }
jolt-inlines-sha2 = { workspace = true, optional = true }
# Local dependencies
ere-compile-utils = { workspace = true, optional = true }
@@ -31,7 +33,7 @@ ere-build-utils.workspace = true
[features]
default = ["compiler", "zkvm"]
compiler = ["dep:ere-compile-utils"]
zkvm = ["dep:jolt-sdk", "dep:jolt-inlines-secp256k1"]
zkvm = ["dep:jolt-sdk", "dep:jolt-inlines-keccak256", "dep:jolt-inlines-secp256k1", "dep:jolt-inlines-sha2"]
[lints]
workspace = true

4
crates/zkvm/jolt/src/lib.rs
View File

@@ -48,5 +48,9 @@ pub mod zkvm;
#[cfg(feature = "zkvm")]
pub use zkvm::*;
#[cfg(feature = "zkvm")]
use jolt_inlines_keccak256 as _;
#[cfg(feature = "zkvm")]
use jolt_inlines_secp256k1 as _;
#[cfg(feature = "zkvm")]
use jolt_inlines_sha2 as _;