精选文章
FlexiDAG
2025/01/15
01.
Westar 推出了 FlexiDAG,这是一种面向性能、可扩展性与可信性的突破性区块链架构,通过并行出块、DAG 结构与更强的安全筛选机制提升整体系统能力 …
形式化验证工具
Move 智能合约
27 Jul 2022
02.
智能合约是一个对安全性要求非常高的领域,一个不经意的小bug很可能会导致不可估量的损失。不久前Raven Project爆出了一个非常低级的bug [1]:社区开发者提交了一个仅有几行修改的小patch,需要对三种情况进行检查,他故意漏掉了第三种情况,其实就是少了个“else”。核心开发者没有发现bug就接受了patch,最终攻击者利用自己提交的漏洞发 …
Jellyfish Merkle Tree in
Libra Blockchain
27 Jul 2022
03.
This article introduces the Jellyfish Merkle Tree (JMT), a data structure used to store blockchain state data in Libra. The article firstly outlines the role and function of JMT in Libra and its main features; then focuses on its interface and internal implementation; finally, it compares it with Ether’s MPT tree and talks about its advantages and disadvantages …
Starcoin Eco-benefits: Cross-Chain Guide to
Fast-Track Ethereum Learning
27 Jul 2022
04.
In Web3’s grand voyage era, public chains empower data decentralization, and cross-chains break data silos. Therefore, cross-chain is one of the essential basic components of every public chain ecology and an important dimension to measure the maturity of a public chain ecology. Starcoin ecology will soon launch the first decentralized Poly cross-chain bridge …
从智能合约的演进看
Move 的架构设计
27 Jul 2022
05.
智能合约是区块链领域大家一直比较关注的主题,本文试图从智能合约的演进角度分析 Libra 的 Move 合约要解决的问题,以及其架构设计,也就是回答『 Libra 为什么要重新设计一种编程语言?』这个问题。智能合约是什么?开始这个题目之前,我们可以讨论一个比较大一点的话题,到底什么是『智能合约』?其实『智能合约』这个词在业界争议也 …
