LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

合约

1. 智能合约的形式化验证工具

...京航空航天大学分布式实验室 北航云南创新研究院 白晓敏,段张博在智能合约的形式化验证过程中,总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验证。然而,未来使用智能合约的必然不会全都是会编写模型的人员,因此,我们在智能合约和模型检测技术原理的基础...

知识:合约,智能合约,智能合约模型,模型

2. 百度超级链突破智能合约性能极限

关注区块链的人,经常会听到有关“智能合约”的讨论。智能合约允许在没有第三方的情况下进行可信交易,这些交易可追踪且不可逆转,是区块链技术的关键。百度超级链在智能合约上也进行了深入研发,实现高性能,且支持多种语言编写,大大提高合约使用效率。本期超级链学院线上微课堂就带你...

知识:合约,智能合约,链上,以太坊的

3. 几分钟教你玩转USDT保证金合约

根据多家媒体的报道,OKEx将于11月5日开通USDT保证金交割合约,并将举办奖金高达3万USDT 的新合约大赛。那么什么是USDT保证金合约?与当前的数字资产合约又有什么区别呢?今天就带大家几分钟弄懂什么是USDT保证金合约。1. USDT保证金合约的“前生今世”相信在传统金融市场和数字资产合约市场都进行...

知识:合约,数字资产,比特币合约,法币

4. 智能合约在司法体系中的应用

感谢OpenLaw对本文进行校对,并对智能合约应用于司法体系的前景提供深刻洞察。智能合约能够实现无纸化流程,由于其采用了去中心化的架构,因此可以保障合约内容无法被篡改,并实现商业流程的全自动化。虽然智能合约具有如此巨大的商业价值,但它是否具有法律约束力呢?为了找到这个问题的答...

知识:合约,智能合约,区块链,去中心化

5. 降低合约编写门槛 SEA将智能合约可视化

传统智能合约像以太坊的目标就是可以自由创建“合约”,提供一个内置成熟图灵完备语言的区块链,在这个平台里可以支持用户通过简单的几行代码就能实现他们想要的合约,实现无需人为监督的、不可篡改、自动化运行的合约。从SEA项目的白皮书上了解到SEA采用了一种形式化的智能合约,形式化的...

知识:智能合约,智能合约代码,合约,智能合约的编写

6. 降低合约编写门槛 SEA将智能合约可视化

传统智能合约像以太坊的目标就是可以自由创建“合约”,提供一个内置成熟图灵完备语言的区块链,在这个平台里可以支持用户通过简单的几行代码就能实现他们想要的合约,实现无需人为监督的、不可篡改、自动化运行的合约。从SEA项目的白皮书上了解到SEA采用了一种形式化的智能合约,形式化的...

知识:智能合约,智能合约代码,区块链,智能合约的编写

7. OKEx教你合理选择币本位合约与USDT保证金合约

在OKEx上线USDT保证金合约产品后,用户可在OKEx上自由选择币本位保证金合约与USDT保证金合约,但在纷繁复杂的二级市场中,如何判断何时选择何种保证金产品则是大有玄机。1. 币本位保证金与USDT本位保证金对比目前加密货币市场合约产品中,绝大多数均为币本位保证金合约,又称反向合约;相对的,OK...

知识:合约,货币,币价,本位

8. OKEx教你如何合理选择币本位合约与USDT保证金合约

在OKEx上线USDT保证金合约产品后,用户可在OKEx上自由选择币本位保证金合约与USDT保证金合约,但在纷繁复杂的二级市场中,如何判断何时选择何种保证金产品则是大有玄机。1.币本位保证金与USDT本位保证金对比目前加密货币市场合约产品中,绝大多数均为币本位保证金合约,又称反向合约;相对的,OKE...

知识:合约,货币,币价,本位

9. 技术丨智能合约的形式化验证方法

...航天大学云南创新研究院周楚涵 胡 凯形式化验证(Formal Verification)是智能合约工程的重要环节,它可以成为对合约进行确定性验证的一种技术,通过形式化语言把合约中的概念、判断、推理转化成智能合约模型,可以消除自然语言的歧义性、不通用性,进而采用形式化工具对智能合约建模、分析和验...

知识:合约,智能合约,公链,智能合约模型

10. 一文带你读懂如何在ChainX上部署智能合约

...除老数据目录,使用备份数据目录替换即可。ChainX 上的 Substrate Contracts 智能合约平台Substrate 作为第一个区块链领域的技术框架,让开发者能够专注于链的运行时逻辑,而不用再花费大量的时间精力构建区块链底层的基础设施。此外, Substrate 默认提供了很多功能模块,比如 Staking, Consensus, 方便框架使用...

知识:合约,代币,钱包,智能合约

11. 合约零基础002讲:什么是合约?合约的种类和永续合约的优点

【合约零基础】002讲:什么是合约?合约的种类和永续合约的优点 1、合约的种类 数字货币合约分为:交割合约和永续合约。 (1)交割合约:期货交割是指期货合约到期时,交易双方通过该期货合约所载商品所有权的转移,了结到期未平仓合约的过程。 (2)永续合约:是一种近似杠杆现货交易的衍...

知识:数字货币,合约,永续,期货

12. 晓币:大家对智能合约有什么误会?

区块链中最有发展前景的应用就是智能合约。这个概念首先由密码学家尼克Szabo在他1994年的文章《智能合约》中进行了详细的阐述,他认为这是一个“执行合约条款的计算机化的交易协议”。今天,以太坊区块链的兴起有利于在公共环境中更容易地开发并部署这个概念。然而,大家对智能合约的概念还...

知识:智能合约,合约,区块链,区块

13. 合约帝蝴蝶秘语:看BitZ征战合约市场如何出奇制胜

2018到2019年,比特币回来了,很多山寨币却没有回来。今年,合约大战愈演愈烈,火币、币安、Bybit等交易所都上线了合约交易。今天我们荣幸邀请了另一家布局合约交易的平台BitZ的BitZ VP Maggie分享下BitZ的品牌升级,以及如何在合约市场突围。1?合约帝很多用户好奇,品牌由Bit-Z去掉中划线变成BitZ,这个...

知识:合约,用户,交易所,永续

14. 智能合约的力量:什么是智能合约?智能合约将如何在未来掀起一场革命?| 火

智能合约能够完全颠覆现有商业逻辑。目前,区块链技术和加密货币引起了广泛讨论,然而在区块链上可自动执行的智能合约却时常被忽视或甚至被误解。互联网彻底颠覆了人们处理信息和互联互通的方式,同样地,智能合约也将从根本上改变个人和组织达成协议和履行约定的方式。强大可靠的智能合...

知识:预言机,智能合约,Chainlink,火星技术帖

15. 智能合约系列1:数字社会的基石——智能合约

...云南创新研究院北京航空航天大学分布式实验室胡凯教授 业界不少人对智能合约(Smart Contract)的认识常常是不清楚的,有的认为是区块链里本来带的内容,有的认为就是发币用的,有的认为就是以太坊上的应用等等,这些认识完全淹没了智能合约的意义、严重制约了智能合约的发展和应用。那么智能...

知识:智能合约,区块链技术