# Documentation

- [Technical Specification of Formats](/develop/documentation/technical-specification-of-formats.md): Cyclone formats
- [Smart Contracts & Virtual Machines](/develop/documentation/smart-contracts-and-virtual-machines.md)
- [Default Virtual Machine](/develop/documentation/default-virtual-machine.md): Functions in Cyclone