diff --git a/libs/blueprint/.clang-format b/libs/blueprint/.clang-format
deleted file mode 100644
index 11c9595a08..0000000000
--- a/libs/blueprint/.clang-format
+++ /dev/null
@@ -1,94 +0,0 @@
----
-BasedOnStyle: WebKit
-AlignAfterOpenBracket: Align
-AlignConsecutiveAssignments: false
-AlignConsecutiveDeclarations: false
-AlignEscapedNewlines: Left
-AlignOperands: true
-AlignTrailingComments: true
-AllowAllParametersOfDeclarationOnNextLine: false
-AllowShortBlocksOnASingleLine: false
-AllowShortCaseLabelsOnASingleLine: false
-AllowShortFunctionsOnASingleLine: None
-AllowShortIfStatementsOnASingleLine: Never
-AllowShortLoopsOnASingleLine: false
-AlwaysBreakAfterDefinitionReturnType: None
-AlwaysBreakAfterReturnType: None
-AlwaysBreakBeforeMultilineStrings: true
-AlwaysBreakTemplateDeclarations: Yes
-BinPackArguments: true
-BinPackParameters: true
-BreakAfterJavaFieldAnnotations: true
-BreakBeforeBinaryOperators: None
-BreakBeforeBraces: Custom
-BraceWrapping:
-    AfterClass: false
-    AfterControlStatement: false
-    AfterEnum: false
-    AfterFunction: false
-    AfterNamespace: false
-    AfterObjCDeclaration: false
-    AfterStruct: false
-    AfterUnion: false
-    AfterExternBlock: false
-    BeforeCatch: false
-    BeforeElse: false
-    IndentBraces: false
-    SplitEmptyFunction: false
-    SplitEmptyRecord: false
-    SplitEmptyNamespace: false
-BreakBeforeInheritanceComma: false
-BreakBeforeTernaryOperators: false
-BreakConstructorInitializers: AfterColon
-BreakStringLiterals: true
-ColumnLimit: 120
-CompactNamespaces: false
-ConstructorInitializerAllOnOneLineOrOnePerLine: false
-ConstructorInitializerIndentWidth: 4
-ContinuationIndentWidth: 4
-Cpp11BracedListStyle: true
-DerivePointerAlignment: false
-DisableFormat: false
-ExperimentalAutoDetectBinPacking: true
-FixNamespaceComments: true
-ForEachMacros: [ 'BOOST_FOREACH' ]
-IncludeBlocks: Regroup
-IncludeCategories:
-    -   Regex: '^"(<)/'
-        Priority: 1
-    -   Regex: '^(<(boost)/)'
-        Priority: 2
-    -   Regex: '^(<(nil\/algebra)/)'
-        Priority: 3
-    -   Regex: '.*'
-        Priority: 4
-IndentCaseLabels: true
-IndentPPDirectives: None
-IndentWidth: 4
-IndentWrappedFunctionNames: true
-KeepEmptyLinesAtTheStartOfBlocks: true
-Language: Cpp
-NamespaceIndentation: All
-ObjCBlockIndentWidth: 4
-ObjCSpaceAfterProperty: true
-ObjCSpaceBeforeProtocolList: true
-PointerAlignment: Right
-ReflowComments: true
-SortIncludes: false
-SortUsingDeclarations: true
-SpaceAfterCStyleCast: false
-SpaceAfterTemplateKeyword: false
-SpaceBeforeAssignmentOperators: true
-SpaceBeforeParens: ControlStatements
-SpaceInEmptyParentheses: false
-SpacesBeforeTrailingComments: 4
-SpacesInAngles: false
-SpacesInCStyleCastParentheses: false
-SpacesInContainerLiterals: true
-SpacesInParentheses: false
-SpacesInSquareBrackets: false
-Standard: Cpp11
-TabWidth: 4
-UseTab: Never
-
-...
diff --git a/libs/blueprint/.github/workflows/run_tests.yml b/libs/blueprint/.github/workflows/run_tests.yml
deleted file mode 100644
index 35bb000d18..0000000000
--- a/libs/blueprint/.github/workflows/run_tests.yml
+++ /dev/null
@@ -1,60 +0,0 @@
-name: Run tests
-
-on:
-  # Triggers the workflow on pull request events but only for the master branch
-  pull_request:
-    branches: [ master ]
-  push:
-    branches: [ master ]
-
-  # Allows you to run this workflow manually from the Actions tab
-  workflow_dispatch:
-
-env:
-  SUITE_REPO: "NilFoundation/crypto3"
-  LIB_NAME: "blueprint"
-  CACHE_NAME: "blueprint-job-cache"
-
-jobs:
-  handle-syncwith:
-    if: github.event_name == 'pull_request'
-    name: Call Reusable SyncWith Handler
-    uses: NilFoundation/ci-cd/.github/workflows/reusable-handle-syncwith.yml@v1
-    with:
-      ci-cd-ref: 'v1'
-    secrets: inherit
-
-  build-and-test:
-    needs: [ handle-syncwith ]
-    runs-on: ["self-hosted", "aws_autoscaling"]
-    strategy:
-      fail-fast: false
-    steps:
-      # https://github.com/actions/checkout/issues/1552
-      - name: Clean up after previous checkout
-        run: chmod +w -R ${GITHUB_WORKSPACE}; rm -rf ${GITHUB_WORKSPACE}/*;
-
-      - name: Checkout Blueprint
-        uses: actions/checkout@v4
-        with:
-          fetch-depth: 0
-          submodules: recursive
-
-      - name: Checkout submodules to specified refs
-        if: inputs.submodules-refs != ''
-        uses: NilFoundation/ci-cd/actions/recursive-checkout@v1.2.1
-        with:
-          refs: ${{ inputs.submodules-refs }}
-          paths: |
-            ${{ github.workspace }}/**
-            !${{ github.workspace }}/
-            !${{ github.workspace }}/**/.git/**
-
-      # nix is taken from the cloud-init template, no need to install it.
-      - name: Build and run tests
-        env:
-          NIX_CONFIG: |
-            cores = 8
-            max-jobs = 4
-        run: |
-          nix build -L .?submodules=1#checks.x86_64-linux.default
diff --git a/libs/blueprint/.github/workflows/set_version.yml b/libs/blueprint/.github/workflows/set_version.yml
deleted file mode 100644
index 8d811370f0..0000000000
--- a/libs/blueprint/.github/workflows/set_version.yml
+++ /dev/null
@@ -1,31 +0,0 @@
-name: Set version
-
-on:
-  #Disabled because the workflow does not actually work with current runner permissions
-  #push:
-  #  branches: [ master ]
-  workflow_dispatch:
-
-jobs:
-  set_version:
-    name: Set and tag version
-    runs-on: [ubuntu-latest]
-    env:
-      VERSION_FILE_NAME: VERSION
-    steps:
-    - name: Checkout
-      uses: actions/checkout@v3
-
-    - name: Set version
-      id: set_version
-      run: |
-        version=$(cat ${{ env.VERSION_FILE_NAME }} | tr -d '\r').$GITHUB_RUN_NUMBER
-        echo "VERSION=$version" >> $GITHUB_ENV
-
-    - name: Tag new version
-      run: git tag v${{ env.VERSION }}
-
-    - name: Push tags
-      uses: ad-m/github-push-action@master
-      with:
-        tags: true
diff --git a/libs/blueprint/.gitignore b/libs/blueprint/.gitignore
deleted file mode 100644
index a51aff968e..0000000000
--- a/libs/blueprint/.gitignore
+++ /dev/null
@@ -1,666 +0,0 @@
-
-# Created by https://www.gitignore.io/api/c,tex,c++,cmake,jetbrains+all
-# Edit at https://www.gitignore.io/?templates=c,tex,c++,cmake,jetbrains+all
-
-### C ###
-# Prerequisites
-*.d
-
-# Object files
-*.o
-*.ko
-*.obj
-*.elf
-
-# Linker output
-*.ilk
-*.map
-*.exp
-
-# Precompiled Headers
-*.gch
-*.pch
-
-# Libraries
-*.lib
-*.a
-*.la
-*.lo
-
-# Shared objects (inc. Windows DLLs)
-*.dll
-*.so
-*.so.*
-*.dylib
-
-# Executables
-*.exe
-*.out
-*.app
-*.i*86
-*.x86_64
-*.hex
-
-# Debug files
-*.dSYM/
-*.su
-*.idb
-*.pdb
-
-# Kernel Module Compile Results
-*.mod*
-*.cmd
-.tmp_versions/
-modules.order
-Module.symvers
-Mkfile.old
-dkms.conf
-
-### C++ ###
-# Prerequisites
-
-# Compiled Object files
-*.slo
-
-# Precompiled Headers
-
-# Compiled Dynamic libraries
-
-# Fortran module files
-*.mod
-*.smod
-
-# Compiled Static libraries
-*.lai
-
-# Executables
-
-### CMake ###
-CMakeLists.txt.user
-CMakeCache.txt
-CMakeFiles
-CMakeScripts
-Testing
-Makefile
-cmake_install.cmake
-install_manifest.txt
-compile_commands.json
-CTestTestfile.cmake
-_deps
-
-### CMake Patch ###
-# External projects
-*-prefix/
-
-### JetBrains+all ###
-# Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio and WebStorm
-# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839
-
-# User-specific stuff
-.idea/**/workspace.xml
-.idea/**/tasks.xml
-.idea/**/usage.statistics.xml
-.idea/**/dictionaries
-.idea/**/shelf
-
-# Generated files
-.idea/**/contentModel.xml
-
-# Sensitive or high-churn files
-.idea/**/dataSources/
-.idea/**/dataSources.ids
-.idea/**/dataSources.local.xml
-.idea/**/sqlDataSources.xml
-.idea/**/dynamic.xml
-.idea/**/uiDesigner.xml
-.idea/**/dbnavigator.xml
-
-# Gradle
-.idea/**/gradle.xml
-.idea/**/libraries
-
-# Gradle and Maven with auto-import
-# When using Gradle or Maven with auto-import, you should exclude module files,
-# since they will be recreated, and may cause churn.  Uncomment if using
-# auto-import.
-# .idea/modules.xml
-# .idea/*.iml
-# .idea/modules
-
-# CMake
-cmake-build-*/
-
-# Mongo Explorer plugin
-.idea/**/mongoSettings.xml
-
-# File-based project format
-*.iws
-
-# IntelliJ
-out/
-
-# mpeltonen/sbt-idea plugin
-.idea_modules/
-
-# JIRA plugin
-atlassian-ide-plugin.xml
-
-# Cursive Clojure plugin
-.idea/replstate.xml
-
-# Crashlytics plugin (for Android Studio and IntelliJ)
-com_crashlytics_export_strings.xml
-crashlytics.properties
-crashlytics-build.properties
-fabric.properties
-
-# Editor-based Rest Client
-.idea/httpRequests
-
-# Android studio 3.1+ serialized c file
-.idea/caches/build_file_checksums.ser
-
-# JetBrains templates
-**___jb_tmp___
-
-### JetBrains+all Patch ###
-# Ignores the whole .idea folder and all .iml files
-# See https://github.com/joeblau/gitignore.io/issues/186 and https://github.com/joeblau/gitignore.io/issues/360
-
-.idea/
-
-# Reason: https://github.com/joeblau/gitignore.io/issues/186#issuecomment-249601023
-
-*.iml
-modules.xml
-.idea/misc.xml
-*.ipr
-
-# Sonarlint plugin
-.idea/sonarlint
-
-### TeX ###
-## Core latex/pdflatex auxiliary files:
-*.aux
-*.lof
-*.log
-*.lot
-*.fls
-*.toc
-*.fmt
-*.fot
-*.cb
-*.cb2
-.*.lb
-
-## Intermediate documents:
-*.dvi
-*.xdv
-*-converted-to.*
-# these rules might exclude image files for figures etc.
-# *.ps
-# *.eps
-# *.pdf
-
-## Generated if empty string is given at "Please type another file name for output:"
-.pdf
-
-## Bibliography auxiliary files (bibtex/biblatex/biber):
-*.bbl
-*.bcf
-*.blg
-*-blx.aux
-*-blx.bib
-*.run.xml
-
-## Build tool auxiliary files:
-*.fdb_latexmk
-*.synctex
-*.synctex(busy)
-*.synctex.gz
-*.synctex.gz(busy)
-*.pdfsync
-
-## Build tool directories for auxiliary files
-# latexrun
-latex.out/
-
-## Auxiliary and intermediate files from other packages:
-# algorithms
-*.alg
-*.loa
-
-# achemso
-acs-*.bib
-
-# amsthm
-*.thm
-
-# beamer
-*.nav
-*.pre
-*.snm
-*.vrb
-
-# changes
-*.soc
-
-# comment
-*.cut
-
-# cprotect
-*.cpt
-
-# elsarticle (documentclass of Elsevier journals)
-*.spl
-
-# endnotes
-*.ent
-
-# fixme
-*.lox
-
-# feynmf/feynmp
-*.mf
-*.mp
-*.t[1-9]
-*.t[1-9][0-9]
-*.tfm
-
-#(r)(e)ledmac/(r)(e)ledpar
-*.end
-*.?end
-*.[1-9]
-*.[1-9][0-9]
-*.[1-9][0-9][0-9]
-*.[1-9]R
-*.[1-9][0-9]R
-*.[1-9][0-9][0-9]R
-*.eledsec[1-9]
-*.eledsec[1-9]R
-*.eledsec[1-9][0-9]
-*.eledsec[1-9][0-9]R
-*.eledsec[1-9][0-9][0-9]
-*.eledsec[1-9][0-9][0-9]R
-
-# glossaries
-*.acn
-*.acr
-*.glg
-*.glo
-*.gls
-*.glsdefs
-
-# gnuplottex
-*-gnuplottex-*
-
-# gregoriotex
-*.gaux
-*.gtex
-
-# htlatex
-*.4ct
-*.4tc
-*.idv
-*.lg
-*.trc
-*.xref
-
-# hyperref
-*.brf
-
-# knitr
-*-concordance.tex
-# TODO Comment the next line if you want to keep your tikz graphics files
-*.tikz
-*-tikzDictionary
-
-# listings
-*.lol
-
-# luatexja-ruby
-*.ltjruby
-
-# makeidx
-*.idx
-*.ilg
-*.ind
-*.ist
-
-# minitoc
-*.maf
-*.mlf
-*.mlt
-*.mtc[0-9]*
-*.slf[0-9]*
-*.slt[0-9]*
-*.stc[0-9]*
-
-# minted
-_minted*
-*.pyg
-
-# morewrites
-*.mw
-
-# nomencl
-*.nlg
-*.nlo
-*.nls
-
-# pax
-*.pax
-
-# pdfpcnotes
-*.pdfpc
-
-# sagetex
-*.sagetex.sage
-*.sagetex.py
-*.sagetex.scmd
-
-# scrwfile
-*.wrt
-
-# sympy
-*.sout
-*.sympy
-sympy-plots-for-*.tex/
-
-# pdfcomment
-*.upa
-*.upb
-
-# pythontex
-*.pytxcode
-pythontex-files-*/
-
-# tcolorbox
-*.listing
-
-# thmtools
-*.loe
-
-# TikZ & PGF
-*.dpth
-*.md5
-*.auxlock
-
-# todonotes
-*.tdo
-
-# vhistory
-*.hst
-*.ver
-
-# easy-todo
-*.lod
-
-# xcolor
-*.xcp
-
-# xmpincl
-*.xmpi
-
-# xindy
-*.xdy
-
-# xypic precompiled matrices
-*.xyc
-
-# endfloat
-*.ttt
-*.fff
-
-# Latexian
-TSWLatexianTemp*
-
-## Editors:
-# WinEdt
-*.bak
-*.sav
-
-# Texpad
-.texpadtmp
-
-# LyX
-*.lyx~
-
-# Kile
-*.backup
-
-# KBibTeX
-*~[0-9]*
-
-# auto folder when using emacs and auctex
-./auto/*
-*.el
-
-# expex forward references with \gathertags
-*-tags.tex
-
-# standalone packages
-*.sta
-
-### TeX Patch ###
-# glossaries
-*.glstex
-
-# End of https://www.gitignore.io/api/c,tex,c++,cmake,jetbrains+all
-#
-# 
-# Created by https://www.toptal.com/developers/gitignore/api/vim,macos,intellij,cmake,c++
-# Edit at https://www.toptal.com/developers/gitignore?templates=vim,macos,intellij,cmake,c++
-
-### C++ ###
-# Prerequisites
-*.d
-
-# Compiled Object files
-*.slo
-*.lo
-*.o
-*.obj
-
-# Precompiled Headers
-*.gch
-*.pch
-
-# Linker files
-*.ilk
-
-# Debugger Files
-*.pdb
-
-# Compiled Dynamic libraries
-*.so
-*.dylib
-*.dll
-
-# Fortran module files
-*.mod
-*.smod
-
-# Compiled Static libraries
-*.lai
-*.la
-*.a
-*.lib
-
-# Executables
-*.exe
-*.out
-*.app
-
-### CMake ###
-CMakeLists.txt.user
-CMakeCache.txt
-CMakeFiles
-CMakeScripts
-Testing
-Makefile
-cmake_install.cmake
-install_manifest.txt
-compile_commands.json
-CTestTestfile.cmake
-_deps
-CMakeUserPresets.json
-
-### CMake Patch ###
-# External projects
-*-prefix/
-
-### Intellij ###
-# Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio, WebStorm and Rider
-# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839
-
-# User-specific stuff
-.idea/**/workspace.xml
-.idea/**/tasks.xml
-.idea/**/usage.statistics.xml
-.idea/**/dictionaries
-.idea/**/shelf
-
-# Generated files
-.idea/**/contentModel.xml
-
-# Sensitive or high-churn files
-.idea/**/dataSources/
-.idea/**/dataSources.ids
-.idea/**/dataSources.local.xml
-.idea/**/sqlDataSources.xml
-.idea/**/dynamic.xml
-.idea/**/uiDesigner.xml
-.idea/**/dbnavigator.xml
-
-# Gradle
-.idea/**/gradle.xml
-.idea/**/libraries
-
-# Gradle and Maven with auto-import
-# When using Gradle or Maven with auto-import, you should exclude module files,
-# since they will be recreated, and may cause churn.  Uncomment if using
-# auto-import.
-# .idea/artifacts
-# .idea/compiler.xml
-# .idea/jarRepositories.xml
-# .idea/modules.xml
-# .idea/*.iml
-# .idea/modules
-# *.iml
-# *.ipr
-
-# CMake
-cmake-build-*/
-
-# Mongo Explorer plugin
-.idea/**/mongoSettings.xml
-
-# File-based project format
-*.iws
-
-# IntelliJ
-out/
-
-# mpeltonen/sbt-idea plugin
-.idea_modules/
-
-# JIRA plugin
-atlassian-ide-plugin.xml
-
-# Cursive Clojure plugin
-.idea/replstate.xml
-
-# Crashlytics plugin (for Android Studio and IntelliJ)
-com_crashlytics_export_strings.xml
-crashlytics.properties
-crashlytics-build.properties
-fabric.properties
-
-# Editor-based Rest Client
-.idea/httpRequests
-
-# Android studio 3.1+ serialized cache file
-.idea/caches/build_file_checksums.ser
-
-### Intellij Patch ###
-# Comment Reason: https://github.com/joeblau/gitignore.io/issues/186#issuecomment-215987721
-
-# *.iml
-# modules.xml
-# .idea/misc.xml
-# *.ipr
-
-# Sonarlint plugin
-# https://plugins.jetbrains.com/plugin/7973-sonarlint
-.idea/**/sonarlint/
-
-# SonarQube Plugin
-# https://plugins.jetbrains.com/plugin/7238-sonarqube-community-plugin
-.idea/**/sonarIssues.xml
-
-# Markdown Navigator plugin
-# https://plugins.jetbrains.com/plugin/7896-markdown-navigator-enhanced
-.idea/**/markdown-navigator.xml
-.idea/**/markdown-navigator-enh.xml
-.idea/**/markdown-navigator/
-
-# Cache file creation bug
-# See https://youtrack.jetbrains.com/issue/JBR-2257
-.idea/$CACHE_FILE$
-
-# CodeStream plugin
-# https://plugins.jetbrains.com/plugin/12206-codestream
-.idea/codestream.xml
-
-### macOS ###
-# General
-.DS_Store
-.AppleDouble
-.LSOverride
-
-# Icon must end with two \r
-Icon
-
-
-# Thumbnails
-._*
-
-# Files that might appear in the root of a volume
-.DocumentRevisions-V100
-.fseventsd
-.Spotlight-V100
-.TemporaryItems
-.Trashes
-.VolumeIcon.icns
-.com.apple.timemachine.donotpresent
-
-# Directories potentially created on remote AFP share
-.AppleDB
-.AppleDesktop
-Network Trash Folder
-Temporary Items
-.apdisk
-
-### Vim ###
-# Swap
-[._]*.s[a-v][a-z]
-!*.svg  # comment out if you don't need vector files
-[._]*.sw[a-p]
-[._]s[a-rt-v][a-z]
-[._]ss[a-gi-z]
-[._]sw[a-p]
-
-# Session
-Session.vim
-Sessionx.vim
-
-# Temporary
-.netrwhist
-*~
-# Auto-generated tag files
-tags
-# Persistent undo
-[._]*.un~
-
-# End of https://www.toptal.com/developers/gitignore/api/vim,macos,intellij,cmake,c++
diff --git a/libs/blueprint/.gitmodules b/libs/blueprint/.gitmodules
deleted file mode 100644
index e69de29bb2..0000000000
diff --git a/libs/blueprint/cmake/Config.cmake.in b/libs/blueprint/cmake/Config.cmake.in
deleted file mode 100644
index af9b790a4f..0000000000
--- a/libs/blueprint/cmake/Config.cmake.in
+++ /dev/null
@@ -1,8 +0,0 @@
-@PACKAGE_INIT@
-
-include(CMakeFindDependencyMacro)
-find_dependency(Boost COMPONENTS REQUIRED
-                    container json filesystem log log_setup program_options random thread system unit_test_framework)
-find_dependency(crypto3 REQUIRED)
-
-include("${CMAKE_CURRENT_LIST_DIR}/crypto3_blueprint-targets.cmake")
diff --git a/libs/blueprint/flake.nix b/libs/blueprint/flake.nix
deleted file mode 100644
index 4434d8c1d7..0000000000
--- a/libs/blueprint/flake.nix
+++ /dev/null
@@ -1,77 +0,0 @@
-{
-  description = "Nix flake for zkllvm-blueprint";
-
-  inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs";
-    flake-utils.url = "github:numtide/flake-utils";
-    nix-3rdparty = {
-      url = "github:NilFoundation/nix-3rdparty";
-      inputs = {
-        nixpkgs.follows = "nixpkgs";
-        flake-utils.follows = "flake-utils";
-      };
-    };
-    nil-crypto3 = {
-      url = "https://github.com/NilFoundation/crypto3";
-      type = "git";
-      inputs = {
-        nixpkgs.follows = "nixpkgs";
-      };
-    };
-  };
-
-  outputs = { self, nixpkgs, nil-crypto3, flake-utils, nix-3rdparty }:
-    (flake-utils.lib.eachDefaultSystem (system:
-      let
-        pkgs = import nixpkgs { inherit system; };
-        stdenv = pkgs.llvmPackages_16.stdenv;
-        crypto3 = nil-crypto3.packages.${system}.crypto3;
-        cmake_modules = nix-3rdparty.packages.${system}.cmake_modules;
-      in {
-        packages = rec {
-          zkllvm-blueprint = (pkgs.callPackage ./zkllvm-blueprint.nix {
-            src_repo = self;
-            crypto3 = crypto3;
-            cmake_modules = cmake_modules;
-          });
-          zkllvm-blueprint-debug = (pkgs.callPackage ./zkllvm-blueprint.nix {
-            src_repo = self;
-            crypto3 = crypto3;
-            cmake_modules = cmake_modules;
-            enableDebug = true;
-          });
-          zkllvm-blueprint-debug-tests = (pkgs.callPackage ./zkllvm-blueprint.nix {
-            src_repo = self;
-            crypto3 = crypto3;
-            cmake_modules = cmake_modules;
-            enableDebug = true;
-            runTests = true;
-          });
-          default = zkllvm-blueprint-debug-tests;
-        };
-        checks = rec {
-          gcc = (pkgs.callPackage ./zkllvm-blueprint.nix {
-            src_repo = self;
-            crypto3 = crypto3;
-            cmake_modules = cmake_modules;
-            runTests = true;
-          });
-          clang = (pkgs.callPackage ./zkllvm-blueprint.nix {
-            stdenv = pkgs.llvmPackages_18.stdenv;
-            src_repo = self;
-            crypto3 = crypto3;
-            cmake_modules = cmake_modules;
-            runTests = true;
-          });
-          all = pkgs.symlinkJoin {
-            name = "all";
-            paths = [ gcc clang ];
-          };
-          default = all;
-        };
-      }));
-}
-
-# `nix flake -L check` to run all tests (-L to output build logs)
-# `nix flake show` to show derivations tree
-# If build fails due to OOM, run `export NIX_CONFIG="cores = 2"` to set desired parallel level
diff --git a/libs/blueprint/run_tests.sh b/libs/blueprint/run_tests.sh
deleted file mode 100755
index 39b75c74c4..0000000000
--- a/libs/blueprint/run_tests.sh
+++ /dev/null
@@ -1,77 +0,0 @@
-#!/usr/bin/env bash
-set -e
-
-declare -a TEST_LIST=(\
-    "blueprint_algebra_fields_plonk_field_operations_test"
-    "blueprint_algebra_fields_plonk_exponentiation_test"
-    "blueprint_algebra_curves_plonk_unified_addition_test"
-    "blueprint_algebra_curves_plonk_variable_base_scalar_mul_test"
-    "blueprint_verifiers_kimchi_sponge_oracles_test"
-    "blueprint_hashes_plonk_poseidon_test"
-    "blueprint_algebra_curves_plonk_endo_scalar_test"
-    "blueprint_algebra_fields_plonk_range_check_test"
-    "blueprint_algebra_fields_plonk_logic_and_flag_test"
-    "blueprint_algebra_fields_plonk_logic_or_flag_test"
-    "blueprint_algebra_fields_plonk_interpolation_test"
-    "blueprint_algebra_fields_plonk_non_native_addition_test"
-    "blueprint_algebra_fields_plonk_non_native_subtraction_test"
-    "blueprint_algebra_fields_plonk_non_native_multiplication_test"
-    "blueprint_algebra_fields_plonk_non_native_range_test"
-    "blueprint_algebra_fields_plonk_non_native_reduction_test"
-    "blueprint_algebra_fields_plonk_non_native_bit_decomposition_test"
-    "blueprint_algebra_fields_plonk_non_native_bit_composition_test"
-    "blueprint_algebra_fields_plonk_non_native_bit_shift_constant_test"
-    "blueprint_algebra_fields_plonk_non_native_logic_ops_test"
-    "blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test"
-    "blueprint_algebra_fields_plonk_non_native_comparison_checked_test"
-    "blueprint_algebra_fields_plonk_non_native_comparison_unchecked_test"
-    "blueprint_algebra_fields_plonk_non_native_comparison_flag_test"
-    "blueprint_algebra_fields_plonk_non_native_equality_flag_test"
-    "blueprint_algebra_fields_plonk_non_native_division_remainder_test"
-    "blueprint_non_native_plonk_bool_scalar_multiplication_test"
-    "blueprint_non_native_plonk_add_mul_zkllvm_compatible_test"
-    "blueprint_hashes_plonk_decomposition_test"
-    "blueprint_verifiers_placeholder_fri_cosets_test"
-    "blueprint_hashes_plonk_sha256_process_test"
-    "blueprint_hashes_plonk_sha512_process_test"
-    "blueprint_hashes_plonk_sha256_test"
-    "blueprint_hashes_plonk_sha512_test"
-    "blueprint_algebra_fields_plonk_sqrt_test"
-    "blueprint_verifiers_placeholder_fri_lin_inter_test"
-    "blueprint_verifiers_placeholder_fri_array_swap_test"
-    "blueprint_manifest_test"
-    "blueprint_detail_huang_lu_test"
-    "blueprint_private_input_test"
-    "blueprint_verifiers_placeholder_permutation_argument_verifier_test"
-    "blueprint_verifiers_placeholder_gate_argument_verifier_test"
-    "blueprint_verifiers_placeholder_lookup_argument_verifier_test"
-    "blueprint_verifiers_placeholder_f1_loop_test"
-    "blueprint_verifiers_placeholder_f3_loop_test"
-    "blueprint_verifiers_placeholder_gate_component_test"
-    "blueprint_verifiers_flexible_pow_factor_test"
-    "blueprint_proxy_test"
-    "blueprint_component_batch_test"
-    "blueprint_verifiers_placeholder_expression_evaluation_component_test"
-    "blueprint_verifiers_placeholder_final_polynomial_check_test"
-    "blueprint_verifiers_flexible_swap_test"
-    "blueprint_verifiers_flexible_additions_test"
-    "blueprint_verifiers_flexible_multiplications_test"
-    "blueprint_verifiers_flexible_poseidon_test"
-    "blueprint_verifiers_flexible_constant_pow_test"
-    "blueprint_verifiers_placeholder_verifier_test"
-    "blueprint_zkevm_zkevm_word_test"
-    "blueprint_zkevm_bytecode_test"
-    "blueprint_zkevm_state_selector_test"
-    "blueprint_zkevm_state_transition_test"
-    "blueprint_zkevm_opcodes_iszero_test"
-    "blueprint_zkevm_opcodes_add_sub_test"
-    "blueprint_zkevm_opcodes_mul_test"
-    "blueprint_zkevm_opcodes_div_test"
-)
-#blueprint_non_native_plonk_scalar_non_native_range_test, TODO: enable once fixed.
-#blueprint_mock_mocked_components_test, TODO: Enable after code and test re-written.
-
-echo "building ${TEST_LIST[*]}"
-ninja -k 0 -j $NIX_BUILD_CORES ${TEST_LIST[*]}
-
-echo "finish"
diff --git a/libs/blueprint/zkllvm-blueprint.nix b/libs/blueprint/zkllvm-blueprint.nix
deleted file mode 100644
index c6f0059c6b..0000000000
--- a/libs/blueprint/zkllvm-blueprint.nix
+++ /dev/null
@@ -1,57 +0,0 @@
-{ lib,
-  stdenv,
-  src_repo,
-  ninja,
-  pkg-config,
-  cmake,
-  boost183,
-  # We'll use boost183 by default, but you can override it
-  boost_lib ? boost183,
-  gdb,
-  cmake_modules,
-  crypto3,
-  enableDebugging,
-  enableDebug ? false,
-  runTests ? false,
-  }:
-let
-  inherit (lib) optional;
-in stdenv.mkDerivation rec {
-  name = "blueprint";
-
-  src = src_repo;
-
-  nativeBuildInputs = [ cmake ninja pkg-config ] ++ (lib.optional (!stdenv.isDarwin) gdb);
-
-  # enableDebugging will keep debug symbols in boost
-  propagatedBuildInputs = [ (if enableDebug then (enableDebugging boost_lib) else boost_lib) ];
-
-  buildInputs = [cmake_modules crypto3];
-
-  cmakeFlags =
-  [
-      (if runTests then "-DBUILD_TESTS=TRUE" else "")
-      (if runTests then "-DCMAKE_ENABLE_TESTS=TRUE" else "")
-      (if enableDebug then "-DCMAKE_BUILD_TYPE=Debug" else "-DCMAKE_BUILD_TYPE=Release")
-      (if enableDebug then "-DCMAKE_CXX_FLAGS=-ggdb" else "")
-      (if enableDebug then "-DCMAKE_CXX_FLAGS=-O0" else "")
-      "-G Ninja"
-  ];
-
-  doBuild = false;
-  doCheck = runTests;
-  dontInstall = true;
-
-  buildPhase = ''
-    echo "skip build"
-  '';
-
-  checkPhase = ''
-    bash ../run_tests.sh
-  '';
-
-  shellHook = ''
-    PS1="\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ "
-    echo "Welcome to Blueprint development environment!"
-  '';
-}