Merge pull request #7223 from brice-stacks/test/l1-bond-integration

L1 bond integration test

Author: brice-stacks

changelog.d/l1-bond-integration.added

@@ -0,0 +1 @@
+Complete L1 bitcoin staking integration tests, including both normal exit after the timelock expires, and early exit.

contrib/core-contract-tests/tests/clarigen-types.ts

@@ -4805,7 +4805,7 @@ export const contracts = {
           { name: 'target-rate', type: 'uint128' },
           { name: 'stx-value-ratio', type: 'uint128' },
           { name: 'min-ustx-ratio', type: 'uint128' },
-          { name: 'early-unlock-signers', type: { buffer: { length: 683 } } },
+          { name: 'early-unlock-bytes', type: { buffer: { length: 683 } } },
           { name: 'early-unlock-admin', type: 'principal' },
           {
             name: 'allowlist',
@@ -4829,7 +4829,7 @@ export const contracts = {
                 tuple: [
                   { name: 'bond-index', type: 'uint128' },
                   {
-                    name: 'early-unlock-signers',
+                    name: 'early-unlock-bytes',
                     type: { buffer: { length: 683 } },
                   },
                   { name: 'max-allocation-sats', type: 'uint128' },
@@ -4848,7 +4848,7 @@ export const contracts = {
           targetRate: TypedAbiArg<number | bigint, 'targetRate'>,
           stxValueRatio: TypedAbiArg<number | bigint, 'stxValueRatio'>,
           minUstxRatio: TypedAbiArg<number | bigint, 'minUstxRatio'>,
-          earlyUnlockSigners: TypedAbiArg<Uint8Array, 'earlyUnlockSigners'>,
+          earlyUnlockBytes: TypedAbiArg<Uint8Array, 'earlyUnlockBytes'>,
           earlyUnlockAdmin: TypedAbiArg<string, 'earlyUnlockAdmin'>,
           allowlist: TypedAbiArg<
             {
@@ -4861,7 +4861,7 @@ export const contracts = {
         Response<
           {
             bondIndex: bigint;
-            earlyUnlockSigners: Uint8Array;
+            earlyUnlockBytes: Uint8Array;
             maxAllocationSats: bigint;
             minUstxRatio: bigint;
             stxValueRatio: bigint;
@@ -5352,7 +5352,7 @@ export const contracts = {
               tuple: [
                 { name: 'early-unlock-admin', type: 'principal' },
                 {
-                  name: 'early-unlock-signers',
+                  name: 'early-unlock-bytes',
                   type: { buffer: { length: 683 } },
                 },
                 { name: 'min-ustx-ratio', type: 'uint128' },
@@ -5366,7 +5366,7 @@ export const contracts = {
         [bondIndex: TypedAbiArg<number | bigint, 'bondIndex'>],
         {
           earlyUnlockAdmin: string;
-          earlyUnlockSigners: Uint8Array;
+          earlyUnlockBytes: Uint8Array;
           minUstxRatio: bigint;
           stxValueRatio: bigint;
           targetRate: bigint;
@@ -6039,7 +6039,7 @@ export const contracts = {
         value: {
           tuple: [
             { name: 'early-unlock-admin', type: 'principal' },
-            { name: 'early-unlock-signers', type: { buffer: { length: 683 } } },
+            { name: 'early-unlock-bytes', type: { buffer: { length: 683 } } },
             { name: 'min-ustx-ratio', type: 'uint128' },
             { name: 'stx-value-ratio', type: 'uint128' },
             { name: 'target-rate', type: 'uint128' },
@@ -6049,7 +6049,7 @@ export const contracts = {
         number | bigint,
         {
           earlyUnlockAdmin: string;
-          earlyUnlockSigners: Uint8Array;
+          earlyUnlockBytes: Uint8Array;
           minUstxRatio: bigint;
           stxValueRatio: bigint;
           targetRate: bigint;

contrib/core-contract-tests/tests/pox-5/pox-5-helpers.ts

@@ -17,6 +17,7 @@ import {
 import { accounts, project } from '../clarigen-types';
 import { rov, rovOk, txOk } from '@clarigen/test';
 import { sha256 } from '@noble/hashes/sha2.js';
+import { concatBytes } from '@noble/hashes/utils.js';
 import { secp256k1 } from '@noble/curves/secp256k1.js';
 import { expect } from 'vitest';
 
@@ -55,20 +56,29 @@ export function serializeLockupScript({
   unlockBytes: Uint8Array;
   earlyUnlockBytes: Uint8Array;
 }) {
+  // `unlockBytes` and `earlyUnlockBytes` are caller-supplied Bitcoin
+  // subscripts (e.g. `<pubkey> OP_CHECKSIG`) that the contract splices
+  // in raw — they must NOT go through `Script.encode` as Uint8Array
+  // elements, which would wrap them in an OP_PUSHBYTES_N push.
   const stackerEncoded = serializeCV(principalCV(stacker));
-  return BTC.Script.encode([
+  const prefix = BTC.Script.encode([
     hex.decode(stackerEncoded),
     'DROP',
     'IF',
     Number(unlockBurnHeight),
     'CHECKLOCKTIMEVERIFY',
     'DROP',
+  ]);
+  const OP_ELSE = new Uint8Array([0x67]);
+  const OP_ENDIF = new Uint8Array([0x68]);
+  return concatBytes(
+    prefix,
     unlockBytes,
-    'ELSE',
+    OP_ELSE,
     earlyUnlockBytes,
     unlockBytes,
-    'ENDIF',
-  ]);
+    OP_ENDIF,
+  );
 }
 
 /**