北京航空航天大学分布式实验室 北航云南创新研究院 白晓敏，段张博在智能合约的形式化验证过程中，总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验证。然而，未来使用智能合约的必然不会全都是会编写模型的人员，因此，我们在智能合约和模型检测技术原理的基...
知识:合约,智能合约,智能合约模型,模型
...航空航天大学云南创新研究院周楚涵 胡 凯形式化验证（Formal Verification）是智能合约工程的重要环节，它可以成为对合约进行确定性验证的一种技术，通过形式化语言把合约中的概念、判断、推理转化成智能合约模型，可以消除自然语言的歧义性、不通用性，进而采用形式化工具对智能合约建模、分析...
知识:合约,智能合约,公链,智能合约模型
...云南创新研究院白晓敏，周楚涵本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例，便于大家了解相关的技术路线。作为形式化方法的工程实践，模型驱动工程（MDE）旨在提高程序规范中的抽象级别，从而提高程序规范中的抽象级别，通过使用可执行模型转换来增加程序开...
知识:合约,智能合约,模型,智能合约验证
寻根：智能合约的真容2015年以太坊出现的时候，区块链社区有着截然不同的意见。以太坊用事实证明：相比较仅使用数字货币，人们可以用这项技术实现更多事情。全新一类的分布式应用都可以被构想出来，并部署到一个可以支持它们的区块链上。1.本质从本质上而言，智能合约是一种直接控制数字资...
知识:合约,智能合约,区块,在区块链
...发者非常有效地开发新的区块链。这些新的区块链可以是一个应用平台(支持智能合约)，但它们中的大多数将是去中心化的应用，如预测市场、TCRs、稳定币、借贷市场和交易所。我们不妨称它们为应用程序链。Polkadot将不仅提供用于开发应用程序链的工具(底层)，而且还提供了用于应用程序链之间的信任...
知识:智能合约,合约,去中心化,区块链
...的肩膀，高兴地说道。今年 11 月 6 日，她创办的 Beosin （成都链安）完成了智能合约形式化验证平台 VaaS2.0 的研发，把行业内智能合约审计的准确度提高到 95% 以上。统计数据显示，2011 年~2018 年间，智能合约安全事件损失金额达 12.4 亿美元，占该期间区块链安全事件总损失金额的 1/3。2016 年下半年，杨...
知识:安全,访谈
由于当前智能合约多为串行执行和串行验证，导致性能一般，无法满足业务需求。百度XuperChain提出了一种新的区块链数据模型：XuperModel。基于这样的底层数据模型，XuperChain可以使用多核计算能力来同时执行和验证智能合约，大大提升效率。 摘要 近年来，区块链技术不仅仅在加密货币交易，而且在存...
知识:合约,区块链,比特币
...了开发人员采用这种技术的必要性，但同时也降低了这种必要性。最流行的智能合约语言的成功难道不归功于它类似javascript的语言吗 但是，采用这种方式是一把双刃剑:与以前的任何其他网络相比，经济上都会直接受到威胁。 既然新的共识方法和区块链协议的安全性得到了越来越多的科学文献的支持...
知识:合约,区块链,以太坊
...子科技大学共建的区块链技术研究与应用联合实验室开展“ 全球首个基于EOS智能合约的形式化验证”项目验收及成果汇报工作。历时一年零5个月，在数十名电子科技大学的博士生导师、博士研究生夜以继日的努力之下，项目克服种种技术难关正式落地。△ 电子科技大学副教授钱伟中向我们介绍项目总...
知识:智能合约,合约,区块链技术研究,智能合约代码
...ano 的 eUTXO 交易模型，其可编程性与以太坊和 Solana 等竞争链截然不同。因此智能合约不能实际部署在 Cardano 上，「与以太坊、Solana、Algorand 等公链不同，Cardano 上没有所谓的智能合约功能。取而代之的是，验证器在使用前由哈希隐式引用，并在激活时公开。」 但 Matthias Benkort 认为，将链上的关键执行...
知识:Cardano,开发者,上的,「,智能,合约,」,在,术语,
智能合约极大地扩展了区块链的应用场景与现实意义，但频发的安全事故严重阻碍了它的发展，智能合约安全性问题的研究就显得尤为关键。本文讨论了形式化验证、模糊测试和符号执行等主流的智能合约漏洞检测手段，对于象链科技当前联盟链安全性问题的研究方向有着深远的指导意义，并明确了下...
知识:智能合约,合约,智能合约漏洞,链科技
...可以用这个工具生成随机数，并在链上进行验证。Chainlink VRF将为众多优秀的智能合约项目带来巨大价值，尤其能证明智能合约使用的随机数不可被篡改和操控。我们想要感谢与我们紧密合作的学术界专家和开发者社区，不断向我们反馈他们对Chainlink VRF的想法和建议。与此同时，我们还要感谢为初步实...
知识:预言机,去中心化,智能合约,chainlink
混合型智能合约包含区块链上运行的代码以及区块链下的数据和计算资源，这些资源由去中心化预言机网络传输至链上。混合型智能合约可以协调复杂的经济和社会活动，具有区块链防篡改的特质，并且可以安全地接入链下预言机服务，实现各种创新功能，如可扩展性、保密性、公允排序以及接入任何...
知识:智能合约,链上,去中心化,预言机
...用都会在Layer 2上运行，因此NEO将精简主链的架构并努力提升主链的TPS。NEO的智能合约目前有两个用途，分别是交易验证和应用执行。在NEO 2.x中，交易验证通常分三个步骤，分别是格式验证、规则验证和业务验证。格式验证用来验证交易格式是否达到要求，规则验证的目的是验证交易内容是否符合目前...
知识:合约,智能合约,张铮文,区块链
混合型智能合约包含链上运行的代码和链下数据、计算资源，预言机可为其提供喂价、储备金证明、可扩展计算等功能。</blockquote>撰文：Chainlink混合型智能合约包含区块链上运行的代码以及区块链下的数据和计算资源，这些资源由去中心化预言机网络传输至链上。混合型智能合约可以协调复杂的经济和...
知识:以太坊,Dapp,智能合约,DeFi,dYdX,Chainl