-- | Centralized module with automated attacks: -- -- - Add extraneous tokens to transactions -- -- - Hijack outputs be redirecting them to some address -- -- - Perform double satisfaction on outputs -- -- - Duplicate minted tokens -- -- These attacks usually rely on applying specific tweaks from `Cooked.Tweak` -- at specific position in traces using Ltl formulae using `Cooked.Ltl` module Cooked.Attack (module X) where import Cooked.Attack.AddToken as X import Cooked.Attack.DatumHijacking as X import Cooked.Attack.DoubleSat as X import Cooked.Attack.DupToken as X