智能合约平台Fantom宣布获得对冲基金HyperChainCapital的1500万美元投资，投资方式为购买FTM代币。此外，HyperChainCapital还于2018年对Fantom进行了250万美元的初始投资，并且HyperchainCapital子公司Hyperblocks目前在Fantom上运行验证器节点。?
基于AI的Web3智能合约生成器Mazzuma完成新一轮融资，Adaverse参投:金色财经报道，基于人工智能技术的Web3智能合约生成器Mazzuma宣布完成新一轮融资，Cardano生态投资机构Adaverse参投，但具体融资金额暂未披露。Mazzuma总部位于非洲加纳，旨在利用人工智能技术支持帮助开发人员为Web3去中心化应用程序无缝生成智能合约代码，继而加快区块链智能合约的创建和部署，新资金将用于推动旗下新产品MazzumaGPT上线。 （disrupt-africa）[2023/6/27 22:03:15]
据悉，Fantom是全球首个基于DAG技术并支持智能合约的高性能公链，提供了具有跨链功能的EVM兼容性，目前Fantom上已部署了2200多个智能合约。Fantom与传统的基于分块分类账的存储方式不同，通过DAG改进版本来搭建基础框架，并采用Lachesis协议。在Fantom上构建的应用，OPERAChain享有即时处理和近乎零的交易成本。
Cardano推出另一项智能合约编程语言提案:Cardano基金会在推特表示，他们已推出一项提案请求(RFP)，用于在Cardano上使用另一种编程语言，即简化使用扩展的UTXO（未使用交易输出）分类帐模型来部署智能合约。该提案通过电子邮件接受申请，截止到2020年8月31日。[2020/8/4]
声音 | 猎豹区块链研究中心杨文玉：智能合约自动化审计存在三大问题:据36kr报道，近日猎豹区块链研究中心安全专家杨文玉在关于如何有效保障海量智能合约的安全的问题时表示，最好的方法是降低人工审计复杂度，采用智能合约自动化审计。即主要通过特征代码匹配、基于形式化验证的自动化审计方法、基于符号执行和符号抽象自动化审计这三类方法。此外，她也指出，现在自动化审计方法处于一个很不成熟的阶段，主要面临三大问题：误报率高，自动化程度低、依赖人工二次审计，审计时间比较长。[2018/9/10]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。