Pinned
Moving a token is easy.
Preserving a financial asset’s state across domains is the hard part.
Freeze. Seize. Redemption. Settlement. Regulatory status.
Oraclizer has completed formal verification for cross-domain state preservation.
The proofs are public.
