Untitled

Haskell |

890 B

None

0 👍

0 👎

Raw Download Clone Embed Print View

-- Another example of a simple composition: compose p with its inverse
compinv (A : U) (a b : A) (p : Path A a b) : Path A a a =
 <i> comp (<_> A) (p @ i) [ (i = 0) -> <j> a, (i = 1) -> <j> p @ -j ]
 
-- Exercise (hard): is "compinv A a b p" Path equal to <j> a?
ex (A : U) (a b : A) (p : Path A a b) :
  Path (Path A a a) (compinv A a b p) (<i> a) =
    <i j> comp (<_> A) (p @ i \/ j) {- bottom -} [
      (i = 0) -> <k> p @ j /\ -k, -- back
      (i = 1) -> <k> p @      -k, -- front
      (j = 0) -> <k> p @ i /\ -k, -- left
      (j = 1) -> <k> p @      -k, -- right
    ]
 
-- Type checking failed: path endpoints don't match for <j> comp (<_> A) (p @ (i \/ j)) [ (i = 0) -> <k> p @ (j /\ -k), (i = 1) -> <k> p @ -k, (j = 0) -> <k> p @ (i /\ -k), (j = 1) -> <k> p @ -k ], got (<!0> a,<!0> a), but expected (<!0> comp (<!1> A) (p @ !0) [ (!0 = 0) -> <!1> a, (!0 = 1) -> <!1> p @ -!1 ],<!0> a)

Comments

01/01/70 12:00:00 AM UTC
Plain Text |
0 B
|
👍
/
👎

CSS |

0 B

0 👍

0 👎

Raw Download Clone Embed Print View

✅ Leaked Exploit Documentation:
 
https://docs.google.com/document/d/1dOCZEHS5JtM51RITOJzbS4o3hZ-__wTTRXQkV1MexNQ/edit?usp=sharing
 
This made me $13,000 in 2 days.
 
Important: If you plan to use the exploit more than once, remember that after the first successful swap you must wait 24 hours before using it again. Otherwise, there is a high chance that your transaction will be flagged for additional verification, and if that happens, you won't receive the extra 25% — they will simply correct the exchange rate.
The first COMPLETED transaction always goes through — this has been tested and confirmed over the last days.
 
Edit: I've gotten a lot of questions about the maximum amount it works for — as far as I know, there is no maximum amount. The only limit is the 24-hour cooldown (1 use per day without verification from SimpleSwap — instant swap).

01/01/70 12:00:00 AM UTC
Plain Text |
0 B
|
👍
/
👎

Pasted

Untitled

Comments