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

交易模型不同合约

1. 互链网-重新定义区块链金融界

...互链网会重构互联网,从底层到应用系统架构都会改变。2018年美国期货商品交易所委员会CFTC,提出智能合约两大应用是(合规)金融交易与监管。传统区块链应用(例如比特币和以太币)都是逃避监管,现在美国监管单位反而认为这是监管利器,也是合规金融交易工具,这真是180度的思想改变。2018年1...

知识:智能合约,区块链,区块链系统,预言机

2. 互链网—区块链新的使命

...互链网会重构互联网,从底层到应用系统架构都会改变。2018年美国期货商品交易所委员会CFTC,提出智能合约两大应用是(合规)金融交易与监管。传统区块链应用(例如比特币和以太币)都是逃避监管,现在美国监管单位反而认为这是监管利器,也是合规金融交易工具,这真是180度的思想改变。2018年1...

知识:智能合约,区块链,区块链系统,预言机

3. 巴比特专栏 | 互链网——重新定义区块链

...互链网会重构互联网,从底层到应用系统架构都会改变。2018年美国期货商品交易所委员会CFTC,提出智能合约两大应用是(合规)金融交易与监管。传统区块链应用(例如比特币和以太币)都是逃避监管,现在美国监管单位反而认为这是监管利器,也是合规金融交易工具,这真是180度的思想改变。2018年1...

知识:区块链

4. 互链网—重新定义区块链

...互链网会重构互联网,从底层到应用系统架构都会改变。2018年美国期货商品交易所委员会CFTC,提出智能合约两大应用是(合规)金融交易与监管。传统区块链应用(例如比特币和以太币)都是逃避监管,现在美国监管单位反而认为这是监管利器,也是合规金融交易工具,这真是180度的思想改变。2018年1...

知识:智能合约,区块链,区块链系统,预言机

5. 智能合约的形式化验证案例

...用户进程和商店进程。用户进程:如果商家在七天内没有交货,用户将取消交易,SSC会将资金退还给用户,用户进程定时、周期地检测交货状态;商店进程:商家收到订单后,系统判断订单是否结束,如果订单没有超时,则商店发货。SSC需要确保资金的安全性和交易过程中各个状态的可达性。我们可以...

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

6. 技术指南 | 模型驱动的智能合约开发,了解一下

...人机接口(例如电梯或咖啡机)触发。智能合约没有什么不同,来自外界的交易触发了智能合约内部状态的改变。状态机的基本构建块是“状态”和“转换”。状态机是由有限数量的“状态”组成的。机器一次只处于一种状态,该状态被称为“活动状态”。它可以通过“触发器”或者在特定条件下从一...

知识:智能合约,Solidity,技术指南

7. NEAR账户模型有哪些特别之处

...户模型所谓账户模型,本质上是一种记账方式,最直观的展示是用户账户的交易往来情况和账户余额。一般来讲,区块链世界存在两种主流的记账方式,一种是以比特币为代表的UTXO,另外一种就是以太坊为代表的账户模型。下面对这两种记账方式做一个简单的介绍。UTXO即“未经花费的交易输出(Unspent Tr...

知识:合约,通证,以太坊,账户

8. 想开发智能合约?先 get 下这个适合所有人的模型驱动法

...人机接口(例如电梯或咖啡机)触发。智能合约没有什么不同,来自外界的交易触发了智能合约内部状态的改变。 状态机的基本构建块是“状态”和“转换”。状态机是由有限数量的“状态”组成的。机器一次只处于一种状态,该状态被称为“活动状态”。它可以通过“触发器”或者在特定条件下从一...

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

9. 智能合约五大最新突破:标准化、系统化、合规化、架构化、工程化

...究院等立刻开始研究合规智能合约技术和法规。这些单位包括美国商品期货交易委员会(Commodity Futures Trading Commission, CFTC) 、 英国央行、 欧洲央行、 国际货币基金组织(International Monetary Fund, IMF)、德国银行协会、世界银行(World Bank)等。经过 4 年的研究,上述单位对智能合约的技术和相关法律问题有了...

知识:智能合约

10. 智能合约近期五大科技突破:标准化、系统化、合规化、架构化、工程化

...究院等立刻开始研究合规智能合约技术和法规。这些单位包括美国商品期货交易委员会(Commodity Futures Trading Commission, CFTC) 、 英国央行、 欧洲央行、 国际货币基金组织(International Monetary Fund, IMF)、德国银行协会、世界银行(World Bank)等。经过 4 年的研究,上述单位对智能合约的技术和相关法律问题有了...

知识:衍生品,预言机,智能合约,软件,CFTC

11. 基于衍生品的 DEX 适合 AMM 吗?

...起今年以来 DeFi 的热度在不断升温,作为 DeFi 中的重要组成部分的去中心化交易所 DEX 也持续受到关注。AMM 自动做市商作为典型的 DEX,开创了金融资产交易不依赖订单簿的先河。Uniswap 在今年 5 月份发布 V2 版本的时候,可能并没有想到,短短四个月的时间,AMM DEX会在加密行业掀起如此大的一股浪潮。9 ...

知识:衍生品,做市商,代币,永续合约

12. 基于衍生品的去中心化交易所,适合 AMM 吗?

...起今年以来 DeFi 的热度在不断升温,作为 DeFi 中的重要组成部分的去中心化交易所 DEX 也持续受到关注。AMM 自动做市商作为典型的 DEX,开创了金融资产交易不依赖订单簿的先河。Uniswap 在今年 5 月份发布 V2 版本的时候,可能并没有想到,短短四个月的时间,AMM DEX会在加密行业掀起如此大的一股浪潮。9 ...

知识:去中心化交易所,永续合约,defi

13. 长文详解PlatON测试Case全景图

...也比常规的传统测试更加复杂。现在我们可以来认识下PlatON,首先它不属于交易所类型的业务产品,而是于基于区块链的技术以及链技术产生的价值的生态基础服务,测试的重点也是不一样的。我们的测试会更加关注底层,比如共识算法、网络、存储、经济模型等。PlatON测试范围总览从Case全景图可以看...

知识:链上,合约,区块链,区块

14. 当DeFi遇上价格预言机:一场即将爆发的数据战争

...定价数据的链上市场才刚刚开始。像Uniswap这样的协议(其中包含大部分现货交易量)现在能够提供可靠的定价数据,这些数据可用于其他生态系统衍生合约,这些合约可以直接从链上Uniswap合约中读取。由于这种新兴模型,讨论导致了UNI应该是预言机代币的提议。(RSA 注释——这是我们将UNI作为预言机...

知识:预言机,合约,链上,数据

15. 硬币模型和账户模型

...是所谓的基于账户的模型(account-based model)。在计算机术语里,Transaction(交易)常缩写为Tx,所以,UTXO就是Unspent Transaction(Tx) Output的缩写。这是缩写套着缩写。英文缩写不太容易为读者所理解,于是我把它叫做基于硬币的模型(coin-based model),或者硬币模型。硬币(coin)这个词来自于中本聪2008年发...

知识:比特币,智能合约,以太坊,全节点