搜索范围

更新日期

-

基于比特币智能合约的公平交易形式化验证

智能合约是在没有受信任的第三方的情况下满足条件时可以自动执行包括电子合约在内的交易的协议。在一个有代表性的用例中,当多方在区块链资产上进行公平交易时,就会执行智能合约。在区块链系统上,智能合约可以看作是系统参与者,对接收到的信息进行响应,接收和存储价值,向外发送信息和价值。此外,智能合约可以暂时保留资产,并始终按照先前的规则执行操作。许多加密货币已经实施了智能合约。在 POST2018,Atzei...

基于区块链的无可信第三方的有条件隐私保护公平电子支付方案

对电子支付系统的安全性的需求越来越大。防止重复消费、追踪恶意用户、匿名和保护用户隐私等特征的重要性对于实现电子支付系统的目标是强制性的。区块链技术有助于解决金融行业中的瓶颈、延迟和运营风险等许多问题。该文提出了一种基于区块链的电子支付方案,该方案能够在不需要可信服务器的情况下,通过追踪和惩罚恶意用户来保护诚实用户的匿名和隐私。因此,使用了几种算法,包括公平盲数字签名方案、秘密共享方案和保持匿名的假...