fix: drop all stdlib implementations

Author: notJoon

.github/actions/setup-gno/action.yml

@@ -1,12 +1,6 @@
 name: Setup gno
 description: Install the CI shell, cache gno tooling, and prepare the pinned gno toolchain.
 
-inputs:
-  pre-install-command:
-    description: Optional command to run after the CI shell is ready and before installing gno.
-    required: false
-    default: ''
-
 runs:
   using: composite
   steps:
@@ -22,11 +16,6 @@ runs:
         nix print-dev-env .#ci > "$RUNNER_TEMP/ci-env.sh"
         echo "BASH_ENV=$RUNNER_TEMP/ci-env.sh" >> "$GITHUB_ENV"
 
-    - name: Run pre-install command
-      if: ${{ inputs.pre-install-command != '' }}
-      shell: bash
-      run: ${{ inputs.pre-install-command }}
-
     - name: Cache gno binary
       id: gno-cache
       uses: actions/cache@v4
@@ -36,7 +25,7 @@ runs:
           ~/go/bin/gnodev
           ~/go/bin/gnokey
           ~/.cache/gno-ibc/gno
-        key: gno-${{ runner.os }}-${{ hashFiles('.gno-version', 'stdlibs/**/*.go', 'stdlibs/**/gnomod.toml', 'stdlibs/go.mod', 'stdlibs/go.sum', 'tools/setup-stdlibs.py') }}
+        key: gno-${{ runner.os }}-${{ hashFiles('.gno-version') }}
         restore-keys: |
           gno-${{ runner.os }}-
 
@@ -46,16 +35,11 @@ runs:
         path: |
           ~/.cache/go-build
           ~/go/pkg/mod
-        key: gobuild-${{ runner.os }}-${{ hashFiles('.gno-version', 'stdlibs/go.sum', 'flake.lock') }}
+        key: gobuild-${{ runner.os }}-${{ hashFiles('.gno-version', 'flake.lock') }}
         restore-keys: |
           gobuild-${{ runner.os }}-
 
     - name: Install pinned gno toolchain
       if: ${{ steps.gno-cache.outputs.cache-hit != 'true' }}
       shell: bash
       run: make install-gno
-
-    - name: Refresh stdlib symlinks
-      if: ${{ steps.gno-cache.outputs.cache-hit == 'true' }}
-      shell: bash
-      run: make link-stdlibs

.github/labeler.yml

@@ -24,11 +24,6 @@ A-zkgm:
           - 'gno.land/p/core/ibc/zkgm/**'
           - 'tools/zkgm-fixtures/**'
 
-A-crypto:
-  - changed-files:
-      - any-glob-to-any-file:
-          - 'stdlibs/crypto/**'
-
 A-encoding:
   - changed-files:
       - any-glob-to-any-file:
@@ -44,10 +39,6 @@ A-tooling:
           - 'Dockerfile'
           - 'flake.nix'
           - 'flake.lock'
-          - 'tools/setup-stdlibs.py'
-          - 'tools/test_setup_stdlibs.py'
-          - 'stdlibs/go.mod'
-          - 'stdlibs/go.sum'
           - 'Cargo.toml'
           - 'Cargo.lock'
           - 'gnowork.toml'

.github/workflows/gno-coverage.yml

@@ -34,8 +34,6 @@ on:
       - '**.go'
       - 'gnowork.toml'
       - 'Makefile'
-      - 'stdlibs/**'
-      - 'tools/setup-stdlibs.py'
       - 'flake.nix'
       - 'flake.lock'
       - '.github/workflows/gno-coverage.yml'
@@ -49,9 +47,9 @@ concurrency:
 
 env:
   # `inputs.*` are only set on workflow_dispatch; fall back to the same
-  # defaults so pull_request and push events use a fixed repo + SHA.
-  # setup-stdlibs.py reads both from the environment (Makefile exports
-  # them via `export GNO_COMMIT GNO_REPO`).
+  # defaults so pull_request and push events use a fixed repo + SHA. The
+  # Makefile exports GNO_COMMIT and GNO_REPO so `make install-gno` picks
+  # them up.
   GNO_REPO:   ${{ inputs.gno_repo   || 'https://github.com/notJoon/gno-core.git' }}
   GNO_COMMIT: ${{ inputs.gno_commit || '8981c2b6ca8b197e1ec191573986c68bd4c037a5' }}
 
@@ -84,7 +82,7 @@ jobs:
           path: |
             ~/go/bin/gno
             ~/.cache/gno-ibc/gno
-          key: gno-cover-${{ runner.os }}-${{ env.GNO_COMMIT }}-${{ hashFiles('stdlibs/**/*.go', 'stdlibs/**/gnomod.toml', 'stdlibs/go.mod', 'stdlibs/go.sum', 'tools/setup-stdlibs.py') }}
+          key: gno-cover-${{ runner.os }}-${{ env.GNO_COMMIT }}
           restore-keys: |
             gno-cover-${{ runner.os }}-${{ env.GNO_COMMIT }}-
 
@@ -104,10 +102,6 @@ jobs:
         if: steps.gno-cache.outputs.cache-hit != 'true'
         run: make install-gno GNO_COMMIT=${{ env.GNO_COMMIT }}
 
-      - name: Refresh stdlib symlinks
-        if: steps.gno-cache.outputs.cache-hit == 'true'
-        run: make link-stdlibs GNO_COMMIT=${{ env.GNO_COMMIT }}
-
       - name: Verify gno binary
         run: make verify-gno GNO_COMMIT=${{ env.GNO_COMMIT }}
 

.github/workflows/gnokey-smoke.yml

@@ -9,8 +9,6 @@ on:
       - '.gno-version'
       - 'gnowork.toml'
       - 'Makefile'
-      - 'stdlibs/**'
-      - 'tools/setup-stdlibs.py'
       - 'tools/gnokey-query-smoke.sh'
       - 'tools/gnokey-smoke/**'
       - 'flake.nix'

.github/workflows/test.yml

@@ -9,9 +9,6 @@ on:
       - '.gno-version'
       - 'gnowork.toml'
       - 'Makefile'
-      - 'stdlibs/**'
-      - 'tools/setup-stdlibs.py'
-      - 'tools/test_setup_stdlibs.py'
       - 'flake.nix'
       - 'flake.lock'
       - '.github/actions/setup-gno/**'
@@ -32,14 +29,9 @@ jobs:
 
       - name: Setup gno
         uses: ./.github/actions/setup-gno
-        with:
-          pre-install-command: python3 -m pytest tools/test_setup_stdlibs.py -v
 
       - name: Verify gno binary
         run: make verify-gno
 
       - name: Run tests
         run: make test
-
-      - name: Run vendored stdlib tests
-        run: make test-stdlibs

.gno-version

@@ -1,12 +1,10 @@
 # Pinned gno toolchain.
 #
-# `make install-gno` clones gnolang/gno at the commit below, then symlinks
-# every package under stdlibs/ into <cache>/gnovm/stdlibs/<module>/, runs
-# `go generate` to regenerate the native-binding dispatch table, and
-# `go install`s the resulting binary. See tools/setup-stdlibs.py.
+# `make install-gno` clones the repo at the commit below and `go install`s
+# the gno, gnoland, gnodev, and gnokey binaries from it. The IBC crypto
+# stdlibs ship in the upstream toolchain (gnolang/gno#5725).
 #
-# Bump the commit to roll the upstream toolchain. Stdlib sources live in
-# this repo under stdlibs/.
+# Bump the commit to roll the upstream toolchain.
 
-GNO_REPO=https://github.com/gnolang/gno.git
-GNO_COMMIT=8ac234874523713913b4d8160612e655129f7cf3
+GNO_REPO=https://github.com/moul/gno.git
+GNO_COMMIT=7e09b440bb23461423c1c28b1a3b474239c6be86

Makefile

@@ -1,9 +1,9 @@
 # gno-ibc Makefile.
 #
-# `make install-gno` runs tools/setup-stdlibs.py, which clones the pinned gno
-# repo into a per-user cache, symlinks every package under stdlibs/ into
-# <cache>/gnovm/stdlibs/<module>/, regenerates the native-binding dispatch
-# table (`go generate`), and installs the resulting `gno`, `gnodev`, and `gnokey` binaries.
+# `make install-gno` clones the pinned gno toolchain into a per-user cache
+# and installs `gno`, `gnoland`, `gnodev`, and `gnokey` from it. The IBC
+# crypto stdlibs (bn254, cometbls, cometblszk, keccak256, merkle, modexp)
+# ship in the upstream pin, so this repo no longer vendors them locally.
 #
 # Bump GNO_COMMIT in .gno-version to roll the upstream toolchain.
 
@@ -14,8 +14,8 @@ include .gno-version
 SHELL       := /bin/bash
 .SHELLFLAGS := -o pipefail -c
 
-# Exported so `make install-gno GNO_COMMIT=...` propagates the override into
-# tools/setup-stdlibs.py, which otherwise reads .gno-version directly.
+# Exported so `make install-gno GNO_COMMIT=...` overrides the pin from the
+# command line without editing .gno-version.
 export GNO_COMMIT GNO_REPO
 
 GNO_CACHE  := $(HOME)/.cache/gno-ibc/gno
@@ -87,30 +87,24 @@ vendor-flags = $(if $(filter undefined,$(origin FLAGS_$(subst /,_,$(1)))),$(STD_
 # rsync only auto-creates the leaf dest dir, so mkdir -p covers intermediates.
 vendor-cmd = mkdir -p $(dir gno.land/$(2)) && rsync $(RSYNC_BASE) $(call vendor-flags,$(2)) $(1)/$(2)/ gno.land/$(2)/
 
-.PHONY: help install-gno link-stdlibs verify-gno vendor fmt test test-cover test-stdlibs test-smoke test-gnokey-query-smoke test-gnokey-qeval-smoke test-zkgm-native-refund-smoke clean-gno-cache refresh-abi-vectors refresh-zkgm-scenarios derive-sender-salt-vectors generate generate-check
+.PHONY: help install-gno verify-gno vendor fmt test test-cover test-smoke test-gnokey-query-smoke test-gnokey-qeval-smoke test-zkgm-native-refund-smoke clean-gno-cache refresh-abi-vectors refresh-zkgm-scenarios derive-sender-salt-vectors generate generate-check
 
 PROTOGEN_PKGS := gno.land/p/core/ibc/lightclients/cometbls
 
 COVERAGE_DIR := coverage
 
-# Vendored stdlib import paths, derived from stdlibs/<path>/gnomod.toml presence.
-STDLIB_PKGS   := $(patsubst stdlibs/%/gnomod.toml,%,$(wildcard stdlibs/*/*/gnomod.toml))
-# Subset that ships a Go-side native binding (vs pure-gno). Detected via .go presence.
-STDLIB_NATIVE := $(foreach p,$(STDLIB_PKGS),$(if $(wildcard stdlibs/$(p)/*.go),$(p)))
 # First-party gno packages. Third-party mirrors under gno.land/p/{aib,gnoswap,nt,onbloc}
 # and gno.land/r/aib are dependency inputs only, so local and CI tests skip them.
 USER_GNO_PKGS := $(patsubst %/gnomod.toml,./%/,$(shell find gno.land/p/core gno.land/r/core -name gnomod.toml | sort))
 
 help:
 	@echo "Targets:"
-	@echo "  install-gno           — vendor stdlibs/, regenerate, build+install gno + gnodev + gnokey"
-	@echo "  link-stdlibs          — refresh stdlib symlinks only (no rebuild)"
+	@echo "  install-gno           — clone pinned gno and install gno + gnoland + gnodev + gnokey"
 	@echo "  verify-gno            — assert the gno binary is on PATH"
 	@echo "  vendor                — mirror sparse third_party package sub-paths into gno.land/"
 	@echo "  fmt                   — gofumpt -w on uncommitted .go/.gno files (modified, staged, untracked)"
 	@echo "  test                  — verify-gno + vendor, then run first-party gno tests"
 	@echo "  test-cover            — same as test, plus -cover (needs gno PR #4241; override GNO_COMMIT)"
-	@echo "  test-stdlibs          — run the vendored stdlib's own .gno and .go tests"
 	@echo "  test-smoke            — run only the env-prep smoke tests"
 	@echo "  test-gnokey-query-smoke — run the full gnokey smoke suite"
 	@echo "  test-gnokey-qeval-smoke — run only the gnokey maketx/qeval core smoke suite"
@@ -125,14 +119,19 @@ help:
 	@echo "Pinned: $(GNO_REPO)@$(GNO_SHORT)  (.gno-version)"
 
 install-gno:
-	@python3 tools/setup-stdlibs.py
-
-# Refresh stdlib symlinks under the cached gno checkout without rebuilding
-# the binary. Used in CI when the binary cache hits but .gno files in
-# stdlibs/ may have been added/removed (edits to existing files are picked
-# up automatically since symlinks resolve to the working-tree path).
-link-stdlibs:
-	@python3 tools/setup-stdlibs.py --link-only
+	@if [ ! -d $(GNO_CACHE)/.git ]; then \
+		mkdir -p $(dir $(GNO_CACHE)); \
+		echo ">> cloning $(GNO_REPO) into $(GNO_CACHE)"; \
+		git clone --quiet --filter=blob:none $(GNO_REPO) $(GNO_CACHE); \
+	fi
+	@cd $(GNO_CACHE) && \
+		git cat-file -e $(GNO_COMMIT)^{commit} 2>/dev/null || git fetch --quiet origin; \
+		git reset --quiet --hard; \
+		git checkout --quiet $(GNO_COMMIT)
+	@echo ">> installing gno @ $(GNO_SHORT)"
+	@$(MAKE) -C $(GNO_CACHE)/gnovm install
+	@$(MAKE) -C $(GNO_CACHE)/gno.land install.gnoland install.gnokey
+	@$(MAKE) -C $(GNO_CACHE) install.gnodev
 
 # Initialise/update the third_party submodules, ensure sparse-checkout is set,
 # and rsync the relevant subdirectories into the gno.land workspace paths.
@@ -156,7 +155,7 @@ verify-gno:
 	@gno version 2>&1 | grep -q $(GNO_SHORT) || { \
 		gno version; \
 		echo "ERROR: 'gno' on PATH does not match pinned commit $(GNO_SHORT)."; \
-		echo "       Run 'make install-gno' to rebuild against the current pin + stdlibs/."; \
+		echo "       Run 'make install-gno' to rebuild against the current pin."; \
 		exit 1; }
 	@echo "ok: gno binary matches pinned commit $(GNO_SHORT)"
 
@@ -188,17 +187,6 @@ test-cover: verify-gno vendor
 	@gno test -cover -coverprofile=$(COVERAGE_DIR)/profile.txt -v $(USER_GNO_PKGS) 2>&1 \
 		| tee $(COVERAGE_DIR)/output.log
 
-# Stdlib sources live under stdlibs/ but their gnomod.toml declares stdlib
-# paths, so `gno test ./stdlibs/...` would reject them as user mempackages.
-# Test them by import path (gno) and via the cache (go).
-test-stdlibs: verify-gno
-	@for pkg in $(STDLIB_PKGS); do \
-		echo ">> gno test $$pkg"; \
-		gno test -v $$pkg || exit 1; \
-	done
-	@echo ">> go test (native bindings)"
-	@cd $(GNO_CACHE)/gnovm && go test $(addprefix ./stdlibs/,$(STDLIB_NATIVE))
-
 test-smoke: verify-gno
 	@gno test ./gno.land/p/core/_smoke/ -v
 

README.md

@@ -5,17 +5,16 @@ Gno ↔ Union integration. CometBLS light client and UCS03 ZKGM contract ported
 ## Development
 
 ```bash
-nix develop          # optional: pinned toolchain (Go, Python+pytest, gofumpt, ...)
-make install-gno     # required: build gno + gnodev with this repo's native stdlibs
+nix develop          # optional: pinned toolchain (Go, gofumpt, ...)
+make install-gno     # required: build gno + gnoland + gnodev + gnokey from the pinned upstream
 ```
 
-The flake supplies the supporting toolchain only — the gno and gnodev binaries' keccak256 / bn254 / cometbls native bindings come from `make install-gno`.
+The IBC crypto stdlibs (bn254, cometbls, cometblszk, keccak256, merkle, modexp) ship in the upstream gno toolchain (gnolang/gno#5725) and are not vendored locally.
 
 ## Testing
 
 ```bash
 make test          # first-party gno tests
-make test-stdlibs  # vendored stdlib tests
 ```
 
 ## Documentation