继CertiK主网正式上线后，DeepSEA编译器进行了两项重大更新，目前DeepSEA编译器的1.1版本已正式发布。此次发布中的重大更新内容：1. DeepSEA的WebAssembly后端现已完备支持所有的语言特性。2. 现在DeepSEA的整个编译后端均可作为一个独立的库来使用在任何人的项目中。你可以在Github发布页面下载可执行文件及...
知识:以太坊,合约,智能合约的例子,区块链编程语言
今年九月末，CertiK正式发布DeepSEA 1.0编译器。此版本的编译器相较于今年一月发布的pre-alpha版本DeepSEA，有两个重大更新。在这次的发布中CertiK完成了旧版本中的未完成特性，例如事件（events），keccak256哈希，calldata等等。目前，DeepSEA 1.0编译器支持所有在手册中定义的语言特性。详细内容请点击【CertiK正...
知识:合约,蚂蚁区块链,链上,智能合约
2020年末，区块链底层网络Conflux宣布启动生态系统孵化与扶持计划。近日，DeepSEA编译器1.1版本正式发布。作为CertiK自主开发的可用于编写可验证智能合约的新语言，DeepSEA被选为Conflux生态系统扶持项目的其中之一。继DeepSEA编译器支持以太坊、蚂蚁链，目前DeepSEA编译器也已全面支持Conflux生态系统！现在...
知识:智能合约,合约,以太坊,区块链项目
CertiK现已正式发布DeepSEA 1.0编译器！目前，DeepSEA 1.0编译器支持所有在手册中定义的语言特性。CertiK现已正式发布DeepSEA 1.0编译器。用户可以访问CertiK的Github release page，下载可执行文件以及测试用例。新发布的1.0版本中有两个重大更新：编译器目前的完善程度已经达到能够编写企业级智能合约的标准。新...
知识:虚拟机,智能合约,以太坊
CertiK现已正式发布DeepSEA 1.0编译器。用户可以访问CertiK的Github release page，下载可执行文件以及测试用例。新发布的1.0版本中有两个重大更新：编译器目前的完善程度已经达到能够编写企业级智能合约的标准。新增了两个编译后端：目前除了以太坊和CertiK Chain之外，其还对以太坊2.0的WebAssembly ewasm提供实...
知识:合约,以太坊,智能合约,链上
...测试网； 6） Shadowlands，Python 语言开发的全文字界面以太坊 DApp 平台； 7） DeepSEA，一共用于编写已验证智能合约的编程语言。其中第七个项目「DeepSEA」值得关注。DeepSEA 由安全服务商 CertiK 研发团队、耶鲁大学和哥伦比亚大学科研团队进行相关研究。在获得以太坊基金会的科研奖金资助之前，这个项目...
知识:技术,安全,智能合约,DeepSEA
专注于区块链安全的公司CertiK为其以智能合约为中心的DeepSEA编程语言发布了原型和语言参考手册。CertiK及其相关的R＆D研究企业都已从Binance Labs，Qtum和Ethereum Foundation等公司获得了融资。本周初发布的DeepSEA演示，语言和编译器参考手册旨在为开发人员提供对语言结构的详细且面向解决方案的理解。DeepSEA...
知识:智能合约,区块链框架,区块链,以太坊
...入住节点合作方。在此次合作中，除了节点运营，CeritK还将利用自主研发的DeepSEA语言编译器在蚂蚁区块链EVM虚拟机上运行代码，为蚂蚁金服区块链平台提供定制化的安全保障，并为蚂蚁区块链的安全赋能。一向做出正确选择的蚂蚁，是如何分析出CertiK吞吴是个绝佳选择的合作方呢？蚂蚁的智慧安全是任...
知识:智能合约,蚂蚁区块链,在区块链,合约
区块链安全公司CertiK已发布了针对其智能合约的DeepSEA编程语言的演示和语言参考手册。CertiK及其附属的R＆D学术项目均已从Binance Labs，以太坊基金会和Qtum等公司获得资助。该公司于2月21日与Cointelegraph分享了新版本的细节。本周发布的DeepSEA演示，编译器和语言参考手册旨在为开发人员提供对该语言设计...
知识:智能合约,区块链基础设施,以太坊基金会,以太坊
...Chain类似，CertiK是基于Tendermint-BFT开发共识，愿景是通过CertiK独有的虚拟机和DeepSEA编程语言构建一个无边界的跨链生态。CertiK虚拟机（CVM）是个由CertiK Chain开发的智能合约平台。在1.0版本中，它主要实现的场景是在添加了安全相关的扩展功能以外提供完整的EVM兼容性。将来的版本将会提供WASM和综合的代...
知识:合约,链上,跨链,智能合约
...Chain类似，CertiK是基于Tendermint-BFT开发共识，愿景是通过CertiK独有的虚拟机和DeepSEA编程语言构建一个无边界的跨链生态。CertiK虚拟机（CVM）是个由CertiK Chain开发的智能合约平台。在1.0版本中，它主要实现的场景是在添加了安全相关的扩展功能以外提供完整的EVM兼容性。将来的版本将会提供WASM和综合的代...
知识:合约,链上,跨链,智能合约
...Chain类似，CertiK是基于Tendermint-BFT开发共识，愿景是通过CertiK独有的虚拟机和DeepSEA编程语言构建一个无边界的跨链生态。CertiK虚拟机（CVM）是个由CertiK Chain开发的智能合约平台。在1.0版本中，它主要实现的场景是在添加了安全相关的扩展功能以外提供完整的EVM兼容性。将来的版本将会提供WASM和综合的代...
知识:智能合约,编程语言,安全性
...日，Cointelegraph发布了这一消息。 这笔资金的受益者是一个名为深海(DeepSea)的智能合约研发项目，由哥伦比亚大学计算机科学助理教授顾荣辉(Ronghui Gu)教授牵头，与耶鲁大学的研究人员合作。顾还是区块链安全公司CertiK的联合创始人，该公司也是去年10月在币安实验室牵头的一轮融资中融资数百...
知识:以太坊基金会
今天，CertiK基金会在这里向大家郑重宣布：CertiK Chain全面开源！包括DeepSEA与CertiK安全预言机在内的整个CertiK?Chain生态系统关键组件的全面开源将成为我们行业社区、网络协议与区块链生态系统发展的重要里程碑。CertiK基金会鼓励区块链社区、漏洞猎人、白帽黑客、安全工程师以及开源开发者们通过开源...
知识:预言机,智能合约,区块链生态系统,合约
...生嵌套的证书，一直到你将所有组件组合成一个单一的、经过认证的合约。DeepSEA工具链是开源的吗？哪些架构是针对DeepSEA的？有没有计划添加web目标？顾荣辉教授：DeepSEA工具链（参考链接1）及其编程语言和编译器，是由哥伦比亚--IBM区块链中心、哥伦比亚数据科学研究所和其他哥伦比亚研究所支持的...
知识:智能合约,合约,在区块链,区块链