Skip to content

Merkle Tree ZK #88

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
illuzen wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Merkle Tree ZK #88

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
c6556e3
new zk proof format
illuzen Apr 12, 2026
011adb8
fix wormhole multiround
illuzen Apr 12, 2026
1f9edda
its a tree not a trie
illuzen Apr 13, 2026
147ef7f
same block for merkle proofs and block header
illuzen Apr 13, 2026
303fa5a
fmt
illuzen Apr 13, 2026
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
12 changes: 0 additions & 12 deletions Cargo.lock
View file
Open in desktop

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

10 changes: 10 additions & 0 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -105,3 +105,13 @@ opt-level = 3

[profile.release.build-override]
opt-level = 3

# Patch crates.io dependencies with local development versions
# Remove this section before publishing or when using released versions
[patch.crates-io]
qp-wormhole-circuit = { path = "../qp-zk-circuits/wormhole/circuit" }
qp-wormhole-prover = { path = "../qp-zk-circuits/wormhole/prover" }
qp-wormhole-aggregator = { path = "../qp-zk-circuits/wormhole/aggregator" }
qp-wormhole-inputs = { path = "../qp-zk-circuits/wormhole/inputs" }
qp-zk-circuits-common = { path = "../qp-zk-circuits/common" }
qp-wormhole-circuit-builder = { path = "../qp-zk-circuits/wormhole/circuit-builder" }
6 changes: 6 additions & 0 deletions src/chain/quantus_subxt.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20109,13 +20109,16 @@ pub mod api {
pub to: native_transferred::To,
pub amount: native_transferred::Amount,
pub transfer_count: native_transferred::TransferCount,
/// Index of this transfer in the ZK trie (for Merkle proof lookup)
pub leaf_index: native_transferred::LeafIndex,
}
pub mod native_transferred {
use super::runtime_types;
pub type From = ::subxt::ext::subxt_core::utils::AccountId32;
pub type To = ::subxt::ext::subxt_core::utils::AccountId32;
pub type Amount = ::core::primitive::u128;
pub type TransferCount = ::core::primitive::u64;
pub type LeafIndex = ::core::primitive::u64;
}
impl ::subxt::ext::subxt_core::events::StaticEvent for NativeTransferred {
const PALLET: &'static str = "Wormhole";
Expand All @@ -20134,6 +20137,8 @@ pub mod api {
pub to: asset_transferred::To,
pub amount: asset_transferred::Amount,
pub transfer_count: asset_transferred::TransferCount,
/// Index of this transfer in the ZK trie (for Merkle proof lookup)
pub leaf_index: asset_transferred::LeafIndex,
}
pub mod asset_transferred {
use super::runtime_types;
Expand All @@ -20142,6 +20147,7 @@ pub mod api {
pub type To = ::subxt::ext::subxt_core::utils::AccountId32;
pub type Amount = ::core::primitive::u128;
pub type TransferCount = ::core::primitive::u64;
pub type LeafIndex = ::core::primitive::u64;
}
impl ::subxt::ext::subxt_core::events::StaticEvent for AssetTransferred {
const PALLET: &'static str = "Wormhole";
Expand Down
Loading
Loading