From 7c42e3020d5432911a39269db0964fc7c3c7e4d5 Mon Sep 17 00:00:00 2001
From: oars <oars@onionmail.org>
Date: Sat, 3 Jan 2026 15:37:38 +0300
Subject: [PATCH] zk: add Debug trait to ZkCircuit and fill configure trait

---
 src/zk/tracer.rs  | 2 +-
 src/zk/vm.rs      | 6 +++---
 src/zk/vm_heap.rs | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/zk/tracer.rs b/src/zk/tracer.rs
index 858f748af..c33bcb793 100644
--- a/src/zk/tracer.rs
+++ b/src/zk/tracer.rs
@@ -29,7 +29,7 @@ pub enum DebugOpValue {
     Void,
 }
 
-#[derive(Clone)]
+#[derive(Clone, Debug)]
 pub struct ZkTracer {
     pub opvalues: Arc<Mutex<Option<Vec<DebugOpValue>>>>,
     init_allowed: bool,
diff --git a/src/zk/vm.rs b/src/zk/vm.rs
index 7df4c78c1..5a271a49f 100644
--- a/src/zk/vm.rs
+++ b/src/zk/vm.rs
@@ -278,7 +278,7 @@ pub struct ZkParams {
     init_zerocond: bool,
 }
 
-#[derive(Clone)]
+#[derive(Clone, Debug)]
 pub struct ZkCircuit {
     constants: Vec<String>,
     pub(super) witnesses: Vec<Witness>,
@@ -320,8 +320,8 @@ impl Circuit<pallas::Base> for ZkCircuit {
         }
     }
 
-    fn configure(_meta: &mut ConstraintSystem<pallas::Base>) -> Self::Config {
-        unreachable!();
+    fn configure(meta: &mut ConstraintSystem<pallas::Base>) -> Self::Config {
+        Self::configure_with_params(meta, ZkParams::default())
     }
 
     fn params(&self) -> Self::Params {
diff --git a/src/zk/vm_heap.rs b/src/zk/vm_heap.rs
index 7ffc0a235..4a43d80b0 100644
--- a/src/zk/vm_heap.rs
+++ b/src/zk/vm_heap.rs
@@ -41,7 +41,7 @@ use crate::{
 
 /// These represent the witness types outside of the circuit
 #[allow(clippy::large_enum_variant)]
-#[derive(Clone)]
+#[derive(Clone, Debug)]
 pub enum Witness {
     EcPoint(Value<pallas::Point>),
     EcNiPoint(Value<pallas::Point>),