cooked-validators
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cooked.Attack

Description

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 Tweak at specific position in traces using Ltl formulae using Ltl

Documentation

module Cooked.Attack.DoubleSat

module Cooked.Attack.DatumHijacking

module Cooked.Attack.AddToken