add plonk verifier plugin

.github/workflows/applications.yml

@@ -263,6 +263,24 @@ jobs:
         echo "setup cabal-store: ${{ steps.setup.outputs.cabal-store }}"
         ghc --version
         cabal --version
+
+    - name: Install plonk verifier dependencies (Go)
+      if: startsWith(matrix.os, 'ubuntu-')
+      run: |
+        export PATH="${PATH}:/usr/local/go/bin"
+        sudo curl -L https://go.dev/dl/go1.23.3.linux-amd64.tar.gz -O
+        sudo rm -rf /usr/local/go && sudo tar -C /usr/local -xzf go1.23.3.linux-amd64.tar.gz
+        go version
+
+    - name: Install plonk verifier dependencies (Rust)
+      if: startsWith(matrix.os, 'ubuntu-')
+      run: |
+        export PATH="${PATH}:/root/.cargo/bin"
+        curl -sSf https://sh.rustup.rs | sudo sh -s -- -y
+        curl -LsSf https://get.nexte.st/latest/linux | sudo tar zxf - -C ${CARGO_HOME:-/root/.cargo}/bin
+        cargo version
+        rustc --version
+
     - name: Install non-Haskell dependencies (ubuntu)
       if: contains(matrix.os, 'ubuntu')
       run: sudo apt-get install -y libgflags-dev liblz4-dev libzstd-dev libsnappy-dev libbz2-dev

.github/workflows/macos.yaml

@@ -90,6 +90,23 @@ jobs:
           documentation: False
         EOF
 
+    - name: Install plonk verifier dependencies (Go)
+      run: |
+        export PATH="${PATH}:/usr/local/go/bin"
+        sudo curl -L https://go.dev/dl/go1.23.3.darwin-amd64.tar.gz -O
+        sudo rm -rf /usr/local/go && sudo tar -C /usr/local -xzf go1.23.3.darwin-amd64.tar.gz
+        go version
+
+    - name: Install plonk verifier dependencies (Rust)
+      run: |
+        export PATH="${PATH}:/root/.cargo/bin"
+        curl -sSf https://sh.rustup.rs | sudo sh -s -- -y
+        echo $HOME
+        echo $CARGO_HOME
+        curl -LsSf https://get.nexte.st/latest/mac | sudo tar zxf - -C ${CARGO_HOME:-/root/.cargo}/bin
+        cargo version
+        rustc --version
+
     # Build
     - name: Delete freeze file if it exists
       run: rm -f cabal.project.freeze

Dockerfile

@@ -48,6 +48,7 @@
 
 ARG UBUNTU_VERSION=22.04
 ARG GHC_VERSION=9.10.1
+ARG GO_VERSION=1.23.0
 ARG PROJECT_NAME=chainweb
 
 # ############################################################################ #
@@ -100,6 +101,7 @@ RUN <<EOF
   echo "TARGETPLATFORM: $TARGETPLATFORM"
 EOF
 ARG GHC_VERSION
+ARG GO_VERSION
 ARG TARGETPLATFORM
 ARG DEBIAN_FRONTEND=noninteractive
 RUN <<EOF
@@ -152,6 +154,26 @@ RUN --mount=type=cache,target=/root/.cabal,id=${TARGETPLATFORM} <<EOF
     cabal update
 EOF
 
+# Install Go toolchain
+ARG GO_TARGETPLATFORM=${TARGETPLATFORM/\//-}
+ARG GOLANG_ARCHIVE=go${GO_VERSION}.${GO_TARGETPLATFORM}.tar.gz
+ENV PATH="${PATH}:/usr/local/go/bin"
+RUN <<EOF
+  curl -L https://go.dev/dl/$GOLANG_ARCHIVE -O
+  rm -rf /usr/local/go && tar -C /usr/local -xzf $GOLANG_ARCHIVE
+  rm -f go${GO_VERSION}.${GO_TARGETPLATFORM}.tar.gz
+  go version
+EOF
+
+# Install Rust toolchain
+ENV PATH="${PATH}:/root/.cargo/bin"
+RUN <<EOF
+  curl -sSf https://sh.rustup.rs | sh -s -- -y
+  curl -LsSf https://get.nexte.st/latest/linux | tar zxf - -C ${CARGO_HOME:-/root/.cargo}/bin
+  cargo version
+  rustc --version
+EOF
+
 # ############################################################################ #
 # Builds
 # ############################################################################ #

cabal.project

@@ -147,6 +147,20 @@ source-repository-package
     tag: 90247042ab3b8662809210af2a78e6dee0f9b4ac
     --sha256: 0dqsrjxm0cm35xcihm49dhwdvmz79vsv4sd5qs2izc4sbnd0d8n6
 
+
+-- Required for the plonk verifier
+source-repository-package
+    type: git
+    location: https://github.com/argumentcomputer/lurk-hs
+    tag: a4bbe826bb0bed3856469dfb0cf8151d857f9172
+    --sha256: sha256-SATrShoiKrXebOGzhYiKwU4Pmhsii/tEYd9+jq89s8Q=
+
+-- source-repository-package
+--     type: git
+--     location: https://github.com/rsoeldner/lurk-hs.git
+--     tag: 9daa93205759d3752e73623bc1f77973b1617fd3
+--     --sha256: sha256-kntJeZiLPx6SHmqIULwDRSri0z5GvbPXajC1aYkQMo8
+
 -- -------------------------------------------------------------------------- --
 -- Relaxed Bounds