Token Provenance: missing invariant in the type of traces/provenance
Opened this issue · 0 comments
omelkonian commented
The type of traces currently makes sure that the last transaction is the one we are tracing tx, but not that the traced tokens actually reside in the traced output o.