Remove old bytecode optimisation & add safe OP_NOT OP_NOT optimisations

.cspell.json

@@ -36,7 +36,6 @@
         "cashaddress",
         "cashc",
         "cashlibs",
-        "cashproof",
         "cashscript",
         "cashtokens",
         "castable",

AGENTS.md

@@ -84,7 +84,7 @@ Shared between compiler and SDK:
 - `source-map.ts` — source map encoding/decoding (format: `sl:sc:el:ec:h` per opcode, `;`-separated, with field inheritance compression)
 - `bitauth-script.ts` — formats bytecode as human-readable BitAuth script (used in debugging)
 - `types.ts` — shared types including `SourceTagKind`, `SourceTagEntry`
-- `optimisations.ts` / `cashproof-optimisations.ts` — peephole optimization rules
+- `optimisations.ts` — peephole optimization rules
 
 ## Code Conventions
 

DEVELOPMENT.md

@@ -38,24 +38,6 @@ When updating the grammar file in `src/grammar/CashScript.g4`, we also need to m
 yarn antlr
 ```
 
-### Running `cashproof`
-
-Most of the bytecode optimisations that the `cashc` compiler uses can be verified for correctness using the [`cashproof` tool](https://github.com/EyeOfPython/cashproof). This tool needs to be installed separately by installing its dependencies using `pip` and cloning its repository from GitHub.
-
-From there, you can run `python <cashproof_path> [filenames]` to verify that the optimisations contained in these files are provably correct.
-
-Example:
-```bash
-python <cashproof_path> packages/cashc/test/cashproof/0.1.2=0.2.0.equiv
-```
-
-Note that if you want to run `cashproof` on the "main" CashScript optimisations file, you need to first extract the optimisations from the `cashc` compiler and save them in a separate file. This can be done using the following commands:
-
-```bash
-cp packages/utils/src/cashproof-optimisations.ts opt.equiv && sed -i '' '/`/d' opt.equiv
-python <cashproof_path> opt.equiv
-```
-
 ## cashscript
 
 ### Running tests

packages/cashc/src/compiler.ts

@@ -7,8 +7,6 @@ import {
   generateSourceTags,
   generateInlineRanges,
   optimiseBytecode,
-  optimiseBytecodeOld,
-  scriptToAsm,
   scriptToBytecode,
   sourceMapToLocationData,
 } from '@cashscript/utils';
@@ -139,7 +137,6 @@ function compileCode(
   ast = ast.accept(traversal) as Ast;
 
   // Bytecode optimisation
-  const optimisedBytecodeOld = optimiseBytecodeOld(traversal.output);
   const optimisationResult = optimiseBytecode(
     traversal.output,
     sourceMapToLocationData(traversal.sourceMap),
@@ -150,12 +147,6 @@ function compileCode(
     constructorParamLength,
   );
 
-  if (scriptToAsm(optimisedBytecodeOld) !== scriptToAsm(optimisationResult.script)) {
-    console.error(scriptToAsm(optimisedBytecodeOld));
-    console.error(scriptToAsm(optimisationResult.script));
-    throw new Error('New bytecode optimisation is not backwards compatible, please report this issue to the CashScript team');
-  }
-
   const debug = {
     bytecode: binToHex(scriptToBytecode(optimisationResult.script)),
     sourceMap: generateSourceMap(optimisationResult.locationData),