...我听到越来越的人谈论智能合约。但是，当你让他们对智能合约这一术语下一个定义的时候，他们不能清晰地表达，这一个概念就像从他们手中溜走了一样。 这不是什么新发现：Peter Todd在听过了多场研讨会以后，也得出了类似的结论。 经过多场智能合约的讨论后，我得出了这样的结论...
知识:智能合约
...。看似简单的账本模型的选择实则存在着艰难的取舍，因为这不仅仅是选择一个价值流通模型，更重要的是智能合约模型的选择。账户模型是伴随着以太智能合约出现的，因为就价值流通而言，UTXO已经足够好用了，完全没有必要再重新发明一套新的账本模型。作为“智能合约即正义”的以以太为代表的...
知识:智能合约,链上,以太,共识协议
...为两者的结合找到可行方案，并在未来的技术生态中占据战略要地。作为第一个真正实现链上 AI 推断、在智能合约里引入人工智能的公链，Cortex 不仅想要扩展智能合约的功能，也在努力改变人工智能模型被大公司垄断的局面。尽管区块链项目需要各种概念和算法上的探索，但更难的其实是生态建设、...
知识:CORTEX,人工智能,公链
...为两者的结合找到可行方案，并在未来的技术生态中占据战略要地。作为第一个真正实现链上 AI 推断、在智能合约里引入人工智能的公链，Cortex 不仅想要扩展智能合约的功能，也在努力改变人工智能模型被大公司垄断的局面。尽管区块链项目需要各种概念和算法上的探索，但更难的其实是生态建设、...
知识:智能合约,区块链,链上,以太坊的
...就是A->B的转账记录。但是实际上比特币在A和B之间的转移，本质上是达成了一个条件才转移的。这个条件可以设置成多种多样。稍微对比特币技术有了解的人应该知道，比特币交易的构成要由上一笔交易的txout和这笔交易的txin匹配后才是合法的，因此这里的txout中含有的可以相当于是一个问题的谜面，...
知识:合约,比特币,智能合约,以太坊
...初的Cortex则选择从区块链的角度，将AI以不同的方式呈现给广大用户。作为一个致力于构建人工智能+智能合约平台的区块链项目。它的出现又将给我们带来哪些惊喜呢？问答环节深链财经：简单的给大家介绍一下Cortex。Chen：Cortex项目的技术白皮书是英文的，读起来门槛较高，简单剖析一下我们要做的事...
知识:链上,区块链,去中心化,深链财经
...楚涵本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例，便于大家了解相关的技术路线。作为形式化方法的工程实践，模型驱动工程（MDE）旨在提高程序规范中的抽象级别，从而提高程序规范中的抽象级别，通过使用可执行模型转换来增加程序开发中的自动化，较高级别的...
知识:合约,智能合约,模型,智能合约验证
...型，称为UTXO（未消费的交易输出）模型。与此同时，与区块链技术相关的另一个领域或许对某些人来说会更有趣，但它也更加的复杂，我们称其为智能合约。智能合约是通过帐户模型的交易设计来使其有效运作的。在帐户模型中，节点追踪账户的状态（仅限于帐户余额的存储），而在UTXO模型中，没有...
知识:虚拟机,智能合约,Qtum
...观察性与可验证性，合约本身与合约执行的所有状态都应该作为证据存储在一个安全度高的数据库中。基于智能合约的特性并结合对智能合约形式化验证方法的研究，可以概括和总结出对智能合约通用的合约验证框架，如图1所示。智能合约的验证过程分为三个阶段：合约签订、合约建模，以及合约验证...
知识:合约,智能合约,智能合约模型,模型
...据都是相互依存，训练模型需要数据，数据需要更好的模型。如果能够形成一个去中心化的模型市场。那么，在保证数据私密的情况下，能够带来更好的智能推断结果。 总之，区块链之所以能够赋能人工智能，主要是基于区块链无须中介的信任特征。这决定了它在未来能够帮助到人工智能。此外，区...
知识:区块链,合约,以太坊
...可用于重建用户密钥。门限密钥管理允许多个EOA控制单个帐户，允许用户对一个密钥拥有多个分片，允许用户在不损害主密钥的情况下保留分片作为备份，并且，允许在不造成安全隐患的前提下实现密钥分片重复使用。门限密钥管理模型的属性取决于用户保存每个密钥分片的位置。不同的钱包和方案根...
知识:智能合约钱包,私钥,钱包,密钥
...关键还是在于是否可以用区块链技术保证合约自动执行。区块链系统本质是一个状态机，即通过输入外部变量能改变内部状态的机器。这里外部变量就是交易，内部状态就是账本的余额等数据。因此智能合约需要实现通过接受交易然后触发区块链的状态改变。以比特币为代表的UTXO模型的区块链基本采用...
知识:智能合约,区块链,区块链的,区块链技术
如何在PoW公链UTXO模型平台上部署智能合约？Ergo提供了一个解决方案。4月13日17:00，区块链网络举行新一期「区块链·世界志」，邀请Ergo公链核心开发者Alexander做客直播间，一起探讨了Ergo在UTXO模型平台部署智能合约的方案。直播过程中，Alexander首先介绍了Ergo。他表示，Ergo采用的是EUTXO，即扩展UTXO，是...
知识:预言机,代币,智能合约,比特币
...且更适合真实的商业社会使用。Qtum仅需一台简单的计算机即可挖矿，这使每一个用户都相对公平，无需考虑高额的硬件投入和电力花费。 经过和许多银行、金融机构、制造业、科技业客户的沟通，更坚定了我们使用PoS共识机制的想法，基于PoS的网络有更好的稳定性，也更加易于维护。 ...
知识:Qtum量子链,Qtum ICO,量子链众筹
1995年，跨领域法律学者尼克·萨博提出了"智能合约"的概念，即"一个智能合约是一套以数字形式定义的承诺，包括合约参与方可以在上面执行这些承诺的协议。"遗憾的是，在这个概念提出后的很长一段时间内，智能合约始终无法找到合适的场景。直到区块链的出现，它才得以有效利用。智能合约的工作...
知识:智能合约,合约,去中心化,区块链数据