Blockchain-based　data　transaction　protocols　augmented　with　zero-knowledge　proofs　offer　fairness　to　the　participants,　yet　they　encounter　challenges　pertaining　to　both　security　and　efficiency.　We　propose　the　zk-DSTARK,　a　zk-STARK-based　protocol　that　enables　distributed　generation　of　zero-knowledge　proofs,　significantly　reducing　the　computational　burden.　And　zk-DSTARK　inherits　zk-STARK＇s　feature　of　single　proof　generation　for　multiple　uses,　improving　the　efficiency　of　successive　transactions.　Furthermore,　we　propose　a　fair　exchange　system　named　zk-DCIAExchange　for　off-chain　verification,　which　is　based　on　zk-DSTARK　and　intel　software　guard　extensions　(SGX).　This　system　not　only　minimizes　on-chain　overhead　but　also　ensures　the　security　and　fairness　of　the　transaction.　Experimental　results　show　that,　in　continuous　transactions　scenarios,　the　time　overhead　for　subsequent　transactions　is　diminished　by　99.9%　compared　to　the　first　transaction;　compared　to　zero　knowledge　contingent　payment　(ZKCSP),　our　scheme　achieves　a　remarkable　92%　reduction　in　time　overhead,　and　a　26.3%　reduction　when　compared　to　FairSwap;　with　32　distributed　nodes　and　a　trace　length　of　216,　the　proof　generation　time　is　reduced　by　similar　to　85.45%;　the　additional　verification　time　introduced　by　the　SGX　is　similar　to　0.45　s,　which　is　deemed　acceptable,　and　the　on-chain　verification　overhead　is　reduced　by　similar　to　7.2%　compared　to　the　ZKCSP　and　similar　to　54.4%　compared　to　FairSwap.