Geleneksel alıcı ve satıcıların piyasa oluşturmasına gerek kalmadan, varlıkların otomatik olarak işlem görmesini sağlayan, varlık fiyatlandırması için matematiksel bir formüle dayanan merkezi olmayan bir borsa protokolü türü.