diff --git a/halo2/CHANGELOG.md b/halo2/CHANGELOG.md
deleted file mode 100644
index 19cfec4d18..0000000000
--- a/halo2/CHANGELOG.md
+++ /dev/null
@@ -1,15 +0,0 @@
-# Changelog
-All notable changes to this project will be documented in this file.
-
-The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
-and this project adheres to Rust's notion of
-[Semantic Versioning](https://semver.org/spec/v2.0.0.html).
-
-## [Unreleased]
-
-## [0.1.0-beta.2] - 2022-02-14
-### Removed
-- Everything (moved to `halo2_proofs` crate).
-
-## [0.1.0-beta.1] - 2021-09-24
-Initial beta release!
diff --git a/halo2/Cargo.toml b/halo2/Cargo.toml
deleted file mode 100644
index 0c29ca6cc5..0000000000
--- a/halo2/Cargo.toml
+++ /dev/null
@@ -1,25 +0,0 @@
-[package]
-name = "halo2"
-version = "0.2.0"
-authors = [
-    "Jack Grigg <jack@electriccoin.co>",
-]
-edition = "2021"
-rust-version = "1.56.1"
-description = "[BETA] Fast zero-knowledge proof-carrying data implementation with no trusted setup"
-license = "MIT OR Apache-2.0"
-repository = "https://github.com/zcash/halo2"
-documentation = "https://docs.rs/halo2"
-readme = "../README.md"
-categories = ["cryptography"]
-keywords = ["halo", "proofs", "recursive", "zkp", "zkSNARKs"]
-
-[package.metadata.docs.rs]
-all-features = true
-rustdoc-args = ["--cfg", "docsrs", "--html-in-header", "katex-header.html"]
-
-[dependencies]
-halo2_proofs = { version = "0.2", path = "../halo2_proofs", default-features = false }
-
-[lib]
-bench = false
diff --git a/halo2/katex-header.html b/halo2/katex-header.html
deleted file mode 100644
index 98e85904fa..0000000000
--- a/halo2/katex-header.html
+++ /dev/null
@@ -1,15 +0,0 @@
-<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.10.0/dist/katex.min.css" integrity="sha384-9eLZqc9ds8eNjO3TmqPeYcDj8n+Qfa4nuSiGYa6DjLNcv9BtN69ZIulL9+8CqC9Y" crossorigin="anonymous">
-<script src="https://cdn.jsdelivr.net/npm/katex@0.10.0/dist/katex.min.js"                  integrity="sha384-K3vbOmF2BtaVai+Qk37uypf7VrgBubhQreNQe9aGsz9lB63dIFiQVlJbr92dw2Lx" crossorigin="anonymous"></script>
-<script src="https://cdn.jsdelivr.net/npm/katex@0.10.0/dist/contrib/auto-render.min.js"    integrity="sha384-kmZOZB5ObwgQnS/DuDg6TScgOiWWBiVt0plIRkZCmE6rDZGrEOQeHM5PcHi+nyqe" crossorigin="anonymous"></script>
-<script>
-    document.addEventListener("DOMContentLoaded", function() {
-        renderMathInElement(document.body, {
-            delimiters: [
-                {left: "$$", right: "$$", display: true},
-                {left: "\\(", right: "\\)", display: false},
-                {left: "$", right: "$", display: false},
-                {left: "\\[", right: "\\]", display: true}
-            ]
-        });
-    });
-</script>
\ No newline at end of file
diff --git a/halo2/src/lib.rs b/halo2/src/lib.rs
deleted file mode 100644
index 33cb67b4df..0000000000
--- a/halo2/src/lib.rs
+++ /dev/null
@@ -1,7 +0,0 @@
-//! # halo2
-
-#![cfg_attr(docsrs, feature(doc_cfg))]
-#![deny(rustdoc::broken_intra_doc_links)]
-#![deny(missing_debug_implementations)]
-#![deny(missing_docs)]
-#![deny(unsafe_code)]
diff --git a/halo2_proofs/Cargo.toml b/halo2_proofs/Cargo.toml
index ffcd01dc9b..0e9233e18b 100644
--- a/halo2_proofs/Cargo.toml
+++ b/halo2_proofs/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "halo2_proofs"
-version = "0.4.0"
+version = "0.3.0"
 authors = [
     "Sean Bowe <sean@electriccoin.co>",
     "Ying Tong Lai <yingtong@electriccoin.co>",