...、便捷的区块链部署和使用功能，方便企业级用户的使用，而基于区块链的智能合约也被移植到了BaaS上，成为了BaaS上实现各企业业务的方法，而如何将云上现有的技术与智能合约相结合，解决现有智能合约的问题，成为了一个重要的研究点。本文主要针对基于区块链的智能合约存在的合约可扩展性问...
知识:合约,智能合约,基于区块链的智能合约,区块链即
通过分析前3名借贷智能合约看借贷DEFI的进化图1 DeFi锁仓金额的变化上面这一幅图显示的是2017.7.1-2020.8.31三年零一个月以太坊DeFi锁仓资金规模的变化。着实令人惊叹！再看看锁仓规模的起始点，从2020.3.13开始，以太坊DeFi锁仓规模持续增加，用了不到3个月的时间就超越了2020.3.13之前2年半的规模，然后便...
知识:通证,以太坊,平台币,智能合约
如何在 Wanchain 上打造可升级智能合约？ Wanchain 技术团队为大家讲解如何创建数据和逻辑分离、数据结构可扩展的可升级智能合约。</blockquote>写在前面Wanchain 作为一条着力打造分布式金融基础设施的跨链公链，在跨链协议、跨链标准制定、PoS 机制研究、随机数生成、dApp 应用场景、行业解决方案、合约...
知识:技术,项目,Wanchain
...三个记账节点的应用。目前，FISCO BCOS平台支持Solidity和Precompiled两种类型的智能合约，同时，提供交互式控制台工具（Console）,方便开发者与链进行交互，部署、调用智能合约。为了让大家快速上手智能合约，FISCO BCOS推出了智能合约系列教程，本文为系列教程精编，更多实操内容敬请关注FISCO BCOS开源社...
知识:合约,智能合约,智能合约开发,以太坊
...三个记账节点的应用。目前，FISCO BCOS平台支持Solidity和Precompiled两种类型的智能合约，同时，提供交互式控制台工具（Console）,方便开发者与链进行交互，部署、调用智能合约。为了让大家快速上手智能合约，FISCO BCOS推出了智能合约系列教程，本文为系列教程精编，更多实操内容敬请关注FISCO BCOS开源社...
知识:智能合约,开发
...庞大。隐藏在计算机背后的危机也随着区块链的发展日益展露狰狞的面目。智能合约当中，任何一个小bug，都可能会给项目或者投资者造成无法挽回的损失。受此警示之下，CertiK安全团队利用CertiK天网系统（Skynet），对自北京时间2020年12月4日0时至24时之间，新加入Uniswap的代币智能合约进行了监控分析...
知识:智能合约,代币,合约,项目
...庞大。隐藏在计算机背后的危机也随着区块链的发展日益展露狰狞的面目。智能合约当中，任何一个小bug，都可能会给项目或者投资者造成无法挽回的损失。受此警示之下，CertiK安全团队利用CertiK天网系统?（Skynet），对自北京时间2020年12月4日0时至24时之间，新加入Uniswap的代币智能合约进行了监控分析...
知识:智能合约,代币,合约,项目
CertiK安全研究团队发现soda区块链项目中存在智能合约安全漏洞，该漏洞允许任意外部调用者通过调用智能合约函数，强行结算受害用户的债务。判断一个人到底属于什么资产阶级，只需要看他的负债率。简而言之，借的钱越多，代表你越有钱（还款能力强）。所以借钱从某种角度上来讲，是属于富人的...
知识:区块链项目,智能合约,安全漏洞
...云南创新研究院白晓敏，周楚涵本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例，便于大家了解相关的技术路线。作为形式化方法的工程实践，模型驱动工程（MDE）旨在提高程序规范中的抽象级别，从而提高程序规范中的抽象级别，通过使用可执行模型转换来增加程序开...
知识:合约,智能合约,模型,智能合约验证
...云南创新研究院余维 胡 凯性能问题一直是困扰区块链领域的大问题，其中智能合约性能是整个区块链性能的瓶颈之一，智能合约在1994年由尼克萨博首次提出，但受到合约代码执行环境的影响，很难应用到现实生活中。区块链技术为智能合约提供了一个良好的执行环境，保证了合约的正确性以及强制执...
知识:智能合约,合约,以太坊,智能合约模型
DeFi平台Opyn智能合约漏洞详解——攻击者空手套白狼北京时间2020年08月05日，DeFi 期权平台 Opyn 的看跌期权（Opyn ETH Put）智能合约遭到黑客攻击，损失约37万美元。Opyn 是一个通用期权协议，于今年2月份转型为保险平台，通过 oTokens 为 DeFi 平台提供可交易的 ETH 看跌期权，以此锚定 ETH 市场价格，为高波动...
知识:智能合约,DEFI,数字资产
北京时间2020年08月05日，DeFi 期权平台 Opyn 的看跌期权（Opyn ETH Put）智能合约遭到黑客攻击，损失约37万美元。Opyn 是一个通用期权协议，于今年2月份转型为保险平台，通过 oTokens 为 DeFi 平台提供可交易的 ETH 看跌期权，以此锚定 ETH 市场价格，为高波动性的 DeFi 市场提供相对的稳定性。PeckShield 安全团队...
知识:安全,智能合约,Opyn
北京时间2020年08月05日，DeFi 期权平台 Opyn 的看跌期权（Opyn ETH Put）智能合约遭到黑客攻击，损失约37万美元。Opyn 是一个通用期权协议，于今年2月份转型为保险平台，通过 oTokens 为 DeFi 平台提供可交易的 ETH 看跌期权，以此锚定 ETH 市场价格，为高波动性的 DeFi 市场提供相对的稳定性。PeckShield 安全团队...
知识:合约,数字资产,智能合约,期权
...Shield北京时间 2020 年 08 月 05 日，DeFi 期权平台 Opyn 的看跌期权（Opyn ETH Put）智能合约遭到黑客攻击，损失约 37 万美元。Opyn 是一个通用期权协议，于今年 2 月份转型为保险平台，通过 oTokens 为 DeFi 平台提供可交易的 ETH 看跌期权，以此锚定 ETH 市场价格，为高波动性的 DeFi 市场提供相对的稳定性。PeckShie...
知识:PeckShield,Opyn
...分享了他对“互链网改革”的最新思考。以下为直播视频及实录。核心要点智能合约的思想发生了很大的变化，智能合约、区块链已经有新定义了。在以太坊出现时，就有了智能合约，后来不久又有了预言机，区块链现在是一个账本系统+智能合约+预言机。无论是英国、德国还是美国，他们都认为智能...
知识:智能合约,预言机,区块链,李嘉图合约