CashScript · rkalis · Oct 16, 2025 · Oct 14, 2025 · Oct 14, 2025 · Oct 14, 2025
diff --git a/examples/announcement.cash b/examples/announcement.cash
@@ -1,4 +1,4 @@
-pragma cashscript ^0.12.0;
+pragma cashscript ^0.13.0;
 
 /* This is a contract showcasing covenants outside of regular transactional use.
  * It enforces the contract to make an "announcement" on Memo.cash, and send the

diff --git a/examples/hodl_vault.cash b/examples/hodl_vault.cash
@@ -1,4 +1,4 @@
-pragma cashscript ^0.12.0;
+pragma cashscript ^0.13.0;
 
 // This contract forces HODLing until a certain price target has been reached
 // A minimum block is provided to ensure that oracle price entries from before this block are disregarded

diff --git a/examples/mecenas.cash b/examples/mecenas.cash
@@ -1,4 +1,4 @@
-pragma cashscript ^0.12.0;
+pragma cashscript ^0.13.0;
 
 /* This is an unofficial CashScript port of Licho's Mecenas contract. It is
  * not compatible with Licho's EC plugin, but rather meant as a demonstration

diff --git a/examples/mecenas_locktime.cash b/examples/mecenas_locktime.cash
@@ -1,4 +1,4 @@
-pragma cashscript ^0.12.0;
+pragma cashscript ^0.13.0;
 
 // This is an experimental contract for a more "streaming" Mecenas experience
 // Completely untested, just a concept

diff --git a/examples/p2pkh.cash b/examples/p2pkh.cash
@@ -1,4 +1,4 @@
-pragma cashscript ^0.12.0;
+pragma cashscript ^0.13.0;
 
 contract P2PKH(bytes20 pkh) {
     // Require pk to match stored pkh and signature to match

diff --git a/examples/package.json b/examples/package.json
@@ -1,7 +1,7 @@
 {
   "name": "cashscript-examples",
   "private": true,
-  "version": "0.12.0",
+  "version": "0.13.0-next.0",
   "description": "Usage examples of the CashScript SDK",
   "main": "p2pkh.js",
   "type": "module",
@@ -13,8 +13,8 @@
   "dependencies": {
     "@bitauth/libauth": "^3.1.0-next.8",
     "@types/node": "^22.17.0",
-    "cashc": "^0.12.0",
-    "cashscript": "^0.12.0",
+    "cashc": "^0.13.0-next.0",
+    "cashscript": "^0.13.0-next.0",
     "eslint": "^8.56.0",
     "typescript": "^5.9.2"
   }

diff --git a/examples/testing-suite/artifacts/example.json b/examples/testing-suite/artifacts/example.json
@@ -41,7 +41,7 @@
   },
   "compiler": {
     "name": "cashc",
-    "version": "0.12.0"
+    "version": "0.13.0"
   },
   "updatedAt": "2025-10-02T09:56:11.510Z"
-}
+}
diff --git a/examples/testing-suite/package.json b/examples/testing-suite/package.json
@@ -1,6 +1,6 @@
 {
   "name": "testing-suite",
-  "version": "0.12.0",
+  "version": "0.13.0-next.0",
   "description": "Example project to develop and test CashScript contracts",
   "main": "index.js",
   "type": "module",
@@ -26,8 +26,8 @@
   },
   "dependencies": {
     "@bitauth/libauth": "^3.1.0-next.8",
-    "cashc": "^0.12.0",
-    "cashscript": "^0.12.0",
+    "cashc": "^0.13.0-next.0",
+    "cashscript": "^0.13.0-next.0",
     "url-join": "^5.0.0"
   },
   "devDependencies": {

diff --git a/examples/transfer_with_timeout.cash b/examples/transfer_with_timeout.cash
@@ -1,4 +1,4 @@
-pragma cashscript ^0.12.0;
+pragma cashscript ^0.13.0;
 
 contract TransferWithTimeout(
     pubkey sender,

diff --git a/packages/cashc/package.json b/packages/cashc/package.json
@@ -1,6 +1,6 @@
 {
   "name": "cashc",
-  "version": "0.12.0",
+  "version": "0.13.0-next.0",
   "description": "Compile Bitcoin Cash contracts to Bitcoin Cash Script or artifacts",
   "keywords": [
     "bitcoin",
@@ -52,7 +52,7 @@
   },
   "dependencies": {
     "@bitauth/libauth": "^3.1.0-next.8",
-    "@cashscript/utils": "^0.12.0",
+    "@cashscript/utils": "^0.13.0-next.0",
     "antlr4": "^4.13.2",
     "commander": "^14.0.0",
     "semver": "^7.7.2"

diff --git a/packages/cashc/src/ast/AST.ts b/packages/cashc/src/ast/AST.ts
@@ -165,6 +165,19 @@ export class BranchNode extends StatementNode {
   }
 }
 
+export class DoWhileNode extends StatementNode {
+  constructor(
+    public condition: ExpressionNode,
+    public block: BlockNode,
+  ) {
+    super();
+  }
+
+  accept<T>(visitor: AstVisitor<T>): T {
+    return visitor.visitDoWhile(this);
+  }
+}
+
 export class BlockNode extends Node {
   symbolTable?: SymbolTable;
 

diff --git a/packages/cashc/src/ast/AstBuilder.ts b/packages/cashc/src/ast/AstBuilder.ts
@@ -34,6 +34,7 @@ import {
   ConsoleStatementNode,
   ConsoleParameterNode,
   SliceNode,
+  DoWhileNode,
 } from './AST.js';
 import { UnaryOperator, BinaryOperator, NullaryOperator } from './Operator.js';
 import type {
@@ -68,6 +69,8 @@ import type {
   StatementContext,
   RequireMessageContext,
   SliceContext,
+  DoWhileStatementContext,
+  LoopStatementContext,
 } from '../grammar/CashScriptParser.js';
 import CashScriptVisitor from '../grammar/CashScriptVisitor.js';
 import { Location } from './Location.js';
@@ -214,6 +217,18 @@ export default class AstBuilder
     return branch;
   }
 
+  visitLoopStatement(ctx: LoopStatementContext): DoWhileNode {
+    return this.visit(ctx.doWhileStatement()) as DoWhileNode;
+  }
+
+  visitDoWhileStatement(ctx: DoWhileStatementContext): DoWhileNode {
+    const condition = this.visit(ctx.expression());
+    const block = this.visit(ctx.block()) as StatementNode;
+    const doWhile = new DoWhileNode(condition, block);
+    doWhile.location = Location.fromCtx(ctx);
+    return doWhile;
+  }
+
   visitBlock(ctx: BlockContext): BlockNode {
     const statements = ctx.statement_list().map((s) => this.visit(s) as StatementNode);
     const block = new BlockNode(statements);

diff --git a/packages/cashc/src/ast/AstTraversal.ts b/packages/cashc/src/ast/AstTraversal.ts
@@ -28,6 +28,7 @@ import {
   ConsoleStatementNode,
   ConsoleParameterNode,
   SliceNode,
+  DoWhileNode,
 } from './AST.js';
 import AstVisitor from './AstVisitor.js';
 
@@ -86,6 +87,12 @@ export default class AstTraversal extends AstVisitor<Node> {
     return node;
   }
 
+  visitDoWhile(node: DoWhileNode): Node {
+    node.condition = this.visit(node.condition);
+    node.block = this.visit(node.block) as StatementNode;
+    return node;
+  }
+
   visitBlock(node: BlockNode): Node {
     node.statements = this.visitOptionalList(node.statements) as StatementNode[];
     return node;

diff --git a/packages/cashc/src/ast/AstVisitor.ts b/packages/cashc/src/ast/AstVisitor.ts
@@ -26,6 +26,7 @@ import {
   NullaryOpNode,
   ConsoleStatementNode,
   SliceNode,
+  DoWhileNode,
 } from './AST.js';
 
 export default abstract class AstVisitor<T> {
@@ -39,6 +40,7 @@ export default abstract class AstVisitor<T> {
   abstract visitTimeOp(node: TimeOpNode): T;
   abstract visitRequire(node: RequireNode): T;
   abstract visitBranch(node: BranchNode): T;
+  abstract visitDoWhile(node: DoWhileNode): T;
   abstract visitBlock(node: BlockNode): T;
   abstract visitCast(node: CastNode): T;
   abstract visitFunctionCall(node: FunctionCallNode): T;

diff --git a/packages/cashc/src/generation/GenerateTargetTraversal.ts b/packages/cashc/src/generation/GenerateTargetTraversal.ts
@@ -47,6 +47,7 @@ import {
   ConsoleParameterNode,
   ConsoleStatementNode,
   SliceNode,
+  DoWhileNode,
 } from '../ast/AST.js';
 import AstTraversal from '../ast/AstTraversal.js';
 import { GlobalFunction, Class } from '../ast/Globals.js';
@@ -197,7 +198,7 @@ export default class GenerateTargetTraversalWithLocation extends AstTraversal {
 
   removeFinalVerifyFromFunction(functionBodyNode: Node): void {
     // After EnsureFinalRequireTraversal, we know that the final opcodes are either
-    // "OP_VERIFY", "OP_CHECK{LOCKTIME|SEQUENCE}VERIFY OP_DROP" or "OP_ENDIF"
+    // "OP_VERIFY", "OP_CHECK{LOCKTIME|SEQUENCE}VERIFY OP_DROP", "OP_ENDIF" or "OP_UNTIL"
 
     const finalOp = this.output.pop() as Op;
     const { location, positionHint } = this.locationData.pop()!;
@@ -219,7 +220,7 @@ export default class GenerateTargetTraversalWithLocation extends AstTraversal {
       this.emit(finalOp, { location, positionHint: PositionHint.END });
 
       // At this point there is no verification value left on the stack:
-      //  - scoped stack is cleared inside branch ended by OP_ENDIF
+      //  - scoped stack is cleared inside block ended by OP_ENDIF or OP_UNTIL
       //  - OP_CHECK{LOCKTIME|SEQUENCE}VERIFY OP_DROP does not leave a verification value
       //  - OP_VERIFY does not leave a verification value
       // so we add OP_1 to the script (indicating success)
@@ -381,6 +382,23 @@ export default class GenerateTargetTraversalWithLocation extends AstTraversal {
     return node;
   }
 
+  visitDoWhile(node: DoWhileNode): Node {
+    this.scopeDepth += 1;
+    this.emit(Op.OP_BEGIN, { location: node.location, positionHint: PositionHint.START });
+
+    const stackDepth = this.stack.length;
+    node.block = this.visit(node.block);
+    this.removeScopedVariables(stackDepth, node.block);
+
+    node.condition = this.visit(node.condition);
+    this.emit(Op.OP_NOT, { location: node.location, positionHint: PositionHint.END });
+
+    this.emit(Op.OP_UNTIL, { location: node.location, positionHint: PositionHint.END });
+    this.popFromStack();
+
+    return node;
+  }
+
   removeScopedVariables(depthBeforeScope: number, node: Node): void {
     const dropCount = this.stack.length - depthBeforeScope;
     for (let i = 0; i < dropCount; i += 1) {

diff --git a/packages/cashc/src/grammar/CashScript.g4 b/packages/cashc/src/grammar/CashScript.g4
@@ -52,6 +52,7 @@ statement
     | timeOpStatement
     | requireStatement
     | ifStatement
+    | loopStatement
     | consoleStatement
     ;
 
@@ -79,6 +80,14 @@ ifStatement
     : 'if' '(' expression ')' ifBlock=block ('else' elseBlock=block)?
     ;
 
+loopStatement
+    : doWhileStatement
+    ;
+
+doWhileStatement
+    : 'do' block 'while' '(' expression ')' ';'
+    ;
+
 consoleStatement
     : 'console.log' consoleParameterList ';'
     ;