Add support for 2025 Cash Improvement Proposals and VM benchmarking

.changeset/breezy-tables-enjoy.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Fix operation cost in OP_SIZE

.changeset/clean-adults-explain.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Extend AuthenticationErrorCommon with all transaction verification errors

.changeset/cold-cups-eat.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Add support for debugging evaluations with loops

.changeset/curvy-pandas-agree.md

@@ -0,0 +1,7 @@
+---
+'@bitauth/libauth': patch
+---
+
+Update `isStandardOutputBytecode` to allow P2SH32
+
+Fixes #133. Thanks for the report @rkalis!

.changeset/eight-mirrors-arrive.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Add support for warnings in VMB test generation

.changeset/fair-zoos-tap.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Add support for verifying VMB tests against BCHN metrics and fail reasons

.changeset/famous-spies-drive.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Fix OP_TXVERSION VMB tests, reduce 2025 nonstandard hashing density limit

.changeset/fast-ghosts-fix.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Move VMB test duplication checking to start of generation

.changeset/great-ducks-roll.md

@@ -0,0 +1,7 @@
+---
+'@bitauth/libauth': minor
+---
+
+Deprecate `BCH_2022_05` VM, add `BCH_2023_05`, `BCH_2025_05`, and `BCH_SPEC` VMs, update vmb_tests
+
+Additionally, all exports have been renamed to more consistently adhere to the `camelCase` capitalization style, without exceptions for abbreviations. For example `assembleBytecodeBCH` is now `assembleBytecodeBch`. To ensure backwards-compatibility, aliases (marked with `@deprecated` TSdoc tags) are also exported using the old capitalization. These aliases will be removed in a future major version.

.changeset/happy-insects-wait.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Add BCH_2026_05, add VM benchmarking

.changeset/itchy-dancers-confess.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Add support for BigInt CHIP

.changeset/long-hairs-jam.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Improve performance of all virtual machines

.changeset/modern-cobras-drop.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Prevent excessive hashing in null-signature CHECKMULTISIG

.changeset/nervous-carrots-punch.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Run VMB benchmarks in CI

.changeset/nice-flies-listen.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Fix operation cost in OP_NIP

.changeset/polite-eggs-pretend.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Add -i flag to ignore warnings in gen:vmb_tests

.changeset/pre.json

@@ -0,0 +1,39 @@
+{
+  "mode": "pre",
+  "tag": "next",
+  "initialVersions": {
+    "@bitauth/libauth": "3.0.0"
+  },
+  "changesets": [
+    "breezy-tables-enjoy",
+    "clean-adults-explain",
+    "cold-cups-eat",
+    "curvy-pandas-agree",
+    "eight-mirrors-arrive",
+    "fair-zoos-tap",
+    "famous-spies-drive",
+    "fast-ghosts-fix",
+    "great-ducks-roll",
+    "happy-insects-wait",
+    "itchy-dancers-confess",
+    "long-hairs-jam",
+    "modern-cobras-drop",
+    "nervous-carrots-punch",
+    "nice-flies-listen",
+    "orange-suits-impress",
+    "polite-eggs-pretend",
+    "quiet-ducks-sneeze",
+    "seven-ligers-drum",
+    "shaggy-monkeys-tell",
+    "short-cars-cheat",
+    "shy-kings-grow",
+    "sixty-brooms-shout",
+    "sour-ties-allow",
+    "tall-actors-sell",
+    "ten-crabs-smell",
+    "twelve-suns-protect",
+    "two-peas-give",
+    "unlucky-windows-remember",
+    "wet-pans-confess"
+  ]
+}

.changeset/quiet-ducks-sneeze.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Fix operation cost in OP_ROLL

.changeset/seven-ligers-drum.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Add support for Schnorr multisig in BCH VMs

.changeset/shaggy-monkeys-tell.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Submodule BCHN and extend package scripts to verify VMB tests

.changeset/short-cars-cheat.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Expand VMB test coverage

.changeset/shy-kings-grow.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Eliminate Repeated Bytes counter from BCH_2026_05

.changeset/sixty-brooms-shout.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Add combinatorial VMB test sets for arithmetic, hashing, and signature checking

.changeset/sour-ties-allow.md

@@ -0,0 +1,9 @@
+---
+'@bitauth/libauth': patch
+---
+
+Begin implementation of BCH_2025_05 and BCH_SPEC
+
+- Revised `AuthenticationVirtualMachine` to remove `clone` (obviated by wide availability of `structuredClone`) and add `initialize`, allowing VM proposals to add to the program state of an existing VM (in a type-safe way) without duplicating its unchanged logic.
+- Clarified documentation around contributing upgrade proposals to Libauth VMs
+- Allow usage of any `BCH_SPEC` opcodes in `assembleBytecodeBch`/`disassembleBytecodeBch`

.changeset/tall-actors-sell.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Speculatively implement P2S, OP_EVAL, and OP_POW

.changeset/ten-crabs-smell.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Expand VMB tests for OP_EVAL and loops

.changeset/twelve-suns-protect.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Refactor BCH VMs for correctness and clarity

.changeset/two-peas-give.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': minor
+---
+
+Rewrite VMB test tooling for parallel and incremental generation, benchmarking

.changeset/unlucky-windows-remember.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Expand VMB benchmark tests and tooling

.changeset/wet-pans-confess.md

@@ -0,0 +1,5 @@
+---
+'@bitauth/libauth': patch
+---
+
+Fix bug in isMinimalDataPush for OP_PUSHBYTES_1

.cspell.json

@@ -17,7 +17,6 @@
     "authchain",
     "authchains",
     "authhead",
-    "BCHCHIPs",
     "bchn",
     "bchreg",
     "bchtest",
@@ -40,6 +39,7 @@
     "cashaddr",
     "CASHTOKENS",
     "Chaingraph",
+    "checkbits",
     "CHECKDATASIG",
     "CHECKDATASIGVERIFY",
     "CHECKLOCKTIMEVERIFY",
@@ -143,18 +143,22 @@
     "PUBKEYS",
     "PUSHBYTES",
     "PUSHDATA",
+    "pushonly",
     "rebranded",
     "rebranding",
     "redenominated",
     "regtest",
     "reversebytes",
     "ripemd",
+    "rkalis",
     "RSHIFT",
     "rustup",
     "satoshi",
     "satoshis",
     "Sats",
     "schnorr",
+    "scriptonly",
+    "scriptsig",
     "seckey",
     "secp",
     "secp256k1",
@@ -173,13 +177,16 @@
     "substack",
     "templating",
     "testnet",
+    "tinybench",
     "TOALTSTACK",
     "tprv",
     "tpub",
+    "trxhzt",
     "tsdoc",
     "txid",
     "TXINPUTCOUNT",
     "TXLOCKTIME",
+    "txns",
     "TXOUTPUTCOUNT",
     "TXVERSION",
     "typeof",
@@ -219,7 +226,9 @@
     "tsconfig.json",
     "node_modules/**",
     "src/**/*.base64.ts",
-    "src/**/script_tests.json"
+    "src/**/script_tests.json",
+    "src/lib/vmb-tests/generated",
+    "src/lib/vmb-tests/bchn/*.json"
   ],
   "patterns": [
     {

.eslintrc

@@ -7,6 +7,7 @@
     "node_modules",
     "build",
     "coverage",
+    "wasm",
     "src/lib/schema/ajv/*.js"
   ],
   "extends": ["bitauth"],
@@ -42,6 +43,22 @@
         "functional/immutable-data": "off",
         "functional/no-return-void": "off"
       }
+    },
+    {
+      "files": ["src/lib/vmb-tests/sources/**.ts"],
+      "rules": {
+        "import/no-default-export": "off",
+        "@typescript-eslint/naming-convention": "off",
+        "@typescript-eslint/no-magic-numbers": "off",
+        "@typescript-eslint/no-restricted-imports": [
+          "error",
+          {
+            "patterns": [
+              { "allowTypeImports": true, "group": ["../../lib.js"] }
+            ]
+          }
+        ]
+      }
     }
   ]
 }

.github/workflows/ci.yml

@@ -26,15 +26,32 @@ jobs:
           CI_NODE_INDEX: ${{ matrix.runner_index }}
           CI_NODE_TOTAL: ${{ matrix.runners_per_version }}
       - run: yarn cov:lcov
-        if: ${{ matrix.node-version }} == 20
+        if: ${{ matrix.node-version == 20 }}
       - name: Upload test coverage
-        if: ${{ matrix.node-version }} == 20
+        if: ${{ matrix.node-version == 20 }}
         uses: codecov/codecov-action@v4
         with:
           fail_ci_if_error: true
           token: ${{ secrets.CODECOV_TOKEN }}
           verbose: true
 
+  vmb-benchmarks:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+    name: Run VMB Benchmarks
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: 'recursive'
+      - name: Install Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: '20'
+      - run: yarn install --immutable --immutable-cache
+      - run: yarn build
+      - run: yarn bench:vmb_tests
+
   check-policies:
     runs-on: ubuntu-latest
     name: Check Policies

.gitignore

@@ -10,6 +10,13 @@ coverage
 report.*.json
 scratch
 gitignore.*
+*.cpuprofile
+.aidigestignore
+codebase.md
+src/lib/vmb-tests/export
+src/lib/vmb-tests/generated/.vmb-*
+src/lib/vmb-tests/generated/**/*bench.csv
+src/lib/vmb-tests/generated/bch_chip_*
 
 src/lib/bin/**/*.html
 src/lib/bin/**/*.js

.gitmodules

@@ -11,3 +11,7 @@
 	path = config/eslint-config-bitauth
 	url = https://github.com/bitauth/eslint-config-bitauth/
 	shallow = true
+[submodule "wasm/bitcoin-cash-node"]
+	path = wasm/bitcoin-cash-node
+	url = https://gitlab.com/bitcoin-cash-node/bitcoin-cash-node.git
+	shallow = true