Một loại giao thức sàn giao dịch phi tập trung dựa vào công thức toán học để định giá tài sản, cho phép chúng được giao dịch tự động mà không cần có người mua và người bán truyền thống tạo ra thị trường.