合约量化交易软件是指用于加密货币市场的自动化交易工具，它们可以基于预设的算法和策略自动执行交易，以期获得利润，这类软件通常包括风险管理、订单执行、市场分析等功能，旨在帮助交易者提高效率和盈利能力，以下是一些市场上较为知名的加密货币交易平台，它们提供了合约量化交易服务，排名不分先后：
1、Binanc
Binanc是全球最大的加密货币交易平台之一，提供广泛的交易对和高流动性，它支持多种量化交易工具，包括API交易、止损止盈订单等，适合专业交易者和量化策略开发者。
2、Huobi Global
Huobi Global是一个全球性的数字资产交易平台，提供多种加密货币的现货和合约交易，它拥有用户友好的界面和强大的量化交易功能，包括API接入和多种订单类型。
3、ok
ok是一个提供多种加密货币交易服务的平台，包括现货、杠杆和合约交易，它提供了丰富的量化交易工具，如API交易、图表分析和自动化策略执行。
4、BitMEX
BitMEX是一个专注于比特币衍生品交易的平台，提供高达100倍的杠杆，它以其先进的图表工具和API接口而闻名，适合专业交易者和量化交易者。
5、FTX
FTX是一个创新的加密货币衍生品交易平台，提供多种合约类型，包括永续合约和期权，它以其高流动性和先进的量化交易功能而受到交易者的青睐。
6、Bybit
Bybit是一个提供加密货币永续合约和期权的平台，以其高杠杆和低手续费而闻名，它提供了全面的量化交易工具，包括API接入和策略回测功能。
7、Coinbase Pro
Coinbase Pro是Coinbase的高级交易平台，提供专业的交易功能，如图表分析、API交易和多种订单类型，它适合那些寻求更高级交易工具的交易者。
8、Kraken
Kraken是一个历史悠久的加密货币交易平台，提供多种加密货币的现货和期货交易，它以其强大的安全性能和丰富的量化交易工具而受到专业交易者的信任。
9、Bitfinex
Bitfinex是一个提供多种加密货币交易服务的平台，包括现货、杠杆和合约交易，它以其先进的图表工具和API接口而闻名，适合专业交易者和量化策略开发者。
10、Deribit
Deribit是一个专注于比特币和以太坊衍生品交易的平台，提供永续合约和期权，它以其高杠杆和先进的量化交易功能而受到交易者的青睐。
这些平台各有特点，交易者在选择时应根据自己的交易需求、风险承受能力和技术能力来决定，量化交易需要一定的技术知识和市场理解，因此在使用这些工具之前，建议交易者进行充分的学习和实践。