feat: Wormhole

Cargo.toml

@@ -12,7 +12,6 @@ members = [
 	"client/network",
 	"miner-api",
 	"node",
-	"pallets/balances",
 	"pallets/merkle-airdrop",
 	"pallets/mining-rewards",
 	"pallets/qpow",
@@ -22,6 +21,7 @@ members = [
 	"primitives/consensus/pow",
 	"primitives/consensus/qpow",
 	"primitives/dilithium-crypto",
+	"primitives/header",
 	"primitives/scheduler",
 	"primitives/state-machine",
 	"primitives/trie",
@@ -84,6 +84,8 @@ names = { version = "0.14.0", default-features = false }
 nohash-hasher = { version = "0.2.0" }
 num-traits = { version = "0.2", default-features = false, features = ["libm"] }
 once_cell = { version = "1.21.3" }
+p3-field = { version = "0.3.0" }
+p3-goldilocks = { version = "0.3.0" }
 parking_lot = { version = "0.12.1", default-features = false }
 partial_sort = { version = "0.2.0" }
 paste = { version = "1.0.15", default-features = false }
@@ -127,14 +129,15 @@ wasm-timer = { version = "0.2.5" }
 zeroize = { version = "1.7.0", default-features = false }
 
 # Own dependencies
-pallet-balances = { path = "./pallets/balances", default-features = false }
+pallet-balances = { version = "42.0.0", default-features = false }
 pallet-merkle-airdrop = { path = "./pallets/merkle-airdrop", default-features = false }
 pallet-mining-rewards = { path = "./pallets/mining-rewards", default-features = false }
 pallet-qpow = { path = "./pallets/qpow", default-features = false }
 pallet-reversible-transfers = { path = "./pallets/reversible-transfers", default-features = false }
 pallet-scheduler = { path = "./pallets/scheduler", default-features = false }
 pallet-wormhole = { path = "./pallets/wormhole", default-features = false }
 qp-dilithium-crypto = { path = "./primitives/dilithium-crypto", version = "0.2.0", default-features = false }
+qp-header = { path = "./primitives/header", default-features = false }
 qp-scheduler = { path = "./primitives/scheduler", default-features = false }
 qp-wormhole = { path = "./primitives/wormhole", default-features = false }
 qpow-math = { path = "./qpow-math", default-features = false }
@@ -145,16 +148,20 @@ sp-consensus-pow = { path = "./primitives/consensus/pow", default-features = fal
 sp-consensus-qpow = { path = "./primitives/consensus/qpow", default-features = false }
 
 # Quantus network dependencies
-qp-poseidon = { version = "1.0.1", default-features = false }
-qp-poseidon-core = { version = "1.0.1", default-features = false, features = ["p3"] }
+qp-plonky2 = { version = "1.1.3", default-features = false }
+qp-poseidon = { version = "1.0.5", default-features = false }
+qp-poseidon-core = { version = "1.0.5", default-features = false, features = ["p2", "p3"] }
 qp-rusty-crystals-dilithium = { version = "2.0.0", default-features = false }
 qp-rusty-crystals-hdwallet = { version = "1.0.0" }
-qp-wormhole-circuit = { version = "0.1.2", default-features = false }
-qp-wormhole-circuit-builder = { version = "0.1.2", default-features = false }
-qp-wormhole-verifier = { version = "0.1.2", default-features = false, features = [
+qp-wormhole-circuit = { version = "0.1.7", default-features = false }
+qp-wormhole-circuit-builder = { version = "0.1.7", default-features = false }
+qp-wormhole-prover = { version = "0.1.7", default-features = false, features = [
 	"no_random",
 ] }
-qp-zk-circuits-common = { version = "0.1.2", default-features = false, features = [
+qp-wormhole-verifier = { version = "0.1.7", default-features = false, features = [
+	"no_random",
+] }
+qp-zk-circuits-common = { version = "0.1.7", default-features = false, features = [
 	"no_random",
 ] }
 
@@ -236,7 +243,6 @@ sc-network = { path = "client/network" }
 sp-state-machine = { path = "./primitives/state-machine" }
 sp-trie = { path = "./primitives/trie" }
 
-
 [profile.release]
 opt-level = 3
 panic = "unwind"

node/build.rs

@@ -33,8 +33,9 @@ fn generate_circuit_binaries() {
 
 	// Call the circuit-builder to generate binaries directly in the pallet directory
 	// We don't need the prover binary for the chain, only verifier and common
-	qp_wormhole_circuit_builder::generate_circuit_binaries("../pallets/wormhole", false)
-		.expect("Failed to generate circuit binaries");
+	// TODO: uncomment this once `no_random` issue is fixed in zk-circuits
+	// qp_wormhole_circuit_builder::generate_circuit_binaries("../pallets/wormhole", false)
+	// 	.expect("Failed to generate circuit binaries");
 
 	println!("cargo:trace=✅ Circuit binaries generated successfully");
 }

node/src/benchmarking.rs

@@ -127,6 +127,9 @@ pub fn create_benchmark_extrinsic(
 			quantus_runtime::transaction_extensions::ReversibleTransactionExtension::<
 				runtime::Runtime,
 			>::new(),
+			quantus_runtime::transaction_extensions::WormholeProofRecorderExtension::<
+				runtime::Runtime,
+			>::new(),
 		);
 
 	let raw_payload = runtime::SignedPayload::from_raw(
@@ -143,6 +146,7 @@ pub fn create_benchmark_extrinsic(
 			(),
 			None,
 			(),
+			(),
 		),
 	);
 	let signature = raw_payload.using_encoded(|e| sender.sign(e));