以太坊协议可能的未来 1：The Merge

区块链隐私技术些技术有： 零知识证明（ZK）、多方计算（MPC）、全同态加密（FHE）和可信执行环境（TEE）, 他们分布在六个关键指标的表现。

Starknet 统一比特币和以太坊

一段代码生成零知识证明可以分为代码变成多项式阶段，多项式生成承诺两个阶段。

第一阶段，简单来说就是把代码转换成 a * b = c 三元算式的列表（就是写电路），然后套数据公式把三元算式的列表转换成多项式，然后用R1CS&QAP的方式对多项式进行约束；

第二阶段，先是通过f(x) = h(x)t

为什么和如何使用 zk-SNARK系列文章

文章从原生 HotStuff 出发，重点讨论 Chained HotStuff 的方案设计和工程实现。

科普Arbitrum的运转机理

本文试图通过科普Arbitrum的运转机理

在本文中，我将解释如何使用一些智能合约安全工具（Mythril、MythX、Slither、Manticore、Security、SmartCheck）来查找和利用以太坊智能合约中的安全漏洞。文章将涵盖基本原理和高级技术，例如测试安全属性、比较这些安全工具。

区块链项目代码审计必不可少，看看有哪些方式可以让我们的项目更安全。