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.DupToken

module Cooked.Attack.DoubleSat

module Cooked.Attack.DatumHijacking

module Cooked.Attack.AddToken