ラグランジュ制限注文のための分散型プログラム可能マッチングエンジンであり、ブロックチェーン上での安全で効率的な取引を可