From 17071c9c2473bdd444c31a077fbdfda5e03184a1 Mon Sep 17 00:00:00 2001
From: Alejandro Cabeza Romero <alex93cabeza@gmail.com>
Date: Tue, 3 Mar 2026 09:56:09 +0100
Subject: [PATCH 1/2] Copy circuits to lib after mangling.

---
 flake.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/flake.nix b/flake.nix
index 517d64d..e5ec34d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -84,6 +84,10 @@
               mkdir $out/share
               cp -r ${logosBlockchainC}/circuits $out/share
             '';
+
+            postFixup = ''
+              cp -r ${logosBlockchainC}/circuits $out/lib/circuits
+            '';
         };
         in
         {

From 7a88b07e5e96aa5e39d0d6b86d36bb76e2e7dc1f Mon Sep 17 00:00:00 2001
From: Alejandro Cabeza Romero <alex93cabeza@gmail.com>
Date: Tue, 3 Mar 2026 10:02:17 +0100
Subject: [PATCH 2/2] Add explanatory comment.

---
 flake.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/flake.nix b/flake.nix
index e5ec34d..2ddd9c9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -85,6 +85,11 @@
               cp -r ${logosBlockchainC}/circuits $out/share
             '';
 
+            # Logos Core Edge-case
+            # The current version of Logos Core expects circuits' binaries under `lib/circuits/`.
+            # Until we address this in Logos Core, we use this hook to include to ensure the circuits' binaries
+            # are included in the binary bundle and avoid the circuits being mangled by Nix (which did that when
+            # copying them in a previous phase).
             postFixup = ''
               cp -r ${logosBlockchainC}/circuits $out/lib/circuits
             '';