Wormhole proof generation and verification

Cargo.toml

@@ -19,7 +19,6 @@ path = "src/lib.rs"
 name = "quantus"
 path = "src/main.rs"
 
-
 [dependencies]
 # CLI and async runtime
 clap = { version = "4.5", features = ["derive"] }
@@ -52,9 +51,10 @@ aes-gcm = "0.10" # AES-256-GCM (quantum-safe with 256-bit keys)
 # Quantus crypto dependencies
 qp-rusty-crystals-dilithium = { version = "2.0.0" }
 qp-rusty-crystals-hdwallet = { version = "1.0.0" }
-qp-poseidon = { version = "0.9.5", features = [
+qp-poseidon = { version = "1.0.5", features = [
 	"serde",
 ] }
+qp-poseidon-core = { version = "1.0.5", default-features = false, features = ["p2", "p3"] }
 qp-dilithium-crypto = { version = "0.2.0", features = ["serde"] }
 
 # Blockchain and RPC client
@@ -70,5 +70,12 @@ jsonrpsee = { version = "0.24", features = ["client"] }
 # Needed for implementing custom Subxt hasher
 subxt-metadata = "0.43.0"
 
+# ZK proof generation
+anyhow = "1.0"
+qp-wormhole-circuit = { version = "0.1.7", default-features = false }
+qp-wormhole-prover = { version = "0.1.7", default-features = false }
+qp-zk-circuits-common = { version = "0.1.7", default-features = false }
+qp-plonky2 = { version = "1.1.3", default-features = false, features = ["no_random"] }
+
 [dev-dependencies]
 tempfile = "3.8"

src/cli/mod.rs

@@ -12,18 +12,16 @@ pub mod high_security;
 pub mod metadata;
 pub mod preimage;
 pub mod recovery;
-pub mod referenda;
-pub mod referenda_decode;
 pub mod reversible;
 pub mod runtime;
 pub mod scheduler;
 pub mod send;
 pub mod storage;
 pub mod system;
 pub mod tech_collective;
-pub mod tech_referenda;
 pub mod treasury;
 pub mod wallet;
+pub mod wormhole;
 
 /// Main CLI commands
 #[derive(Subcommand, Debug)]
@@ -94,12 +92,6 @@ pub enum Commands {
 	/// Tech Referenda management commands (for runtime upgrade proposals)
 	#[command(subcommand)]
 	Preimage(preimage::PreimageCommands),
-	#[command(subcommand)]
-	TechReferenda(tech_referenda::TechReferendaCommands),
-
-	/// Standard Referenda management commands (public governance)
-	#[command(subcommand)]
-	Referenda(referenda::ReferendaCommands),
 
 	/// Treasury management commands
 	#[command(subcommand)]
@@ -230,6 +222,10 @@ pub enum Commands {
 	/// Block management and analysis commands
 	#[command(subcommand)]
 	Block(block::BlockCommands),
+
+	/// Wormhole proof generation and verification
+	#[command(subcommand)]
+	Wormhole(wormhole::WormholeCommands),
 }
 
 /// Developer subcommands
@@ -282,11 +278,6 @@ pub async fn execute_command(
 			.await,
 		Commands::Preimage(preimage_cmd) =>
 			preimage::handle_preimage_command(preimage_cmd, node_url, finalized).await,
-		Commands::TechReferenda(tech_referenda_cmd) =>
-			tech_referenda::handle_tech_referenda_command(tech_referenda_cmd, node_url, finalized)
-				.await,
-		Commands::Referenda(referenda_cmd) =>
-			referenda::handle_referenda_command(referenda_cmd, node_url, finalized).await,
 		Commands::Treasury(treasury_cmd) =>
 			treasury::handle_treasury_command(treasury_cmd, node_url, finalized).await,
 		Commands::Runtime(runtime_cmd) =>
@@ -362,6 +353,8 @@ pub async fn execute_command(
 		},
 		Commands::CompatibilityCheck => handle_compatibility_check(node_url).await,
 		Commands::Block(block_cmd) => block::handle_block_command(block_cmd, node_url).await,
+		Commands::Wormhole(wormhole_cmd) =>
+			wormhole::handle_wormhole_command(wormhole_cmd, node_url).await,
 	}
 }