guanghua

guanghua

@chainx-org @coming-chat CEO

个人成就
  • 积分
    319
  • 话题
    67
  • 评论
    22
  • 注册排名
    33
个人资料
昵称
guanghua
签名
@chainx-org @coming-chat CEO
粉丝 32
没有更多内容了
关注 8
没有更多内容了
  • Dmens 白皮书 草稿

    背景 web2 时代的社交 软件 增长乏力,web2 对人们的信息隐私的泄露,对人们经济的垄断等缺点造成 互联网的人们逐渐对 web2 社交工具失去信心。 对web3 的社交充满了期待,先行者们,已经开始在各个web3 的各个领域 跃跃欲试。 此时,ComingChat在2020年应运而生, ComingChat 首先集成了Signal隐私通信协议,且摒弃了web2的中心化邮箱/账户密码等登录系统,使用了web3时代的数字身份CID作为账户系统,基于去中心化数字身份CID和隐私聊天作为基础框架的前提下,Co...
  • Polkadot's EVM smart contract chain: PSC

    Web3 mission of thousands of chain interconnection and cross-chain intelligent programming 1,The extension of the ChainX community and ChainX technology, together with ChainX to complete the mission of ChainX: asset cross-chain hub 2,Polkadot takes the in...
  • Cross-chain thinking

    Cross-chain classification According to whether it is homogeneous or not, it is divided into: Heterogeneous cross-chain and Isomorphic cross-chain According to the content of cross-chain transmission, it is divided into: message cross-chain and asset cros...
  • Letter to OmniBTC Users

    Congratulations to OmniBTC for winning the 34th Polkadot Slot and 617 users who participated in the auction With the unremitting efforts of 617 bidders, OmniBTC won the 34th slot of Polkadot. Here, we celebrate again. Why does OmniBTC take Polkadot slot? ...
  • OmniChain makes it possible for Defi to replace Cefi.

    What is “Omnichain”? The term OmniChain was first proposed by LayerZero, which uses programmable message cross-chain as the underlying technology to promote the application interaction and liquidity aggregation from several public chains. There are problem...
  • 三大”平行宇宙“公链, 一方水土养育一方链。

    公链的三大平行宇宙 比特币, 垄断去中心化货币的时代,特点:POW,UTXO,scrip脚本, 其他支付链都是比特币的fork链,在比特币阴影下讨生活。 以太坊, 垄断当下的智能合约编程生态, 特点:Gas,全局状态树模型,EVM,Solidity,其他类以太坊合约链,一直在fork以太坊,没有自己的创新。 其他特色链,没有垄断的时代, 历史有出现过EOS,Solana这些独特于以太坊体系的链,但没有机会脱颖而出,成为并行于比特币和以太坊这样开创级别的第三平行公链时代。现在我们追寻的Move公链(Apto...
  • OmniBTC 三大功能之一 OmniBridge

    OmniBTC 三大功能之一 OmniBridge OmniBridge:解决任意链之间完全去中心化的跨链。 BTC-Move桥: 基于超轻节点的比特币与 Move 语言公链(如 Aptos 和 Sui)之间的桥梁。 参考项目:ChainX和ICP 他们的解决方案:BTC轻节点+门槛聚合签名+智能合约平台 对于托管 BTC 的 BTC 聚合地址,只有托管 BTC 的地址和账户足够去中心化,才能使 BTC 看起来像 POS 一样去中心化。例如:将聚合托管账户与链上节点账户一一绑定,与POS链一样去中心化。 这...
  • Narwhal 和 Tusk 白皮书:基于 DAG 的内存池和高效的 BFT 共识 (一)---- 摘要 与 简介

    Narwhal 和 Tusk:基于 DAG 的内存池和高效的 BFT 共识 George Danezis Mysten Labs & UCL. Alberto Sonnino Mysten Labs Lefteris Kokoris-Kogias IST Austria. Alexander Spiegelman Aptos 摘要 我们建议将可靠的交易传播任务与交易排序分开,以实现高性能的拜占庭容错基于仲裁的共识。 我们设计并评估了一个 mempool 协议 Narwhal,该协议专门用于高吞吐量可靠传播...
  • 为什么要创造 Sui 版本的Move ?

    为什么要创造 Sui 版本的Move 本文重点介绍: Sui版Move 功能齐全,为您编写安全高效的智能合约做好准备 Sui 是第一个在集成 Move 方面改进原始 Diem 设计的区块链,我们分享了这些改进的具体示例。 介绍 Move 诞生于 2018 年 Libra 项目初期——两位 Mysten 创始人(Evan 和我自己)也在 Libra 的创始团队中。 在我们决定创建一种新语言之前,早期的 Libra 团队深入研究了现有的智能合约用例和语言,以了解开发人员想要做什么以及现有语言无法提供的地方。...
  • Move语言形式化证明 白皮书(一) ------ 概要与简介

    使用 Move Prover 对智能合约进行快速可靠的形式化验证⋆ David Dill, Wolfgang Grieskamp(􏰀)⋆⋆, Junkil Park, Shaz Qadeer, Meng Xu, and Emma Zhong Novi Research, Meta Platforms, Menlo Park, USA 摘要。 Move Prover (MVP) 是用 Move 编程语言编写的智能合约的形式化验证器。 MVP 具有表达性强的规范语言,并且足够快速和可靠,可以由开发人员和集成测试...
  • 我为什么看好Move 语言

    我为什么看好Move 语言 我是谁? 我的技术称号曾用名:gguoss, 光华,郭大侠,Gavin Guo。 我是一名区块链技术工程师。 长期从事过区块链底层框架开发, 从我的github记录可以去追踪, 在EOS没有能跑通时,我给他最先跑通过,之前有个EOSC的仓库。 在没有substrate框架时, 我首先从polkadot框架分离出了ChainX,最早上线的substrate链。 5年前有做过很多的技术框架型布道,在当今区块链技术上的预测也依然成立。github博客。 那我为什么 5年内没做技术...
  • 代码审计师眼中的Move 语言

    本文 讨论Move 语言的 类型系统 和形式化验证 作为我们工作的一部分,我们寻求了解如何消除漏洞类别。设计更安全的语言使开发人员能够自信地编写代码。 Move 究竟如何适用于更安全的编程实践?我们可以从 Move 中学到什么来概括其他执行环境的安全设计原则? 最近,似乎有很多流行语在流传。形式验证、基于类型的安全性、“rust或许适用于区块链”。 在这篇文章中,我将试图确切地讨论 move 是如何使自己更安全的编程实践、潜在的缺点以及为希望构建结构上更安全的程序的协议开发人员提供的实用设计技巧。 类型 M...
  • 可并行执行交易的公链 大梳理

    可并行处理交易的公链案例 在审视区块链技术的发展时,我们可以发现专注于并行执行的新 L1 的强劲趋势。 这个想法并不新鲜,目前在 Solana 的 Sealevel 执行环境中使用。 然而,上一次 DeFi 和 NFT 活动令人印象深刻的牛市表明,迫切需要改进。 采用并行执行理念的一些著名项目是 Aptos、Sui、Linera 和 Fuel。 本文讨论了这些项目之间的异同以及它们面临的挑战。 当下存在的问题 智能合约平台可以创建广泛的去中心化应用程序。 为了执行这些应用程序,需要一个共享的计算引擎。 网...
  • Aptos 平台上的Move

    Aptos 平台上的Move Aptos 区块链由运行共识协议的验证节点组成。 当在Move虚拟机 (MoveVM) 上执行过程中,共识协议就交易的顺序及其输出达成一致。 每个验证节点将交易与当前区块链账本状态一起转换为 VM 的输入。 MoveVM 处理此输入以生成变更集合或存储增量作为输出。 一旦达成共识并承诺输出,它就会公开可见。 在本指南中,我们将向您介绍核心 Move 概念以及它们如何应用于 Aptos 上的开发。 什么是Move? Move 是一种安全可靠的 Web3 编程语言,强调稀缺性和访问...
  • Move 语言白皮书完整版

    章节一:摘要与简介 章节二:如何在区块链上管理数字资产 章节三:Move的设计目标 章节四:Move 概览 章节五:深入理解Move语言,浅识 Move语言的编译原理 章节六:Move 虚拟机 章节七:Move 的未来计划
  • Move 语言中文白皮书(六)---- Move 虚拟机

    6. Move虚拟机:所有模块组合在一起。 Move 虚拟机的作用是:引用全局状态 Σ 作为初始化状态,然后执行交易集合组成的区块 𝐵,并产生表示对全局状态的修改的交易效果 𝐸。 然后可以将执行结果 𝐸 应用于 Σ 以生成由执行𝐵 产生的状态 Σ′。将执行结果与实际状态更新分开,用来避免 VM 在交易执行失败的情况下保持 全局状态不更新,还是原来的 Σ。 直观地说,交易执行结果表示账户子集的全局状态更新。交易执行结果与全局状态具有相同的结构:它是从账户地址到账户的部分映射,其中包含Move模块和resou...
  • Move 语言中文白皮书 (七)---- Move 的未来计划

    7. Move 的未来计划 到目前为止,我们已经设计并实现了 Move 的以下组件: 适用于区块链执行的编程模型。 适合这种可编程模型的字节码语言。 用于实现具有强大数据抽象和访问控制的库的模块系统。 由序列化器/反序列化器、字节码验证器和字节码解释器组成的虚拟机。 尽管取得了这些进展,但前面还有很长的路要走。最后,我们讨论了一些近期的下一步措施和 Move 的长期计划。 实现核心 Libra 区块链功能。我们将使用 Move 来实现 Libra 区块链中的核心功能:账户、Libra 币、Libra 储...