Attempting to solve the collat problem

.github/workflows/continuous-integration.yml

@@ -12,7 +12,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: aiken-lang/setup-aiken@v1
         with:
-          version: v1.1.0
+          version: v1.1.3
       - run: aiken fmt --check
       - run: aiken check -D
       - run: aiken build

README.md

@@ -158,4 +158,10 @@ Sending funds works very similarly to removing funds but the funds are sent to a
 
 ### Non-Mixablility
 
-Spendability is always in the hands of the original owner. If two UTxOs are being spent then it is safe to assume it is the same owner because if two different users spent UTxOs together inside of a single transaction then there would be no way to ensure funds are not lost or stolen by one of the parties. If Alice and Bob are working together then either Alice or Bob has the chance of losing funds. Inside of real mixers the chance of losing funds does not exist as the spendability is arbitrary thus ensuring the mixing probably exists. This is not the case inside the seedelf wallet.
+Spendability is always in the hands of the original owner. If two UTxOs are being spent then it is safe to assume it is the same owner because if two different users spent UTxOs together inside of a single transaction then there would be no way to ensure funds are not lost or stolen by one of the parties. If Alice and Bob are working together then either Alice or Bob has the chance of losing funds. Inside of real mixers the chance of losing funds does not exist as the spendability is arbitrary thus ensuring the mixing probably exists. This is not the case inside the seedelf wallet.
+
+## Defeating The Collateral Problem
+
+TODO
+
+Alturistic batcher run nodes over tor with an api that allows the tx body and a witness to be sent over. the batcher will verify the tx, witness the tx, assume and submit.

aiken.toml

@@ -1,6 +1,6 @@
 name = "logical-mechanism/5eed0e1f"
 version = "0.1.0"
-compiler = "v1.1.0"
+compiler = "v1.1.3"
 plutus = "v3"
 license = "GPL-3.0-or-later"
 description = "Aiken contracts for project 'logicalmechanism/5eed0e1f'"
@@ -12,12 +12,12 @@ platform = "github"
 
 [[dependencies]]
 name = "aiken-lang/stdlib"
-version = "v2.0.0"
+version = "v2.1.0"
 source = "github"
 
 [[dependencies]]
 name = "logical-mechanism/assist"
-version = "v0.5.0"
+version = "main"
 source = "github"
 
 [config]