Simulation ยท no real tokens move
Token contracts, written in Phil
The mechanics most token projects need, each as a complete Phil program you can run here. Coins are linear values and every rule about money is a written promise, so the mistakes that drain contracts are the ones Phil is built to refuse.
Read the Phil program
Open it in the playground to replay it step by step. The file is .
These run in this project's experimental simulator, which is our own reading of Phil. Phil cannot deploy to a chain yet, and a clean bug hunt is a bounded search, not a proof. The OTC desk is built the same way.