build: update tachyon version for releasing v0.4.0

bazel/tachyon.bzl

@@ -3,7 +3,7 @@ load("@local_config_rocm//rocm:build_defs.bzl", "if_rocm_is_configured")
 
 # See https://semver.org/
 VERSION_MAJOR = 0
-VERSION_MINOR = 3
+VERSION_MINOR = 4
 VERSION_PATCH = 0
 VERSION_PRERELEASE = ""
 VERSION = ".".join([str(VERSION_MAJOR), str(VERSION_MINOR), str(VERSION_PATCH)])

docker/Dockerfile.halo2.jammy

@@ -10,15 +10,15 @@ RUN bazel build --config opt --config linux --//:c_shared_object //scripts/packa
 FROM ubuntu:jammy AS tachyon-halo2
 LABEL maintainer="The Tachyon Authors <[email protected]>"
 
-COPY --from=builder /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.3.0_amd64.deb /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.3.0_amd64.deb
-COPY --from=builder /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.0_amd64.deb /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.0_amd64.deb
+COPY --from=builder /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.4.0_amd64.deb /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.4.0_amd64.deb
+COPY --from=builder /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.4.0_amd64.deb /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.4.0_amd64.deb
 
 RUN apt update && \
     apt install -y --no-install-recommends \
     libgmp-dev \
     libomp-dev && \
     rm -rf /var/lib/apt/lists/*
-RUN dpkg -i /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.3.0_amd64.deb && \
-    dpkg -i /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.0_amd64.deb && \
-    rm /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.3.0_amd64.deb && \
-    rm /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.0_amd64.deb
+RUN dpkg -i /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.4.0_amd64.deb && \
+    dpkg -i /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.4.0_amd64.deb && \
+    rm /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.4.0_amd64.deb && \
+    rm /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.4.0_amd64.deb

docs/how_to_use/how_to_build.md

@@ -146,11 +146,11 @@ There are two ways to install the Tachyon package. While it is recommended to in
 ### Install package from pre-built binaries
 
 ```shell
-curl -LO https://github.com/kroma-network/tachyon/releases/download/v0.3.0/libtachyon_0.3.0_amd64.deb
-curl -LO https://github.com/kroma-network/tachyon/releases/download/v0.3.0/libtachyon-dev_0.3.0_amd64.deb
+curl -LO https://github.com/kroma-network/tachyon/releases/download/v0.4.0/libtachyon_0.4.0_amd64.deb
+curl -LO https://github.com/kroma-network/tachyon/releases/download/v0.4.0/libtachyon-dev_0.4.0_amd64.deb
 
-sudo dpkg -i libtachyon_0.3.0_amd64.deb
-sudo dpkg -i libtachyon-dev_0.3.0_amd64.deb
+sudo dpkg -i libtachyon_0.4.0_amd64.deb
+sudo dpkg -i libtachyon-dev_0.4.0_amd64.deb
 ```
 
 ### Build package from source
@@ -162,8 +162,8 @@ To build the Halo2 Debian package, the `has_openmp` option is recommended. Run t
 bazel build --config opt --//:c_shared_object //scripts/packages/debian/runtime:debian
 bazel build --config opt --//:c_shared_object //scripts/packages/debian/dev:debian
 
-sudo dpkg -i bazel-bin/scripts/packages/debian/runtime/libtachyon_0.3.0_amd64.deb
-sudo dpkg -i bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.0_amd64.deb
+sudo dpkg -i bazel-bin/scripts/packages/debian/runtime/libtachyon_0.4.0_amd64.deb
+sudo dpkg -i bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.4.0_amd64.deb
 ```
 
 ## Other Info

tachyon/c/version.bzl

@@ -1,6 +1,6 @@
 # See https://semver.org/
 VERSION_MAJOR = 0
-VERSION_MINOR = 3
+VERSION_MINOR = 4
 VERSION_PATCH = 0
 VERSION_PRERELEASE = ""