zk-barter: 探索零知识证明以实现无信任数字交换

研究如何通过零知识证明和智能合约实现双方互不信任的数字资产交换。