巴比特讯，7月20日，智能合约平台Fantom研究人员在Usenix2021年度技术会议中，展示了一种专注智能合约链下执行和测试的全新解决方案，其效率将高于现有的解决方案。目前，开发人员测试智能合约需要用三个方案：存档节点、全节点或测试网，其中每一种都可能受到扩展性、速度和存储的限制。为了解决这些问题，Fantom的研究人员提出了一个建立在交易“记录和重放”机制的链下测试环境，开发者就能重放交易，而不依赖于以前的交易和区块链的整个世界状态。在针对900万个区块样本集的测试中，“记录和重放”模型将所需的存储量减少了50%以上。该解决方案有望转变智能合约功能和安全测试。可能的应用包括硬分叉测试；指标评估；合约模糊测试。
Cardano将在Alonzo升级后利用本地Plutus语言编写智能合约:Cardano发布了关于Plutus的更多细节，Plutus是一种本地编程语言，将在其下一次重大升级Alonzo之后用于编写智能合约。Cardano背后公司IOHK在一篇博文中解释称，Plutus合约由链上运行的部件和链下在用户设备上运行的部件组成。这两部分实际上都是用Haskell语言编写的，但都是由Plutus编译（compile）的，后者为Cardano上的智能合约提供了框架。Plutus Core将用于定义EUTXO交易的参数，并编译为智能合约开发的代码。一个Plutus应用程序框架（PAF）将提供对运行在网络上的服务和应用程序的便捷访问，同时具有完整的web浏览器互操作性。Cardano在2月份的“Mary”升级中推出了原生代币，允许用户创建唯一定义的自定义代币，并进行交易。Plutus将扩展当前代币的能力，极大地改善铸币策略，这将有利于可能需要时间锁的NFT。（Crypto Potato）[2021/4/15 20:22:21]
灵踪安全CEO谭粤飞：智能合约安全有其特殊性:金色财经现场报道，4月10日，金色财经主办的共为创新大会“DeFi的创新进阶”专场于上海举办，会上灵踪安全CEO谭粤飞演讲表示，
2020年DeFi安全损失超过2亿美金，这些安全事故大多来自对智能合约的攻击，智能合约的安全事故较多，原因有三：第一个是智能合约本身，第二是区块链技术特点，第三是社会因素。
首先智能合约一旦部署，不能被撤回。其次区块链结构使项目方无法知晓攻击者的社会身份以及交易不可逆。最后是智能合约应用的社会约束比较缺乏，例如缺乏对数字资产的保护，缺乏对区块链应用的约束和规范。[2021/4/10 20:05:32]
现场 | 鲍帅：机器学习技术能极大提升智能合约安全检测引擎效率:金色财经现场报道，今日，2018可信区块链峰会在北京召开。在主题为“区块链安全焦点关注”的区块链安全论坛上，西安好码安全信息科技有限公司CEO鲍帅分析了智能合约与机器学习的相互影响。他指出，当前智能合约发展迅速，如何有效处理海量智能合约的安全成为行业普遍关注的问题，机器学习技术的引入能极大地提升智能合约安全检测引擎效率，在大规模 、易扩展、半监督学习、高价值、高效率、通用方案等方面发挥较大的优势。[2018/10/10]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。