build: update tachyon version for releasing v0.3.1

Author: chokobole

bazel/tachyon.bzl

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

docker/Dockerfile.halo2.jammy

@@ -10,15 +10,15 @@ RUN bazel build -c opt --config linux --//:has_openmp --//:c_shared_object //scr
 FROM ubuntu:jammy AS tachyon-halo2
 LABEL maintainer="The Tachyon Authors <tachyon-discuss@kroma.network>"
 
-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.3.1_amd64.deb /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.3.1_amd64.deb
+COPY --from=builder /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.1_amd64.deb /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.1_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.3.1_amd64.deb && \
+    dpkg -i /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.1_amd64.deb && \
+    rm /usr/src/tachyon/bazel-bin/scripts/packages/debian/runtime/libtachyon_0.3.1_amd64.deb && \
+    rm /usr/src/tachyon/bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.1_amd64.deb

docs/how_to_use/how_to_build.md

@@ -187,11 +187,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.3.1/libtachyon_0.3.1_amd64.deb
+curl -LO https://github.com/kroma-network/tachyon/releases/download/v0.3.1/libtachyon-dev_0.3.1_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.3.1_amd64.deb
+sudo dpkg -i libtachyon-dev_0.3.1_amd64.deb
 ```
 
 ### Build package from source
@@ -203,8 +203,8 @@ To build the Halo2 Debian package, the `has_openmp` option is recommended. Run t
 bazel build -c opt --config ${os} --//:has_openmp  --//:c_shared_object //scripts/packages/debian/runtime:debian
 bazel build -c opt --config ${os} --//:has_openmp  --//: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.3.1_amd64.deb
+sudo dpkg -i bazel-bin/scripts/packages/debian/dev/libtachyon-dev_0.3.1_amd64.deb
 ```
 
 ## Other Info

tachyon/c/version.bzl

@@ -1,7 +1,7 @@
 # See https://semver.org/
 VERSION_MAJOR = 0
 VERSION_MINOR = 3
-VERSION_PATCH = 0
+VERSION_PATCH = 1
 VERSION_PRERELEASE = ""
 
 VERSION = ".".join([